Execution-based Verification of AADL Models
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
Pagination or Media Count:
Objective Reduce aviation mission system integration testing time and effort and increase assurance by developing testing tools that support a model-based system development process. Develop a software tool that will check instrumentation data collected from an integrated mission system to see if the observed system behaviors of an integrated mission system conform to required and allowed behaviors defined in an Architectural Analysis and Design Language AADL model of the integrated aviation software and hardware mission system.
- Computer Programming and Software