Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

A Requirement Specification Language for AADL

  • June 2016
  • By Peter H. Feiler, Julien Delange, Lutz Wrage
  • This report describes a textual requirement specification language, called ReqSpec, for the Architecture Analysis & Design Language (AADL) and demonstrates its use.
  • Software Architecture
  • Publisher: Software Engineering Institute
    CMU/SEI Report Number: CMU/SEI-2016-TR-008
  • 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 on an example.

  • Download

Cite This Report

SEI

Feiler, Peter; Delange, Julien; & Wrage, Lutz. A Requirement Specification Language for AADL. CMU/SEI-2016-TR-008. Software Engineering Institute, Carnegie Mellon University. 2016. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=464370

IEEE

Feiler. Peter, Delange. Julien, and Wrage. Lutz, "A Requirement Specification Language for AADL," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2016-TR-008, 2016. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=464370

APA

Feiler, Peter., Delange, Julien., & Wrage, Lutz. (2016). A Requirement Specification Language for AADL (CMU/SEI-2016-TR-008). Retrieved March 24, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=464370

CHI

Peter Feiler, Julien Delange, & Lutz Wrage. A Requirement Specification Language for AADL (CMU/SEI-2016-TR-008). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2016. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=464370

MLA

Feiler, Peter., Delange, Julien., & Wrage, Lutz. 2016. A Requirement Specification Language for AADL (Technical Report CMU/SEI-2016-TR-008). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=464370

BibTex

@techreport{FeilerARequirement2016,
title={A Requirement Specification Language for AADL},
author={Peter Feiler and Julien Delange and Lutz Wrage},
year={2016},
number={CMU/SEI-2016-TR-008},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=464370} }