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

Recent news

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

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

    +

Upcoming event

  • Assemblée générale des membres du CRIM - 18 juin 2020
    18 June 2020 0:00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Les membres du CRIM sont convoqués à l'Assemblée générale annuelle qui se tiendra le 18 juin 2020. Ne manquez pas cette importante réunion et l'occasion de vous tenir au fait de plusieurs dossiers qui vous concernent.
    +
  • Prompt RT @Prompt_Innov: [ WEXPERT ?La Ville intelligente Nos intervenants : Philippe Beaudoin, co-fondateur d’ @element_ai Stéphane Barbier, di…
  • CEIM RT @CEIM_Qc: Bonne nouvelle! Le gala de l' @ADRIQ_RCTi aura bien lieu, que ce soit en présentiel ou en virtuel! Ne passez pas à côté de cet…

Recent Publications

  • An ensemble Based Approach for Generalized Detection of Spoofing Attacks to Automatic Speaker Recognizers

    +
  • Generalized End-to-End Detection of Spoofing Attacks to Automatic Speaker Recognizers

    +