[aadl]: Fwd: Call for contributions: ADEPT: AADL by its practitioners

[Frank Singhoff]

Dear all,

Here is the announce of a workshop about AADL that may be interesting to 
our community.

For any questions, please contact us.

Best

Jérôme, Nam, Frank



-------- Message transféré --------
Sujet : 	[EMSIG Mailing List] Call for contributions: ADEPT: AADL by its 
practitioners
Date : 	Tue, 5 Apr 2022 17:24:25 +0200
De : 	Frank Singhoff <singhoff at univ-brest.fr>
Répondre à : 	announcements at univ-grenoble-alpes.fr, Frank Singhoff 
<singhoff at univ-brest.fr>
Pour : 	announcements at lists.artist-embedded.org




-----------------------------------------------------------------------

                          Call for Contributions

                ADEPT workshop, AADL by its practitioners

                     17 June 2022, Ghent, Belgium

                        http://adept22.univ-brest.fr

  in conjunction with the 26th Ada-Europe International Conference on
                Reliable Software Technologies (AEiC 2022)


-----------------------------------------------------------------------

We share with you an opportunity for the AADL community to present their 
experiences about AADL during the ADEPT workshop.

The ADEPT workshop will be organizedthe 17th June 2022, at Ghent, Belgium,
co-located with the 26th Ada-Europe International Conference on Reliable 
Software Technologies (AEiC 2022), June 14-17

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.

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 practice: 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 is an opportunity for AADL beginners to meet 
experienced AADL practitioners.

The ADEPT workshop is organized in 2 half days:

  - The morning will be a tutorial for AADL beginners who want to 
discover the language and its potential uses.

-  The afternoon will be dedicated to the presentation of success 
stories and returns of experience in the form of a discussion with the 
workshop attendees.

The workshop is open to anyone interested in AADL, in the design and the 
verification of software architecture for critical systems, and 
especially to AADL users who wish to present how they have used the AADL.

Interested authors shall submit a /short (one page) abstract/, by 20th 
May 2022, strictly in PDF, following the Ada User Journal 
<https://ada-europe.org/auj/home> style.Contribution and presentations 
about the utilizations of AADL shall be submitted by e‐mail to Frank 
Singhoff (frank.singhoff at univ-brest.fr <mailto:singhof at univ-brest.fr>), 
with subject line: "[ADEPT 2022: work proposal]

A post-workshop proceeding will be organized as a joint publication that 
summarizes the workshop talks and discussions co-authored by all 
participants.

Further workshop details can be obtained at http://adept22.univ-brest.fr

Organizers

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

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


- Frank Singhoff, Lab-STICC/Univ. of Brest, France,
singhof at univ-brest.fr


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