Modélisation et validation logicielle pour Adacel


Contexte : Adacel est une entreprise multinationale originaire d’Australie spécialisée dans le développement d’applications informatiques pour la gestion du contrôle aérien et aéroportuaire. Les étapes de mise à l’épreuve sont cruciales dans le contexte d’affaires d’Adacel, où la sécurité est un enjeu primordial, les systèmes informatiques sont complexes et interreliés et plusieurs règlementations gouvernementales doivent être respectées. Les démarches de simulation sont donc nombreuses et complexes. Ayant à son actif une vingtaine d’outils et de services dans le secteur, l’entreprise souhaitait optimiser ses processus de simulation et de mise à l’épreuve, notamment par l’automatisation. La démarche d’automatisation devait respecter les contraintes mentionnées précédemment tout en proposant un outil sophistiqué de détection de problèmes potentiels pouvant gérer une multitude de paramètres. 

Projet : Le CRIM a mis à profit son expertise en modélisation et dans la génération de test utilisant les techniques de test basées sur les modèles (Model-based Testing) pour aider Adacel à améliorer ses systèmes de simulation pour la gestion du contrôle aérien et aéroportuaire.

La mise à disposition d’un expert du centre a aussi permis à l’entreprise de réussir l’implémentation du test automatisé dans ses systèmes de simulations. L’entreprise a grandement bénéficié du transfert de connaissances et d’outils du CRIM. La mise à disposition d’un expert du centre a aussi permis à l’entreprise de surmonter un obstacle important dans la mise en œuvre du projet. L’apport du CRIM a été crucial dans la mise en place d’une solution qui lui a permis de réduire de quelques  jours à quelques heures le temps de test et de validation de ses systèmes.

Équipes

Nouvelles récentes

  • Valorisation de la recherche québécoise
    16/09/2020

    Le CRIM salue l’importance que le Ministre Pierre Fitzgibbon accorde à la valorisation de la recherche québécoise et l’ampleur des ressources qu’il y consacrera.

    +

Événement à venir

  • Santé et sécurité du travail 2020 - Événement les Affaires
    23/09/20 8h30
    Présentation en ligne
    Le CRIM est fier d'être partenaire de la 10e édition de la conférence Santé et sécurité du travail organisée par les Événement Les Affaires. Présentation en ligne.
    +
  • Merci @Grenier_enbref! #donnees #geospatial @opengeospatial @NASA @environnementca @ESA_EO @RNCan
  • @economie_quebec @SciChefQC @lsirois007 @inocanada @FPInnovations #Technologie #Recherche #Industrie #Investissement #Croissance

Publications récentes

  • An end-to-end approach for the verification problem: learning the right distance

    +
  • The Indigenous Languages Technology Project at NRC Canada: an empowerment-oriented approach to developing language software

    +