The Architecture Analysis and Design Language (AADL) is an SAE International Standard dedicated to the precise modeling of complex embedded systems, covering both hardware and software concerns. Its definition relies on a precise set of concepts inherited from industry and academic best practices: clear separation of concerns among layers, rich set of properties to document system metrics, and support for many kinds of analysis: scheduling, safety and reliability, performance, and also code generation.

The AADL standard is now a mature standard for the modeling of critical embedded real-time systems. AADL defines a language and supporting tools for the precise modeling and analysis of systems. AADL is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performance (latency, schedulability), safety, or security. One key strength of AADL as a language is the set of tools that provide analysis capabilities.

The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical systems where AADL is a first-citizen technology. The ADEPT workshop is also an opportunity for AADL beginners to meet experienced AADL practitioners.

ADEPT23 is the second workshop edition. It is a full-day workshop. The workshop is dedicated to the presentation of research around ADDL, AADL new technologies, and success stories. A return of experience in the form of a discussion with the attendees will close the workshop. It is open to anyone interested in AADL and in the design and verification of software architecture for critical systems.

Potential speakers must contact workshop organizers no later than 30 April 2023.

A post-workshop proceeding will be published in the Ada User Journal that summarizes the workshop talks and also the workshop discussions co-authored by all participants.

Workshop participants

The workshop is open to anyone who wants to present an AADL based project or simply participate in the discussion about AADL. Workshop organizers will also invite potential participants that are known to be active in the AADL community.

Organizers

Jérôme Hugues, Software Engineering Institute, Carnegie Mellon University, USA
jhugues@andrew.cmu.edu

Frank Singhoff, Lab-STICC/Univ. of Brest, France
singhoff@univ-brest.fr

Hai Nam Tran, Lab-STICC/Univ. of Brest, France
hai-nam.tran@univ-brest.fr