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

  • Technologie d’audio description du CRIM : Technoleads prend le relais
    10/12/2019

    Services Technoleads inc., un fournisseur de services innovants pour l’industrie des médias, annonce avoir franchi toutes les étapes lui permettant d’exploiter de façon autonome la technologie d’audio description du CRIM.

    +

Événement à venir

  • Transformation numérique - Secteur public - Événement Les Affaires
    29/01/20 7h00
    DoubleTree par Hilton, Montréal
    Le CRIM fier partenaire de la 1ère édition sur la Transformation numérique - Secteur public organisée par les Événement Les Affaires, qui se tiendra les 29 janvier 2020 au DoubleTree par Hilton, Montréal.
    +
  • NRC Canada RT @NRC_CNRC: Most audio archives of Indigenous languages have not been indexed for keyword search. We are working with @CRIM_ca @Pirurvik…
  • CNRC RT @CNRC_NRC: Avec @CRIM_ca, @Pirurvik et @CBCNorth, nous cherchons à faciliter la recherche ???? par mot-clé dans les archives audio en #inuk…

Publications récentes

  • Deep learning speech recognition for low-resource languages

    +
  • Forage de données géospatiales, quelques applications

    +