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 trafic 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. 

ProjetLe CRIM a mis à profit son expertise en intelligence artificielle et en modélisation pour aider Adacel à améliorer ses systèmes de simulation pour la gestion du trafic aérien et aéroportuaire. 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. Sans le CRIM, Adacel n’aurait pas pu créer seule une solution qui lui a permis de réduire de quelques jours à quelques heures le temps d’exécution de plusieurs opérations.

Équipes

Nouvelles récentes

  • Le CRIM en chiffres 2018-19
    17/07/2019

    Indicateurs clés de l'exercice 2018-19

    +

Événement à venir

  • QRS 2019
    26/07/19 0h00
    Sofia, Bulgarie
    Le CRIM présentera un article à la «19th IEEE International Conference on Software Quality, Reliability, and Security» qui se déroulera du 22 au 26 juillet 2019 à Sofia, Bulgarie.
    +
  • Rémi Quirion RT @SciChefQC: Étudiants internationaux #maitrise #doctorat #postdoc #sciencesdelavie #technologiesanté #TI #aérospatiale #MTL, découvrez l…
  • Rémi Quirion RT @SciChefQC: #MA, #PhD, #postdoc #LifeSciences #HealthTechnologies #IT #aerospace international students of #MTL, come meet recruiters at…

Publications récentes

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

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

    +