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.