Fwd: Last call for contributions - ADEPT 2024: AADL by its practitioners, 14 June 2024, Barcelona, Spain
Frank Singhoff
-------- Message transféré --------
| Sujet : | Last call for contributions - ADEPT 2024: AADL by its practitioners, 14 June 2024, Barcelona, Spain |
|---|---|
| Date : | Tue, 26 Mar 2024 08:51:06 +0100 |
| De : | Hai Nam TRAN <hai-na...@univ-brest.fr> |
| Répondre à : | Hai Nam TRAN <hai-na...@univ-brest.fr> |
| Pour : | rsd...@groupes.renater.fr, anno...@listes.societe-informatique-de-france.fr, str...@laas.fr, gdr...@imag.fr, che...@listes.univ-brest.fr, announ...@lists.artist-embedded.org, sae-aad...@lists.sei.cmu.edu, sae-...@lists.sei.cmu.edu, os...@googlegroups.com |
(apologies for multiple copies of this message)
------------------------------------------------------------------------------------------
3rd ADEPT workshop: AADL by its practitioners - Call
for contributions
14 June 2024, Barcelona, Spain
Website: http://adept.univ-brest.fr/2024/
------------------------------------------------------------------------------------------
We would like to invite you to participate in the 3rd ADEPT
workshop: AADL by its practitioners.
The workshop is co-located with the 28th Ada-Europe
International Conference on Reliable Software Technologies (AEiC
2024 - https://www.ada-europe.org/conference2024/)
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 third 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
(https://easychair.org/my/conference?conf=adept24), by 30
March 2024, strictly in PDF, following the Ada User
Journal style.
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 2024 organizers : Jérôme Hugues, Frank Singhoff, and Hai Nam Tran