Model-Based Testing of Integrated Aviation Mission Systems

We propose an automated capability to create assurance tests directly from an AADL system model. This will be done by ensuring that each requirement is a contract that the architecture model or implemented System Under Test (SUT) must meet within its operating environments. Based on the Architecture-Centric Virtual Integration Process (ACVIP) framework, we will develop an AADL Functional and Conceptual model composed of logical, thread, and deployment views. Using the Architecture-Led Incremental System Assurance (ALISA) framework, we will develop/capture a set of system requirements, develop a verification plan that contains claims to verify, and ALISA assurance plans based on a set of claims to verify. We will leverage existing technologies that have been developed and deployed as an automated test and analysis approach using Systems Modeling Language (SysML) models that characterize the behaviors and performance of a SUT. By leveraging these core technologies we can provide the necessary infrastructure needed to achieve the Army’s automated V&V goals for integration testing while reducing development costs. It is important to note here that we will not be pursuing translators between AADL and SysML; we will be adapting our automation efforts that have been proven in SysML directly to the AADL standards.