Logo Parasoft

Actualités

Parasoft aide Ribbit, développeur innovant de solutions d'avions autonomes, à décoller grâce aux tests pilotés par l'IA de logiciels de pilotage automatique basés sur C/C++ et critiques pour la sécurité

15 septembre

  • L'approche axée sur la sécurité de Ribbit et la collaboration avec Parasoft s'avèrent essentielles pour obtenir plusieurs contrats gouvernementaux de plus d'un million de dollars.
  • Parasoft C/C++test et C++test CT prennent en charge les processus logiciels modernes et agiles, ce qui permet une couverture de test de 95 % via les pipelines CI et une conformité à 100 % avec MISRA et JSF.
  • L’expertise combinée en aérospatiale et l’accent mis sur les processus vérifiés s’avèrent essentiels pour obtenir les approbations SFOC pour les vols d’essai sans pilote.

Monrovia, Californie – 15 septembre 2025 – Parasoft, leader mondial des solutions de tests logiciels basées sur l'IA, annonce une collaboration innovante avec RibbitRibbit, une jeune entreprise canadienne dynamique, développe une technologie de vol autonome pour transformer le transport de fret aérien vers les zones reculées, à des fins civiles, de défense et humanitaires. Au lieu de concevoir de nouveaux aéronefs autonomes de A à Z, Ribbit a adopté une stratégie unique axée sur le logiciel. Cette stratégie consiste à moderniser des aéronefs existants, petits et abordables, en les équipant d'un logiciel de pilotage automatique et de matériel robuste disponible dans le commerce. La plateforme d'autonomie, développée en C++ pour un contrôle optimal et une fiabilité à toute épreuve, est renforcée par l'utilisation par Ribbit des solutions de Parasoft. solutions complètes d'automatisation des tests pour le développement de logiciels C/C++.

« Le partenariat de Ribbit avec Parasoft est un pilier de notre stratégie de développement, car il permet à nos ingénieurs de standardiser leurs pratiques de codage et de garantir une qualité de produit constante », a déclaré Carl Pigeon, cofondateur et PDG de Ribbit. « Il facilite également l'intégration des nouveaux employés. En particulier, les outils d'analyse statique de Parasoft sont comme un mentor personnel qui définit le niveau d'exigence en matière de qualité du code chez Ribbit. »

Surmonter les défis

Afin de prouver que ses systèmes peuvent voler sans pilote dans les environnements les plus exigeants au monde, Ribbit a choisi les tests Parasoft C/C++ pour soutenir des cycles de conception et de prototypage rapides et itératifs, ainsi que pour bénéficier des avantages en matière de sécurité des normes de codage DO-178C et JSF. Les autorités aéronautiques, comme Transports Canada, sont assurées que les systèmes modernisés de Ribbit sont sûrs malgré l'incertitude réglementaire concernant les aéronefs sans pilote. Les capacités d'analyse statique et de conformité de Parasoft permettent également d'appliquer les règles MISRA et JSF dès le début du développement, permettant ainsi aux ingénieurs d'identifier et de corriger les problèmes de codage le plus tôt possible.

Image montrant un ingénieur robotique senior de Ribbit testant en vol son système de pilotage automatique autonome.

Ribbit teste en vol son système de pilotage automatique autonome.

Développement pragmatique et éprouvé par l'usage

Tout aussi importante est l’approche « éprouvée par l’usage » que Ribbit utilise pour tester l’autonomie avec des pilotes de sécurité à bord avant de passer à des vols supervisés à distance dans le cadre du certificat d’exploitation de vol spécial (SFOC) du Canada. Cela permet aux ingénieurs de recueillir des données réelles tout en conservant une flexibilité opérationnelle.

Validation étape par étape

Parasoft's une expertise approfondie en aérospatiale et en aviation civileLa certification TÜV SÜD et l'intégration transparente aux workflows existants renforcent les normes de codage, permettant à Ribbit de se concentrer sur l'autonomie et la conformité. Parasoft C/C++test offre à Ribbit bien plus qu'une simple vérification de conformité : les ingénieurs utilisent le plugin VS Code pour détecter les problèmes en temps réel, sans changement de contexte. De plus, le tri des violations basé sur l'IA de Parasoft permet de prioriser les correctifs les plus critiques, un atout crucial pour une équipe confrontée à de multiples exigences. Avec Parasoft C/C++test CT, Ribbit atteint également une couverture de test de 90 à 95 % grâce à des pipelines d'intégration continue qui combinent l'exécution des tests avec leurs environnements de simulation.

« Ribbit illustre parfaitement comment les entreprises aérospatiales innovantes peuvent progresser rapidement sans compromettre la sécurité en intégrant l'analyse statique de Parasoft à leur processus d'amélioration continue », a déclaré Ricardo Camacho, directeur de la stratégie produit, Conformité des systèmes embarqués et critiques pour la sécurité, chez Parasoft. « Lors de la démonstration de leurs systèmes à Transports Canada, par exemple, Ribbit a pu facilement mettre en avant ses processus validés par Parasoft comme preuve d'un développement rigoureux, avant même la certification officielle. »

De nouveaux sommets d'innovation

Depuis l'adoption de Parasoft, Ribbit a remporté plusieurs contrats gouvernementaux de plus d'un million de dollars pour des applications militaires et humanitaires. L'entreprise est également entièrement conforme aux normes MISRA et JSF, garantissant ainsi une base de code robuste et fiable. La standardisation des pratiques de codage permet une intégration plus rapide et plus facile des nouveaux ingénieurs, ainsi que des cycles de développement accélérés. Le plus important, cependant, est la capacité de Ribbit à intégrer les solutions de conformité de Parasoft à son flux de développement continu. Ainsi, Ribbit continue d'atteindre de nouveaux sommets d'innovation dans le domaine des technologies de vol autonome, tout en réduisant les coûts, la complexité et les délais de conception, de construction, de test et de certification de nouveaux avions autonomes.

XNUMX. Ressources supplémentaires

  • Étude de cas Ribbit: Comment l'approche de Ribbit, axée sur la sécurité, permet d'obtenir plus d'un million de dollars de contrats gouvernementaux
  • Webinaire Parasoft et Ribbit:Une approche moderne pour équilibrer l’innovation et la sécurité dans les vols autonomes.

Découvrez comment une stratégie éprouvée a aidé une petite équipe à surpasser des concurrents plus grands et mieux financés tout en jetant les bases d'un avenir évolutif et certifiable dans l'aviation autonome. S'inscrire Pour la session en direct du mardi 16 septembre à 9 h (heure du Pacifique). Cette session sera également disponible à la demande.

À propos de Parasoft

Parasoft aide les entreprises à fournir en permanence des logiciels de haute qualité grâce à sa plateforme de tests logiciels basée sur l'IA et à ses solutions de tests automatisés. Soutenant les marchés de l'embarqué, de l'entreprise et de l'IoT, les technologies éprouvées de Parasoft réduisent le temps, les efforts et les coûts de fourniture de logiciels sécurisés, fiables et conformes en intégrant tout, de l'analyse approfondie du code et des tests unitaires aux tests de l'interface utilisateur Web et des API, en passant par la virtualisation des services et la couverture complète du code, dans le pipeline de livraison. En réunissant tout cela, le tableau de bord de reporting et d'analyse primé de Parasoft offre une vue centralisée de la qualité, permettant aux entreprises de livrer en toute confiance et de réussir dans les écosystèmes et les initiatives de développement les plus stratégiques d'aujourd'hui : sécurité, sécurité critique, Agile, DevOps et tests continus.

# # #

Personne-ressource auprès des médias :

Sue Hetzel/HetzelMeade Communications, au nom de Parasoft

sue@hetzelmeade.com

760.473.4729