[aadl]: Second call for contributions - ADEPT 2025: AADL by its practitioners, June 2025, Paris, France

[Hai Nam TRAN]

*(Our apologies for multiple copies of this message)*/

/*--------------------------------------- **4th ADEPT workshop: AADL by 
its practitioners- *Second*call for contributions13 June 2025, Paris, 
France Co-located with the 29th Ada-Europe International Conference on 
Reliable Software Technologies (AEiC 2025 
<https://ada-europe.org/conference2025/>) *

**Website: http://adept.univ-brest.fr/2025/ 
<http://adept.univ-brest.fr/2025/>/
/*---------------------------------------Short abstract submission date: 
*30 April 2025 *Submission link: 
https://easychair.org/conferences/?conf=adept2025 
---------------------------------------*

*We would like to invite you to participate in the 4th ADEPT workshop: 
AADL by its practitioners.*

*

The workshop is planned on *13* June 2025 as a satellite workshop 
co-located with the 29th Ada-Europe International Conference on Reliable 
Software Technologies (AEiC 2025, https://ada-europe.org/conference2025/)

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.

This year is the fourth 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.

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.

Interested authors shall submit a short (one page) abstract, via Easy 
Chair, by 30 April 2025, strictly in PDF, following the Ada User Journal 
style (https://ada-europe.org/auj/guide/)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.

Best regards,

ADEPT 2025 organizers: Jérôme Hugues, Frank Singhoff, and Hai Nam Tran

*
-------------- next part --------------
HTML attachment scrubbed and removed