search menu icon-carat-right cmu-wordmark

Case Study: Model-Based Analysis of the Mission Data System Reference Architecture

Technical Report
This report describes how AADL support an instantiation of a reference architecture, address architectural themes, and provide a foundation for the analysis of performance elements and system assurance concerns.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2010-TR-003
DOI (Digital Object Identifier)
10.1184/R1/6572168.v1

Abstract

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.

Cite This Technical Report

Feiler, P., Gluch, D., & Woodham, K. (2010, May 1). Case Study: Model-Based Analysis of the Mission Data System Reference Architecture. (Technical Report CMU/SEI-2010-TR-003). Retrieved May 30, 2024, from https://doi.org/10.1184/R1/6572168.v1.

@techreport{feiler_2010,
author={Feiler, Peter and Gluch, David and Woodham, Kurt},
title={Case Study: Model-Based Analysis of the Mission Data System Reference Architecture},
month={May},
year={2010},
number={CMU/SEI-2010-TR-003},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6572168.v1},
note={Accessed: 2024-May-30}
}

Feiler, Peter, David Gluch, and Kurt Woodham. "Case Study: Model-Based Analysis of the Mission Data System Reference Architecture." (CMU/SEI-2010-TR-003). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, May 1, 2010. https://doi.org/10.1184/R1/6572168.v1.

P. Feiler, D. Gluch, and K. Woodham, "Case Study: Model-Based Analysis of the Mission Data System Reference Architecture," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2010-TR-003, 1-May-2010 [Online]. Available: https://doi.org/10.1184/R1/6572168.v1. [Accessed: 30-May-2024].

Feiler, Peter, David Gluch, and Kurt Woodham. "Case Study: Model-Based Analysis of the Mission Data System Reference Architecture." (Technical Report CMU/SEI-2010-TR-003). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 May. 2010. https://doi.org/10.1184/R1/6572168.v1. Accessed 30 May. 2024.

Feiler, Peter; Gluch, David; & Woodham, Kurt. Case Study: Model-Based Analysis of the Mission Data System Reference Architecture. CMU/SEI-2010-TR-003. Software Engineering Institute. 2010. https://doi.org/10.1184/R1/6572168.v1