Parasoft verhilft Ribbit, dem innovativen Entwickler autonomer Flugzeuglösungen, mit KI-gesteuerten Tests sicherheitskritischer Autopilot-Software auf C/C++-Basis zum Durchbruch

• Ribbits Sicherheitsansatz und die Zusammenarbeit mit Parasoft erweisen sich als entscheidend für die Sicherung mehrerer Regierungsaufträge im Wert von über 1 Million US-Dollar.
• Parasoft C/C++test und C++test CT unterstützen moderne, agile Softwareprozesse, was zu einer Testabdeckung von 95 % durch CI-Pipelines und 100 % Konformität mit MISRA und JSF führt.
• Die kombinierte Expertise in der Luft- und Raumfahrt und die einheitliche Konzentration auf geprüfte Prozesse sind ausschlaggebend für die Sicherung der SFOC-Genehmigungen für unbemannte Testflüge.

Monrovia, Kalifornien – 15. September 2025 – Parasoft, ein weltweit führender Anbieter von KI-gesteuerten Softwaretestlösungen, gibt eine innovative Zusammenarbeit mit RibbitRibbit ist ein agiles kanadisches Startup, das autonome Flugtechnologie entwickelt, um Luftfrachtlieferungen in entlegene Gebiete für zivile, militärische und humanitäre Zwecke zu revolutionieren. Anstatt neue autonome Flugzeuge von Grund auf zu entwickeln, verfolgt Ribbit eine einzigartige „Software-First“-Strategie. Diese konzentriert sich auf die Nachrüstung bestehender, kleiner und kostengünstiger Flugzeuge mit autonomer Autopilot-Software und robuster Standardhardware. Der Kern der Autonomie-Technologie, der in C++ für maximale Kontrolle und sicherheitskritische Zuverlässigkeit entwickelt wurde, wird durch Ribbits Einsatz von Parasofts Technologie unterstützt. umfassende Testautomatisierungslösungen für die C/C++-Softwareentwicklung.

„Die Partnerschaft von Ribbit mit Parasoft ist ein Eckpfeiler unserer Entwicklungsstrategie. Sie ermöglicht unseren Ingenieuren, ihre Programmierpraktiken zu standardisieren und eine gleichbleibend hohe Produktqualität zu gewährleisten“, so Carl Pigeon, Mitgründer und CEO von Ribbit. „Sie erleichtert zudem die Einarbeitung neuer Mitarbeiter. Insbesondere die statischen Analysetools von Parasoft fungieren wie ein persönlicher Tutor und setzen den Maßstab für die Codequalität bei Ribbit.“

Herausforderungen überwinden

Um die Flugsicherheit seiner Systeme auch unter schwierigsten Bedingungen weltweit zu gewährleisten, hat sich Ribbit für den Parasoft C/C++-Test entschieden. Dieser unterstützt schnelle, iterative Design- und Prototypenzyklen und bietet die Sicherheitsvorteile der Codierungsstandards DO-178C und JSF. Luftfahrtbehörden wie Transport Canada können sich darauf verlassen, dass die nachgerüsteten Systeme von Ribbit trotz der regulatorischen Unsicherheiten für unbemannte Flugzeuge sicher sind. Die statischen Analyse- und Compliance-Funktionen von Parasoft setzen zudem die MISRA- und JSF-Regeln bereits in der Entwicklungsphase durch und ermöglichen es Ingenieuren, Codierungsprobleme so früh wie möglich zu erkennen und zu beheben.

Pragmatische, praxiserprobte Entwicklung

Ebenso wichtig ist der praxisorientierte Ansatz, den Ribbit nutzt, um die Autonomie mithilfe von Sicherheitspiloten an Bord zu testen, bevor fernüberwachte Flüge im Rahmen des kanadischen Sonderflugbetriebszertifikats (SFOC) durchgeführt werden. Dies ermöglicht es den Ingenieuren, Daten aus der Praxis zu sammeln und gleichzeitig die operative Flexibilität zu wahren.

Schrittweise Validierung

Parasofts umfassendes Fachwissen in der Luft- und Raumfahrt sowie der Zivilluftfahrt, TÜV SÜD-Zertifizierung und die nahtlose Integration in bestehende Arbeitsabläufe setzen Codierungsstandards durch, sodass Ribbit sich auf Autonomie und Compliance konzentrieren kann. Parasoft C/C++test bietet Ribbit mehr als nur Compliance-Prüfung, da Ingenieure das VS Code-Plugin nutzen, um Probleme in Echtzeit ohne Kontextwechsel zu erkennen. Darüber hinaus hilft Parasofts KI-gestütztes Verstoß-Triaging dabei, die kritischsten Korrekturen zu priorisieren, was für ein Team, das mehrere Anforderungen gleichzeitig jongliert, von entscheidender Bedeutung ist. Mit Parasoft C/C++test CT erreicht Ribbit außerdem eine Testabdeckung von 90–95 % durch kontinuierliche Integrationspipelines, die die Testausführung mit ihren Simulationsumgebungen verbinden.

„Ribbit ist ein hervorragendes Beispiel dafür, wie innovative Luft- und Raumfahrtunternehmen durch die Integration der statischen Analyse von Parasoft in ihren CI-Workflow schnell vorankommen können, ohne Kompromisse bei der Sicherheit einzugehen“, sagte Ricardo Camacho, Director of Product Strategy, Embedded & Safety-Critical Compliance bei Parasoft. „Wenn Ribbit beispielsweise Transport Canada ihre Systeme vorführt, kann das Unternehmen seine Parasoft-verifizierten Prozesse problemlos als Beleg für eine sorgfältige Entwicklung anführen, noch vor der formellen Zertifizierung.“

Neue Höhen der Innovation

Seit der Einführung von Parasoft hat Ribbit mehrere Regierungsaufträge im Wert von über einer Million US-Dollar für Verteidigungs- und humanitäre Anwendungen erhalten. Das Unternehmen hat außerdem die vollständige Konformität mit MISRA und JSF erreicht, um eine robuste und zuverlässige Codebasis zu gewährleisten. Standardisierte Programmierpraktiken ermöglichen eine schnellere und einfachere Einarbeitung neuer Ingenieure sowie beschleunigte Entwicklungszyklen. Am wichtigsten ist jedoch Ribbits Fähigkeit, die Compliance-Lösungen von Parasoft in den laufenden Entwicklungsworkflow zu integrieren. Dadurch erreicht Ribbit weiterhin neue Höhen der Innovation in der autonomen Flugtechnologie und reduziert gleichzeitig Kosten, Komplexität und Zeitaufwand für Entwicklung, Bau, Test und Zertifizierung neuer autonomer Flugzeuge.

Weitere Informationen

• Ribbit-Fallstudie: Wie Ribbit mit seinem Sicherheitsansatz Regierungsaufträge im Wert von über 1 Million US-Dollar sichert
• Parasoft- und Ribbit-Webinar: Ein moderner Ansatz zur Balance zwischen Innovation und Sicherheit bei autonomen Flügen.

Erfahren Sie, wie eine praxiserprobte Strategie einem kleinen Team dabei half, größere, besser finanzierte Konkurrenten zu überholen und gleichzeitig den Grundstein für eine skalierbare, zertifizierbare Zukunft in der autonomen Luftfahrt zu legen. Registrieren für die Live-Sitzung am Dienstag, 16. September, 9 Uhr PDT. Diese Sitzung wird auch auf Anfrage verfügbar sein.

Über Parasoft

Parasoft unterstützt Unternehmen mit seiner KI-gestützten Softwaretestplattform und seinen automatisierten Testlösungen dabei, kontinuierlich qualitativ hochwertige Software bereitzustellen. Die bewährten Technologien von Parasoft unterstützen die Embedded-, Enterprise- und IoT-Märkte und reduzieren den Zeit-, Arbeits- und Kostenaufwand für die Bereitstellung sicherer, zuverlässiger und konformer Software, indem sie alles von der gründlichen Codeanalyse und Unit-Tests bis hin zu Web-UI- und API-Tests sowie Servicevirtualisierung und vollständiger Codeabdeckung in die Bereitstellungspipeline integrieren. Das preisgekrönte Berichts- und Analyse-Dashboard von Parasoft vereint all dies und bietet eine zentrale Sicht auf die Qualität. So können Unternehmen mit Zuversicht liefern und in den strategischsten Ökosystemen und Entwicklungsinitiativen von heute erfolgreich sein – Sicherheit, sicherheitskritische Tests, Agile, DevOps und kontinuierliche Tests.

# # #

Pressekontakt:

Sue Hetzel/HetzelMeade Communications, im Namen von Parasoft

sue@hetzelmeade.com

760.473.4729