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 et Ouranos officialisent leur partenariat
    25/09/2019

    Le CRIM et Ouranos sont fiers d’annoncer que le CRIM devient membre affilié d’Ouranos, le consortium sur la climatologie régionale et l’adaptation aux changements climatiques.

    +

Événement à venir

  • Séminaire R-D : Fault detection in timed FSM with timeouts by sat-solving
    24/10/19 11h00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une conférence de Omer Nguena Timo, chercheur en modélisation, test et vérification logiciel, CRIM.
    +
  • ???? CRIM sera à Hub encore - plus de détails à venir! Consultez la belle programmation: https://t.co/bBywcVcZjL Et no… https://t.co/Gq2ThC4ydr
  • CRIM was there! A pleasure to see you all! https://t.co/Ew2byIhXqH

Publications récentes

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

    +
  • Des technologies perturbatrices pour de futures applications du bâtiment intelligent utilisant AI

    +