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

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	125-128
Number of pages	4
Journal	Ada User Journal
Volume	44
Issue number	2
DOIs	https://doi.org/10.1145/3631483.3631485
Publication status	Published - 1 Jun 2023

Keywords

AADL
critical embedded real-time systems
design
implementation and verification

Access to Document

10.1145/3631483.3631485

Cite this

@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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this