search menu icon-carat-right cmu-wordmark

A Requirement Specification Language for AADL

Technical Report
This report describes a textual requirement specification language, called ReqSpec, for the Architecture Analysis & Design Language (AADL) and demonstrates its use.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2016-TR-008
DOI (Digital Object Identifier)
10.1184/R1/6571742.v1

Abstract

This report describes a textual requirement specification language, called ReqSpec, for the Archi-tecture Analysis & Design Language (AADL). It is based on the draft Requirements Definition and Analysis Language Annex, which defines a meta-model for requirement specification as annotations to AADL models. A set of plug-ins to the Open Source AADL Tool Environment (OSATE) toolset supports the ReqSpec language. Users can follow an architecture-led requirement specification process that uses AADL models to represent the system in its operational context as well as the architecture of the system of interest. ReqSpec can also be used to represent existing stakeholder and system requirement documents. Requirement documents represented in the Requirements Interchange Format can be imported into OSATE to migrate such documents into an architecture-centric virtual integration process. Finally, ReqSpec is an element of an architecture-led, incremental approach to system assurance. In this approach, requirements specifications are complemented with verification plans. When executed, these plans produce evidence that a system implementation satisfies the requirements. This report introduces the ReqSpec notation and illustrates its use with an example.

Cite This Technical Report

Feiler, P., Delange, J., & Wrage, L. (2016, June 22). A Requirement Specification Language for AADL. (Technical Report CMU/SEI-2016-TR-008). Retrieved March 4, 2024, from https://doi.org/10.1184/R1/6571742.v1.

@techreport{feiler_2016,
author={Feiler, Peter and Delange, Julien and Wrage, Lutz},
title={A Requirement Specification Language for AADL},
month={Jun},
year={2016},
number={CMU/SEI-2016-TR-008},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6571742.v1},
note={Accessed: 2024-Mar-4}
}

Feiler, Peter, Julien Delange, and Lutz Wrage. "A Requirement Specification Language for AADL." (CMU/SEI-2016-TR-008). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, June 22, 2016. https://doi.org/10.1184/R1/6571742.v1.

P. Feiler, J. Delange, and L. Wrage, "A Requirement Specification Language for AADL," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2016-TR-008, 22-Jun-2016 [Online]. Available: https://doi.org/10.1184/R1/6571742.v1. [Accessed: 4-Mar-2024].

Feiler, Peter, Julien Delange, and Lutz Wrage. "A Requirement Specification Language for AADL." (Technical Report CMU/SEI-2016-TR-008). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 22 Jun. 2016. https://doi.org/10.1184/R1/6571742.v1. Accessed 4 Mar. 2024.

Feiler, Peter; Delange, Julien; & Wrage, Lutz. A Requirement Specification Language for AADL. CMU/SEI-2016-TR-008. Software Engineering Institute. 2016. https://doi.org/10.1184/R1/6571742.v1