ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem

Frank Singhoff; Jérôme Hugues; Hai Nam Tran; Gianluca Bardaro; Dominique Blouin; Marco Bozzano; Patrick Denzler; Pierre Dissaux; Eric Senn; Xiong Xu; Zhibin Yang

doi:10.1145/3631483.3631485

ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem

Frank Singhoff
, Jérôme Hugues
, Hai Nam Tran
, Gianluca Bardaro
, Dominique Blouin
, Marco Bozzano
, Patrick Denzler
, Pierre Dissaux
, Eric Senn
, Xiong Xu
, Zhibin Yang

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, … 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. This article is a summary of the ADEPT 2022 workshop.

langue originale	Anglais
Pages (de - à)	125-128
Nombre de pages	4
journal	Ada User Journal
Volume	44
Numéro de publication	2
Les DOIs	https://doi.org/10.1145/3631483.3631485
état	Publié - 1 juin 2023

Accès au document

10.1145/3631483.3631485

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{2474727bb2b441da8dc8fdcebfba0198,

title = "ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem",

abstract = "The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, … 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. This article is a summary of the ADEPT 2022 workshop.",

keywords = "AADL, critical embedded real-time systems, design, implementation and verification",

author = "Frank Singhoff and J{\'e}r{\^o}me Hugues and Tran, \{Hai Nam\} and Gianluca Bardaro and Dominique Blouin and Marco Bozzano and Patrick Denzler and Pierre Dissaux and Eric Senn and Xiong Xu and Zhibin Yang",

year = "2023",

month = jun,

day = "1",

doi = "10.1145/3631483.3631485",

language = "English",

volume = "44",

pages = "125--128",

journal = "Ada User Journal",

issn = "1381-6551",

number = "2",

}

TY - JOUR

T1 - ADEPT 2022 Workshop

T2 - A Summary of Strengths and Weaknesses of the AADL Ecosystem

AU - Singhoff, Frank

AU - Hugues, Jérôme

AU - Tran, Hai Nam

AU - Bardaro, Gianluca

AU - Blouin, Dominique

AU - Bozzano, Marco

AU - Denzler, Patrick

AU - Dissaux, Pierre

AU - Senn, Eric

AU - Xu, Xiong

AU - Yang, Zhibin

PY - 2023/6/1

Y1 - 2023/6/1

N2 - The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, … 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. This article is a summary of the ADEPT 2022 workshop.

AB - The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, … 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. This article is a summary of the ADEPT 2022 workshop.

KW - AADL

KW - critical embedded real-time systems

KW - design

KW - implementation and verification

UR - https://www.scopus.com/pages/publications/85186768703

U2 - 10.1145/3631483.3631485

DO - 10.1145/3631483.3631485

M3 - Article

AN - SCOPUS:85186768703

SN - 1381-6551

VL - 44

SP - 125

EP - 128

JO - Ada User Journal

JF - Ada User Journal

IS - 2

ER -

ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation