icon-carat-right menu search cmu-wordmark

Reachability of System Operation Modes in AADL

Technical Report
This report presents an algorithm that constructs the set of reachable SOMs for a given AADL model and the transitions between them.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2024-TR-003
DOI (Digital Object Identifier)
10.1184/R1/24764256

Abstract

Components in an AADL (Architecture Analysis and Design Language) model can have modes that determine which subcomponents and connections are active. Transitions between modes are triggered by events originating from the modeled system’s environment or other components in the model. Modes and transitions can occur on any level of the component hierarchy. The combinations of component modes (called system operation modes or SOMs) define the system’s configurations. It is important to know which SOMs can actually occur in the system, especially in the area of system safety, because a system may contain components that should not be active simultaneously, for example, a car’s brake and accelerator. This report presents an algorithm that constructs the set of reachable SOMs for a given AADL model and the transitions between them.

Cite This Technical Report

Wrage, L. (2024, May 31). Reachability of System Operation Modes in AADL. (Technical Report CMU/SEI-2024-TR-003). Retrieved November 13, 2024, from https://doi.org/10.1184/R1/24764256.

@techreport{wrage_2024,
author={Wrage, Lutz},
title={Reachability of System Operation Modes in AADL},
month={{May},
year={{2024},
number={{CMU/SEI-2024-TR-003},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/24764256},
note={Accessed: 2024-Nov-13}
}

Wrage, Lutz. "Reachability of System Operation Modes in AADL." (CMU/SEI-2024-TR-003). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, May 31, 2024. https://doi.org/10.1184/R1/24764256.

L. Wrage, "Reachability of System Operation Modes in AADL," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2024-TR-003, 31-May-2024 [Online]. Available: https://doi.org/10.1184/R1/24764256. [Accessed: 13-Nov-2024].

Wrage, Lutz. "Reachability of System Operation Modes in AADL." (Technical Report CMU/SEI-2024-TR-003). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 31 May. 2024. https://doi.org/10.1184/R1/24764256. Accessed 13 Nov. 2024.

Wrage, Lutz. Reachability of System Operation Modes in AADL. CMU/SEI-2024-TR-003. Software Engineering Institute. 2024. https://doi.org/10.1184/R1/24764256