About CRIM

Modelling and software validation for Adacel


Context: Adacel is a multinational company from Australia specialising in the development of IT applications for air traffic control and airport management. The testing stages are crucial in Adacel's business environment, where security is a key issue, computer systems are complex and interrelated, and many government regulations must be respected. Simulation approaches are therefore numerous and complex. With some 20 tools and services in its portfolio, the company wanted to optimize its simulation and testing processes, particularly through automation. The new approach had to respect the above-mentioned constraints while offering a sophisticated detection tool that can manage a multitude of parameters and detect potential problems. 

ProjectCRIM used its expertise in modelling and model-based testing to help Adacel improve its simulation systems for air traffic control and airport management.
The provision of an expert from CRIM also enabled the company to successfully implement the automated tool in its simulation systems. CRIM's contribution was crucial in the implementation of a solution that enabled Adacel to bring the testing and validation time of its systems down from a few days to a few hours.

Teams

Upcoming event

  • DevOps - En rappel à Québec - Événement Les Affaires
    26 February 2020 8:30
    Hôtel Le Concorde Québec
    Le CRIM fier partenaire de la 2e édition de la conférence DevOps - En rappel à Québec, organisée par les Événement Les Affaires, qui se tiendra les 26 et 27 février 2020 | Hôtel le Concorde, Québec
    +
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…
  • CRIM is happy to have contributed its expertise in #visual/#speech #analytics and operator-state #monitoring for th… https://t.co/JbAZ8mvm4O

Recent Publications

  • Validating BGP Update Using Blockchain-Based Infrastructure in Livre : Decentralised Internet of Things: A Blockchain Perspective

    +
  • Efficient Inference of Optimal Decision Trees

    +