Le générateur de code QGen d'AdaCore pour les modèles Simulink® et Stateflow® associé au nouveau service « Enterprise Qualification Package » TQL-1 peut réduire considérablement les coûts de vérification des logiciels.
AdaCore, fournisseur de confiance d'outils de développement et de vérification de logiciels, annonce que Collins Aerospace a choisi son générateur de code QGen pour les modèles Simulink et Stateflow, ainsi que son nouveau service « Enterprise Qualification Package » TQL-1, pour le développement de leur système Perigon™.
Certifié par la FAA, Perigon™ est conçu pour répondre aux besoins futurs en matière de contrôle de vol et de gestion des véhicules pour les plateformes à voilure rotative ou fixe à usage militaire ou commercial. En utilisant la version TQL-1 de QGen, les développeurs logiciels de Perigon TM sont en mesure d’économiser des milliers d'heures d'essais, de vérification et de certification, tout en assurant des garanties de sûreté plus élevées à leurs clients. Avec l’adoption de QGen et du service « Enterprise Qualification Package », Collins Aerospace peut désormais uniformiser ses méthodes de développement basé sur des modèles.
QGen est le premier générateur de code qualifié pour un sous-ensemble sûr des langages de modélisation Simulink® et Stateflow® . QGen génère automatiquement du code source en C ou Ada directement à partir d’un modèle en conservant sa capacité fonctionnelle ce qui évite le recours à une vérification manuelle du code source obtenu.
Le générateur de code QGen est en cours de qualification par AdaCore et son partenaire Verocel au niveau 1 de qualification des outils DO-178C (TQL-1), le niveau d'assurance le plus élevé reconnu par la FAA, à destination notamment des équipes de développement des systèmes de l'aérospatiale commerciale, des dispositifs médicaux, des applications de conduite autonome.
QGen qualifié TQL-1 permet aux développeurs d’utiliser le code généré sans aucune revue manuelle. QGen inclut également un débogueur interactif au niveau du modèle, affichant le modèle avec le code source généré ce qui aide à établir une passerelle entre l'ingénierie de contrôle et l'ingénierie logicielle.
« AdaCore a travaillé en étroite collaboration avec Collins Aerospace tout au long du développement de QGen pour s'assurer qu'il répond aux besoins de développement de ses logiciels aérospatiaux les plus critiques. »
QGen est désormais disponible avec le service « Enterprise Qualification Package ».
Ce service est accompagné d'une licence flexible qui permet aux projets de toute taille, à
l'échelle de l'entreprise, de bénéficier de l'utilisation du générateur de code automatique qualifié TQL-1.
L’offre s’appuie sur une formule d'abonnement unique, qui prévoit chaque année un kit de qualification amélioré. Les mêmes garanties sont accordées à tous les projets, avec notamment le support d'experts pour les audits de certification.
« AdaCore est ravi de s'associer à Collins Aerospace pour mettre sur le marché le premier générateur de code TQL-1 pour Simulink ® », déclare JC Bernedo, « Team lead » QGen d'AdaCore. « AdaCore a travaillé en étroite collaboration avec Collins Aerospace tout au long du développement de QGen pour s'assurer qu'il répond aux besoins de développement de ses logiciels aérospatiaux les plus critiques. »
Découvrez comment QGen peut aider votre entreprise à réduire considérablement ses coûts de développement, de test et de vérification de logiciels. Contactez sales@adacore.com.