An Overview of AADL and Toolsets to Support the Engineering of Safety-critical Systems
Software Engineering Institute
AADL/ACVIP User Days 2021 was hosted by the Software Engineering Institute (SEI) and held virtually on February 3-4, 2021. AADL/ACVIP User Days is a free two-day virtual forum to present the latest on the Architecture Analysis and Design Language (AADL), the Architecture-Centric Virtual Integration Process (ACVIP), and associated tools. This presentation by Jerome Hugues and John Hudak was given virtually at AADL/ACVIP User Days 2021.
The SAE AADL supports key concepts for modeling and analysis safety-critical systems. In this talk, we will first motivate the need for AADL, then introduce its core concepts. In a second phase, we will present key capabilities to support engineers in designing and implementing safety-critical systems: safety analysis, performance analysis and code generation.
Jerome Hugues is a Senior Researcher at the Software Engineering Institute on the Assuring Cyber-Physical Systems team. He holds a Habilitation (2017) from INP Toulouse, a PhD (2005) and an engineering degree (2002) both from Telecom ParisTech. His research interests focus on the design of software-based real-time and embedded systems and tools to support it. He is a member of the SAE AS-2C committee working on the AADL since 2005. Before joining the CMU/SEI, he was a professor at the Department of Engineering of Complex Systems of the Institute for Space and Aeronautics Engineering (ISAE), in charge of teaching curriculum on systems engineering, safety-critical systems, and real-time systems. He contributes to the OSATE, Ocarina, and TASTE AADL toolchains.
John Hudak is a senior member of the technical staff at the Software Engineering Institute (SEI). His interests include dependable real-time systems, computer hardware and software architecture, model-based verification, and control engineering. Before joining the SEI, he was a member of Carnegie Mellon Research Institute, an applied R&D division within Carnegie Mellon University. He served in various technical and managerial capacities in projects addressing the needs of industry. Projects included: automation of newspaper distribution, steel making control systems, applied artificial intelligence techniques in power generation and distribution facilities, process modeling, and automated robotic inspection of jet aircraft.
Watch the video on YouTube