Thursday, May 6, 2010
Time: 12:00 PM – 1:00 PM EDT
Cost: Free
Abstract
In this presentation we first discuss some of the challenges in building safety-critical systems that are increasingly software reliant and the need for formal analysis of system models discovering system-level problems earlier in the development. We then provide a summary of the capabilities of the SAE AADL standard suite, its application in industrial initiatives and research projects, as well as its relationship to other standards. We close the presentation with a case study of an international aircraft industry initiative called System Architecture Virtual Integration (SAVI).
About the Speaker
Peter Feiler is a 25-year veteran at the Software Engineering Institute (SEI). He is the technical lead and author of the SAE International Architecture Analysis & Design Language (AADL) standard suite. His research interest is in architecture-centric model-based engineering to improve the reliability of software-reliant systems.
