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

  • COVID-19 : Suivi de la situation
    25/03/2020

    Notre équipe maintient ses opérations à distance et est toujours là pour vous servir.

    +

Événement à venir

  • Intelligence d'affaires et analytique 2020 - Québec - Événements Les Affaires
    15/05/20 8h30
    Hôtel Le Concorde Québec
    Le CRIM est fier d'être partenaire et de participer à la 4e édition de la conférence Intelligence d'affaires et analytique - Québec organisée par les Événements Les Affaires, les 14 et 15 mai 2020 à l'hôtel Concorde, Québec.
    +
  • 5 nouvelles formations en ligne par @etsmtl Formation pour rester motivé! #partenaire https://t.co/ei9Kem6IFI
  • ???? Appel aux innovations technologiques québécoises pour lutter contre le #Covid19 ???? @TechnoMontreal Vous avez une… https://t.co/HBNZ3L8Aq5

Publications récentes

  • Validating BGP Update Using Blockchain-Based Infrastructure

    +
  • Efficient Inference of Optimal Decision Trees

    +