A Requirement Specification Language for AADL
• Podcast
Publisher
Software Engineering Institute
Topic or Tag
Listen
Watch
Abstract
In this podcast, Peter Feiler describes a textual requirement specification language for the Architecture Analysis & Design Language (AADL) called ReqSpec. ReqSpec 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.
About the Speaker

Peter H. Feiler
Peter Feiler, best known as the technical lead and author of the SAE AS-2C Architecture Analysis & Design Language (AADL) standard, retired from an esteemed 31-year career at the Software Engineering Institute (SEI) in April 2020. Throughout his time at SEI, Feiler made significant contributions to fields such as architecture …
Read more