Embraer choisit LDRA pour accélérer le lancement de son nouvel aéronef de la famille E2
LDRA, un des leaders mondiaux en outils d’analyse de code source, de tests et de validation de logiciels critiques, a contribué de manière significative au lancement de la nouvelle génération E2 d’aéronef d’Embraer plusieurs mois avant la date initialement prévue, en automatisant les tests de sûreté du logiciel de contrôle de vol.
« Être capable de déployer notre nouvelle famille de Jets E2 plus tôt que prévu est un pas important dans la stratégie d’aviation commerciale d’Embraer », dit Marcos Gritti, Responsable des Systèmes de Commande de Vol pour Embraer. « La technologie de la société LDRA a joué un rôle crucial pour nous aider à gérer le très grand volume de cas de tests nécessaires pour assurer la sûreté de l’aéronef avant le premier vol de l’E2 ».
LDRA a commencé à travailler avec Embraer dès début 2013 pour établir un standard de sûreté et une méthodologie de conformité du logiciel pour la famille E2, en utilisant la suite d’outils LDRA pour les exigences logicielles, la gestion des tâches des équipes logicielles, l’évaluation, la vérification et la validation de la sûreté du système logiciel de commande de vol. L’E2 est le premier projet d’aviation civile qui met en œuvre un logiciel de commande de vol entièrement développé en interne, et testé avec la suite d’outils LDRA en vue d’atteindre la certification DO-178C – la principale norme pour le développement d’un logiciel avionique commercial.
Les résultats et les détails techniques de l’implication de LDRA dans le projet Embraer E2 incluent :
« LDRA félicite Embraer pour le lancement réussi de l’aéronef E2 », a dit Ian Hennell, Directeur des Opérations chez LDRA. « Nous sommes très fiers d’être engagés de manière si significative dans cette étape très importante de l’industrie aéronautique, et nous sommes impatients de continuer à contribuer au succès d’Embraer. »
· Une réduction du temps d’exécution des tests de 93% : d’heures en minutes ;
· L’importation de dizaine de milliers de cas de tests ;
· La création de cas de tests, et le lancement automatisé de tests de non-régression sur carte cible, à partir du code généré par la Suite SCADE ;
· Le lien automatique vers la carte cible, optimisé pour la flexibilité et la performance ;
· La compatibilité avec des environnements de développement intégrés (IDEs) comme Lynx Software, Green Hills Multi, …
· Le Pack de qualification de la suite d’outils LDRA pour assurer la certification DO-178C, incluant un standard de codage personnalisé basé sur MISRA, la couverture structurelle, et les tests unitaires/bas niveau.
« LDRA félicite Embraer pour le lancement réussi de l’aéronef E2 », a dit Ian Hennell, Directeur des Opérations chez LDRA. « Nous sommes très fiers d’être engagés de manière si significative dans cette étape très importante de l’industrie aéronautique, et nous sommes impatients de continuer à contribuer au succès d’Embraer. »
