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 […]
Read More