ACACIA - Accélérer le processus de test lors de changements dans les logiciels des simulateurs de vol


Aujourd’hui, les systèmes logiciels sont d’une complexité grandissante et sont de plus en plus composés de logiciels en provenance de développeurs et de sous-traitants variés. De plus, la technologie évolue constamment et des mises à jour sur certains composants sont fréquemment nécessaires. Or, dans le cas de systèmes très complexes tels qu’un simulateur de vol, la simple évolution des logiciels entraîne des semaines de tests, afin de vérifier, chaque fois, l’impact de tout changement à l’intérieur d’un composant sur le système complet. Ce processus est long et coûteux, mais crucial, surtout lorsque ces logiciels servent à former nos futurs pilotes militaires et commerciaux.

C’est à partir de ce constat que CAE a démarré le projet ACACIA (Automating Change Impact Analysis in Integration and Testing of Avionics COTS-based System) en 2014, et a sollicité la collaboration du CRIM (Équipe Modélisation et développement du logiciel avancé) et de l’École Polytechnique de Montréal pour sa réalisation. Ce projet vise à prouver qu’après des mises à jour de composants, certain problèmes de comportement peuvent être détectés de manière automatique.

Le système conçu par le CRIM fonctionne selon la technique des tests basés sur modèle (model-based testing). L’idée générale est d’apprendre de manière automatique le fonctionnement d’un de leurs simulateurs de vol. De cet apprentissage résulte une connaissance du système représentée avec des modèles formels. On peut ensuite se  servir de ces modèles formels pour générer automatiquement des tests. Ces tests permettent de détecter des problèmes (bugs) survenant après modification ou remplacement de certains composants d’un simulateur. Ainsi, si certaines erreurs de fonctionnement sont détectées de manière automatique, les ingénieurs peuvent les corriger sans passer par des phases de tests manuels longues et coûteuses.

Grâce à la contribution du CRIM, les tests liés aux mises à jour de simulateurs de vol seront plus rapides et efficaces. Ce type d’outil pourrait éventuellement être utilisé lors de la mise à jour de composantes dans d’autres types de systèmes logiciels complexes.

Présentation  [vidéo durée 2:37]

Projet présenté dans une formule 180 secondes lors de l'Assemblée annuelle du CRIM et de Prompt le 14 juin 2017.

Équipes

Nouvelles récentes

  • Retour sur l'AGA 2020
    06/07/2020

    Le CRIM a tenu sa 35e assemblée générale annuelle le 18 juin 2020. Plusieurs membres étaient présents pour souligner une année de croissance importante pour l’organisme.

    +

Événement à venir

  • Gala des Prix Innovation 2020 de l'ADRIQ
    19/11/20 0h00
    Palais des Congrès de Montréal
    Le Gala Prix Innovation 2020 de l'ADRIQ aura lieu le 19 novembre 2020, au Palais des congrès de Montréal.
    +
  • ADRIQ-RCTi RT @ADRIQ_RCTi: Assemblée virtuelle pour une année exceptionnelle : le @CRIM_ca dévoile des résultats probants. #croissance et rayonnement…
  • ???? Assemblée virtuelle pour une année exceptionnelle: le CRIM dévoile des résultats probants! Le CRIM a tenu sa 35e… https://t.co/Y0CfAWK6Da

Publications récentes

  • On The Performance of Time-Pooling Strategies for End-to-End Spoken Language Identification

    +
  • An ensemble Based Approach for Generalized Detection of Spoofing Attacks to Automatic Speaker Recognizers

    +