Parasoft Helps Ribbit, Innovative Developer of Autonomous Aircraft Solutions, Soar With AI-Driven Testing of C/C++ Based, Safety-Critical Autopilot Software

15.09.25 14:45 Uhr

  • Ribbit's safety-first approach and Parasoft collaboration prove vital to securing multiple $1M+ government contracts
  • Parasoft C/C++test and C++test CT support modern, Agile software processes, resulting in 95% test coverage through CI pipelines and 100% compliance with MISRA and JSF
  • Combined aerospace expertise and unified focus on verified processes prove instrumental in securing SFOC approvals for unmanned test flights

MONROVIA, Calif., Sept. 15, 2025 /PRNewswire/ -- Parasoft, a global leader in AI-driven software testing solutions, announces an innovative collaboration with Ribbit, a nimble Canadian startup developing autonomous flight technology to transform air cargo deliveries to remote areas for civilian, defense, and humanitarian applications. Instead of building new autonomous aircraft from the ground up, Ribbit has embraced a unique "software-first" strategy that focuses on retrofitting existing, small, and affordable aircraft with autonomous autopilot software and ruggedized, off-the-shelf hardware. The core autonomy stack, which was developed in C++ for maximum control and safety-critical reliability, is bolstered by Ribbit's use of Parasoft's comprehensive test automation solutions for C/C++ software development.

Ribbit applies a “proven-with-use” approach to test autonomy, leveraging Parasoft’s AI-driven software testing and on-board safety pilots before progressing to remotely supervised flights.

"Ribbit's partnership with Parasoft is a cornerstone of our development strategy by empowering our engineers to standardize coding practices and deliver consistent product quality," said Carl Pigeon, co-founder and CEO of Ribbit. "It is also beneficial for onboarding new employees more effectively. In particular, Parasoft's static analysis tools are like a personal tutor that sets the benchmark for Ribbit's code quality."

Overcoming Challenges
In proving its systems are safe to fly without pilots in the world's most challenging environments, Ribbit selected Parasoft C/C++ test to support fast-paced, iterative design and prototype cycles, along with the safety benefits of DO-178C and JSF coding standards. Aviation authorities, such as Transport Canada, are assured that Ribbit's retrofitted systems are safe despite the regulatory uncertainty for unmanned aircraft. Parasoft's static analysis and compliance capabilities also enforce MISRA and JSF rules early in development, empowering engineers to find and fix coding issues as early as possible.

Pragmatic, "Proven With Use" Development
Equally important is a "proven with use" approach that Ribbit leverages to test autonomy using onboard safety pilots before progressing to remotely supervised flights under Canada's Special Flight Operating Certificate (SFOC). This lets engineers gather real-world data while maintaining operational flexibility.

Step-by-Step Validation
Parasoft's deep aerospace and civil aviation expertise, TÜV SÜD certification, and seamless integration with existing workflows enforce coding standards, so Ribbit can focus on autonomy and compliance. Parasoft C/C++test offers Ribbit more than just compliance checking, as engineers take advantage of the VS Code plugin to catch issues in real-time without context switching. Moreover, Parasoft's AI-powered violation triaging helps prioritize the most critical fixes, which is crucial for a team juggling multiple requirements. With Parasoft C/C++test CT, Ribbit also achieves 90-95% test coverage through continuous integration pipelines that blend test execution with their simulation environments.

"Ribbit is a great example of how innovative aerospace companies can move quickly without compromising safety by integrating Parasoft static analysis into their CI workflow," said Ricardo Camacho, director of product strategy, Embedded & Safety-Critical Compliance, Parasoft. "When demonstrating their systems to Transport Canada, for instance, Ribbit could easily point to their Parasoft-verified processes as evidence of rigorous development, even before formal certification."

New Heights of Innovation
Since adopting Parasoft, Ribbit has achieved multiple $1M+ government contracts for defense and humanitarian applications. The company also has gained complete compliance with MISRA and JSF to ensure a robust and reliable codebase. Standardized coding practices lead to faster, easier onboarding of new engineers, along with accelerated development cycles. Most important, however, is Ribbit's ability to integrate Parasoft's compliance solutions into the ongoing development workflow. As a result, Ribbit continues to reach new heights of innovation in autonomous flight technology while reducing the cost, complexity and time required to design, build, test, and certify new autonomous planes.

Additional Resources

  • Ribbit Case Study: How Ribbit's Safety-First Approach Secures $1M+ in Government Contracts
  • Parasoft and Ribbit Webinar: A Modern Approach to Balancing Innovation and Safety in Autonomous Flights.
    Learn how a proven-with-use strategy helped a small team outpace larger, better-funded competitors while laying the groundwork for a scalable, certifiable future in autonomous aviation. Register for the live session on Tuesday, Sep. 16, 9 a.m. PDT. This session also will be available on demand.

About Parasoft
Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting the embedded, enterprise, and IoT markets, Parasoft's proven technologies reduce the time, effort, and cost of delivering secure, reliable, and compliant software by integrating everything from deep code analysis and unit testing to web UI and API testing, plus service virtualization and complete code coverage, into the delivery pipeline. Bringing all this together, Parasoft's award-winning reporting and analytics dashboard provides a centralized view of quality, enabling organizations to deliver with confidence and succeed in today's most strategic ecosystems and development initiatives — security, safety-critical, Agile, DevOps, and continuous testing.

Parasoft

Cision View original content to download multimedia:https://www.prnewswire.com/news-releases/parasoft-helps-ribbit-innovative-developer-of-autonomous-aircraft-solutions-soar-with-ai-driven-testing-of-cc-based-safety-critical-autopilot-software-302555291.html

SOURCE Parasoft