See real examples of how you can use AI in your testing. Right now. Learn More >>
CASE STUDY
$1M+ government contracts secured
95% test coverage through CI pipelines
100% compliance with MISRA and JSF
Reading Time: 3 minutes
Remote areas have historically suffered from costly and infrequent air cargo services. Poor transportation affects millions of civilians, leading to food insecurity and poverty. Humanitarian agencies struggle to deliver aid effectively. Meanwhile, frontline war fighters risk missing a critical resupply during times of conflict.
Ribbit is a startup developing an autonomous autopilot for remotely piloted cargo aircraft. Their technology improves air cargo services into remote areas for civilian, defense, and humanitarian customers. To date, they’ve demonstrated gate-to-gate missions without human intervention using a retrofitted Cessna aircraft.
When Ribbit’s engineering team first set out to make small aircraft autonomous, they faced critical challenges.
Ribbit’s engineers took a pragmatic, phased approach that reflected their aerospace roots. They began with what they knew best. They retrofitted small, commercially available aircraft like the Cessna 150 with sensor arrays and ruggedized computing systems running on modified Linux.
Rather than rushing to full autonomy, they progressed methodically, applying a “proven with use” approach.
Step 1: Testing with safety pilots onboard.
Step 2: Remotely supervised flights under Canada’s Special Flight Operating Certificate framework.
This approach allowed them to gather real-world data while maintaining operational flexibility.
The technical team decided to develop their core autonomy stack in C++ for maximum control and safety-critical reliability. They incorporated redundancy into every system, from dual GPS units to fail-safe servo mechanisms that pilots could easily override. They also needed a modern Agile foundation of robust software processes.
While evaluating static analysis tools, Ribbit’s engineers preferred Parasoft’s deep aerospace expertise in safety-critical systems, TÜV certification, and seamless integration with their existing workflow.
To enforce MISRA and JSF coding standards from the start, they adopted Parasoft’s static analysis solution. They wanted to embed compliance into the foundation of their development DNA from the start by integrating static analysis into their CI workflow. This strategic decision allows them to move quickly without cutting corners on safety, which is crucial in the highly regulated aviation industry.
“Parasoft helps us enforce coding standards early, so we can focus on autonomy and compliance.”
—Marko Ilievski, staff robotics engineer at Ribbit
Ribbit selected Parasoft C/C++test for:
“We’re taking advantage of some of Parasoft’s AI-powered features to help with static analysis violations.”
—Justin Tomasi, senior robotics engineer.
The partnership with Parasoft has become a cornerstone of Ribbit’s development strategy. Parasoft C/C++test gives them more than just compliance checking—it’s a key enabler for their small engineering team. The VS Code plugin allowed developers to catch issues in real-time without context switching. AI-powered violation triaging helped prioritize the most critical fixes, a crucial efficiency for a team juggling multiple responsibilities.
New engineers onboard faster with standardized coding practices enforced automatically during every commit to deliver high-quality code. The team also achieved 90-95% test coverage using C/C++test CT through continuous integration pipelines that combined test execution with their simulation environments.
“Parasoft helps standardize the team’s coding practices and deliver consistent product quality. It is also beneficial for onboarding new employees more effectively. Their static analysis tool is like a personal tutor that sets the benchmark for our code quality.”
—Carl Pigeon, co-founder and CEO of Ribbit.
When demonstrating their systems to Transport Canada, Ribbit could point to their Parasoft-verified processes as evidence of rigorous development, even before formal certification. This proved instrumental in securing their SFOC approvals for unmanned test flights.
Since adopting Parasoft, Ribbit has achieved:
“Parasoft’s static analysis elevates code quality at the first review, which saves our senior engineers one or two hours a day.”
—Jeremy Wang, COO of Ribbit.
Ribbit demonstrates how innovative aerospace companies can move quickly without compromising safety. They’re driving rapid innovation using modern software development approaches while embracing the rigor of continuous compliance in their processes. By making Parasoft’s compliance solutions part of their core development workflow from the beginning, they’ve created a competitive advantage that serves multiple stakeholders.
See how your embedded development team can consistently deliver high-quality code with AI-assisted static analysis.
Industry Autonomous Aircraft
Company Size Less than 10
Location Toronto, Ontario, Canada
Products C/C++test CT and C/C++test