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

  • Le CRIM, partie prenante d'un des 100 meilleurs projets de R-D au monde de l'année 2017!
    12/12/2017

    L'initiative ESGF a été sélectionnée parmi les 100 meilleurs projets de recherche et développement de l'année 2017 dans le cadre des R&D 100 Awards. ESGF (Earth System Grid Federation) est un effort de développement concerté en science du climat et du...

    +

Événement à venir

  • OGC Testbed 13 Demonstration Event
    13/12/17 8h30
    Reston, Virginie
    Le CRIM sera présent pour cet événement qui se déroule les 12 et 13 décembre 2017 à Reston en Virginie.
    +
  • Économie Québec RT @economie_quebec: Présentation des 7 grandes orientations de la #StratNumQc https://t.co/p97WOjBfdt https://t.co/OJVpjS2ISs
  • TechnoMontreal RT @TechnoMontreal: Pour que la Stratégie numérique du Québec soit un succès, mobilisons-nous!!! @cefrio @Prompt_Innov @aqtech @AQIII @Acti…

Publications récentes

  • Projet patrimoine TARV

    +
  • PeopleBot

    +