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.