Safety and Behavior Specification Using the Architecture Analysis and Design Language
Software Engineering Institute
In this podcast, Julien Delange discusses two extensions to the Architecture Analysis and Design Language: the behavior annex and the error-model annex. The behavior annex represents the functional logic of AADL components and interacts with the other system elements. SEI researchers are currently participating in the ongoing improvements of this extension of the AADL by connecting it to other analysis tools. The error model annex augments the architecture description by specifying safety concerns of the system (error propagation, error behavior, etc.). The language is the foundation of new analysis tools that provide qualitative and quantitative assessment of system safety and reliability. SEI researches have defined new tools that analyze the model and produces safety validation documents, such as the one required by safety standard such as the SAE ARP4761.
About the Speaker
Suzanne Miller is a principal researcher at the Software Engineering Institute of Carnegie Mellon University in the Continuous Deployment of Capability Directorate. Miller actively supports multiple large DoD cyber-physical programs in their Agile/Lean adoption efforts, in addition to designing and teaching Agile courses and workshops tuned to government settings. Miller …Read more