search menu icon-carat-right cmu-wordmark

An Overview of AADL and Toolsets to Support the Engineering of Safety-critical Systems

February 2021 Presentation
Jerome Hugues, John J. Hudak

This presentation by Jerome Hugues and John Hudak was given virtually at AADL/ACVIP User Days 2021.


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.