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

[Frank Singhoff]

-------- Message transféré --------
Sujet : 	Call for contributions: ADEPT 2023: AADL by its practitioners
Date : 	Fri, 31 Mar 2023 18:13:41 +0200
De : 	Frank Singhoff <singhoff at univ-brest.fr>
Répondre à : 	Frank Singhoff <singhoff at univ-brest.fr>
Pour : 	cheddar at listes.univ-brest.fr




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

                            Call for Contributions

                2nd ADEPT workshop, AADL by its practitioners

   Co-located with the AEiC conference

                         June 2023, Lisbon, Portugal

                      http://adept.univ-brest.fr/2023  <https://eur05.safelinks.protection.outlook.com/?url=http%3A%2F%2Fadept.univ-brest.fr%2F2023&data=05%7C01%7CMaxime.Perrotin%40esa.int%7C3daf598c700c48a19efd08db14f2a2b8%7C9a5cacd02bef4dd7ac5c7ebe1f54f495%7C0%7C0%7C638126804555472229%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=F5dGrOvykAc2%2B8U1uRfXHje0xa7q2Ujtu5Yp%2FKLKD5k%3D&reserved=0>                      

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

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

The 2nd ADEPT workshop will be organized in June 2023, at Lisbon, Portugal

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

Interested authors shall submit a /short (one page) abstract/, by 30th 
April 2023, strictly in PDF, following the Ada User Journal 
<https://eur05.safelinks.protection.outlook.com/?url=https%3A%2F%2Fada-europe.org%2Fauj%2Fhome&data=05%7C01%7CMaxime.Perrotin%40esa.int%7C3daf598c700c48a19efd08db14f2a2b8%7C9a5cacd02bef4dd7ac5c7ebe1f54f495%7C0%7C0%7C638126804555472229%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=Ti80tdAnPt4lQQoHRL7NtvNZ4nVQMro2RILrhDHsf10%3D&reserved=0> 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 2023 
presentation proposal]

A post-workshop proceeding in the Ada User Journal 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 
athttp://adept.univ-brest.fr/2023 
<https://eur05.safelinks.protection.outlook.com/?url=http%3A%2F%2Fadept.univ-brest.fr%2F2023&data=05%7C01%7CMaxime.Perrotin%40esa.int%7C3daf598c700c48a19efd08db14f2a2b8%7C9a5cacd02bef4dd7ac5c7ebe1f54f495%7C0%7C0%7C638126804555472229%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=F5dGrOvykAc2%2B8U1uRfXHje0xa7q2Ujtu5Yp%2FKLKD5k%3D&reserved=0> 


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