Model-Based Testing of Integrated Aviation Mission Systems

Model-Based System Engineering (MBSE) based on formal models allows for verification of requirements during both the system design phases (left side of ‘V’ model) as well as code implementation and integration (right side of ‘V’ model). Analysis tools and techniques have been developed to automatically verify requirements based on AADL architectural models. To address the verification of requirements against the implemented and running system, we have created an Automated Test and Re-Test (ATRT) capability to create verification tests directly from an AADL system model. The results from both the model verification and the verification based on run-time data provide the basis for an overall system assurance. The ATRT software suite reads in recorded data from the System Under Test (SUT) and automatically evaluates the system behavior and requirements as specified in an AADL model. ATRT is built using an MBSE approach, originally using Systems Modeling Language (SysML). This effort extended ATRT into interfacing/working with architecture models in AADL. Test automation is essential considering the total number of system test combinations resulting from a given aviation system production line. An ATRT/AADL solution will yield long-term cost and quality benefits, increase test coverage, and reduce the timeline between software freeze and certification.