Test Automation with TTCN-3

Development of an Avionics system test methodology, based on the Test and Test Control Notation (TTCN-3). This will include (1) a gap analysis between TTCN-3 and current avionics test languages and environments and (2) a large scale case study. Of particular interest, will be the ability to model and verify both continuous control and discrete event aspects of avionics systems. This project will be used to improve verification and validation of CMC Electronics’ innovative new avionics designs. It will also provide the opportunity to integrate COTS equipment for stimulation and measurement through equipment interfaces (such as MIL-STD-1553 and ARINC 429). This will include integration of SILKAN test and integration benches to stress-test equipment via their interfaces.

Faculty Supervisor:

Rachida Dssouli;Liam Peyton;Gunter Mussbacher

Student:

Partner:

Silkan Solutions;CMC Electronics Inc (Saint Laurent, QC);Consortium de recherche et d'innovation en aérospatiale au Québec;Isoneo

Discipline:

Engineering

Sector:

Manufacturing; Professional, scientific and technical services; Transportation and warehousing

University:

Concordia University; École de technologie supérieure; McGill University; University of Ottawa

Program: