Parasoft
85 Case Studies
A Parasoft Case Study
Ribbit, a Toronto-based startup developing autonomous autopilots for cargo aircraft, needed to prove the safety and compliance of its flight software while moving quickly in a highly regulated aviation environment. Using Parasoft’s C/C++test and C/C++test CT, the team sought to enforce MISRA and JSF standards, improve testing in CI, and build a foundation for future certification without slowing development.
Parasoft’s static analysis and test coverage tools were integrated into Ribbit’s workflow to catch issues early, reduce false positives, and standardize coding practices across the team. As a result, Ribbit reached 100% compliance with MISRA and JSF, achieved 90–95% test coverage through CI pipelines, and used Parasoft-verified processes to help secure more than $1M in government contracts and gain regulatory confidence from Transport Canada.
Marko Ilievski
Staff Robotics Engineer