Case Study: Model-Based Analysis of the Mission Data System Reference Architecture
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
Pagination or Media Count:
This report documents the results of applying the Architecture Analysis and Design Language AADL to the Mission Data System MDS architecture. The work described in this case study is part of the National Aeronautics and Space Administration NASA Software Assurance Research Program SARP research project Model-Based Software Assurance with the SAE Architecture Analysis and Design Language AADL. The report includes discussion of modeling and analyzing the MDS reference architecture and its instantiation for specific platforms. In particular, it focuses on modeling aspects of state-based system behavior in MDS for quantitative analysis. Three different types of state-based system models are considered closed loop control, goal-oriented mission plan execution, and fault tolerance through mission replanning. This report demonstrates modeling and analysis of the MDS reference architecture as well as instantiations of the reference architecture for a specific mission system.
- Computer Programming and Software