You are here

Model-Based Testing of Integrated Aviation Mission Systems

Award Information
Agency: Department of Defense
Branch: Army
Contract: W911W6-18-C-0010
Agency Tracking Number: A171-006-1223
Amount: $134,150.15
Phase: Phase I
Program: SBIR
Solicitation Topic Code: A17-006
Solicitation Number: 17.1
Timeline
Solicitation Year: 2017
Award Year: 2017
Award Start Date (Proposal Award Date): 2017-06-19
Award End Date (Contract End Date): 2018-05-31
Small Business Information
4401 Wilson Boulevard, Suite 810, Arlington, VA, 22203
DUNS: 606926769
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Shawn Kline
 Sr. Systems Engineer I
 (703) 807-0055
 skline@idtus.com
Business Contact
 Teddy Kidd
Phone: (703) 522-4032
Email: tkidd@idtus.com
Research Institution
N/A
Abstract
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.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government