ADEPT 2023 Workshop Summary

Hai Nam Tran; Frank Singhoff; Jérôme Hugues; Pierre Dissaux; Bruce Lewis; Hazel Shackleton; Joseph Kiniry; Frank Zeyda; Rakshit Mittal; Dominique Blouin; Anish Bhobe; Laurent Pautet; Kyungmin Bae; Peter Csaba Ölveczky; Brian R. Larson; Ehsan Ahmad; Leonidas Kosmidis; Hugo Valente; Miguel A. de Miguel; Ángel G. Pérez; Alejandro Alonso; Juan Zamorano; Juan A. de la Puente

ADEPT 2023 Workshop Summary

Hai Nam Tran
, Frank Singhoff
, Jérôme Hugues
, Pierre Dissaux
, Bruce Lewis
, Hazel Shackleton
, Joseph Kiniry
, Frank Zeyda
, Rakshit Mittal
, Dominique Blouin
, Anish Bhobe
, Laurent Pautet
, Kyungmin Bae
, Peter Csaba Ölveczky
, Brian R. Larson
, Ehsan Ahmad
, Leonidas Kosmidis
, Hugo Valente
, Miguel A. de Miguel
, Ángel G. Pérez

Alejandro Alonso, Juan Zamorano, Juan A. de la Puente

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

Abstract

The Architecture Analysis and Design Language (AADL) is a SAE standard for modeling both hardware and software architecture of embedded systems. Widely embraced by stakeholders in critical real-time embedded systems, the AADL standard is used to address a large set of concerns including performances (latency, schedulability), safety, and security. The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical real-time embedded systems where AADL is a first-citizen technology. This article is a summary of the second edition of the workshop in 2023.

Original language	English
Pages (from-to)	28-30
Number of pages	3
Journal	Ada User Journal
Volume	45
Issue number	1
Publication status	Published - 1 Jan 2024

Keywords

AADL
critical embedded real-time systems
design
implementation and verification

Cite this

@article{9929ee0bd48b4fc6b58fa0507a15bb06,

title = "ADEPT 2023 Workshop Summary",

abstract = "The Architecture Analysis and Design Language (AADL) is a SAE standard for modeling both hardware and software architecture of embedded systems. Widely embraced by stakeholders in critical real-time embedded systems, the AADL standard is used to address a large set of concerns including performances (latency, schedulability), safety, and security. The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical real-time embedded systems where AADL is a first-citizen technology. This article is a summary of the second edition of the workshop in 2023.",

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

author = "Tran, \{Hai Nam\} and Frank Singhoff and J{\'e}r{\^o}me Hugues and Pierre Dissaux and Bruce Lewis and Hazel Shackleton and Joseph Kiniry and Frank Zeyda and Rakshit Mittal and Dominique Blouin and Anish Bhobe and Laurent Pautet and Kyungmin Bae and {\"O}lveczky, \{Peter Csaba\} and Larson, \{Brian R.\} and Ehsan Ahmad and Leonidas Kosmidis and Hugo Valente and \{de Miguel\}, \{Miguel A.\} and P{\'e}rez, \{{\'A}ngel G.\} and Alejandro Alonso and Juan Zamorano and \{de la Puente\}, \{Juan A.\}",

year = "2024",

month = jan,

day = "1",

language = "English",

volume = "45",

pages = "28--30",

journal = "Ada User Journal",

issn = "1381-6551",

number = "1",

}

TY - JOUR

T1 - ADEPT 2023 Workshop Summary

AU - Tran, Hai Nam

AU - Singhoff, Frank

AU - Hugues, Jérôme

AU - Dissaux, Pierre

AU - Lewis, Bruce

AU - Shackleton, Hazel

AU - Kiniry, Joseph

AU - Zeyda, Frank

AU - Mittal, Rakshit

AU - Blouin, Dominique

AU - Bhobe, Anish

AU - Pautet, Laurent

AU - Bae, Kyungmin

AU - Ölveczky, Peter Csaba

AU - Larson, Brian R.

AU - Ahmad, Ehsan

AU - Kosmidis, Leonidas

AU - Valente, Hugo

AU - de Miguel, Miguel A.

AU - Pérez, Ángel G.

AU - Alonso, Alejandro

AU - Zamorano, Juan

AU - de la Puente, Juan A.

PY - 2024/1/1

Y1 - 2024/1/1

N2 - The Architecture Analysis and Design Language (AADL) is a SAE standard for modeling both hardware and software architecture of embedded systems. Widely embraced by stakeholders in critical real-time embedded systems, the AADL standard is used to address a large set of concerns including performances (latency, schedulability), safety, and security. The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical real-time embedded systems where AADL is a first-citizen technology. This article is a summary of the second edition of the workshop in 2023.

AB - The Architecture Analysis and Design Language (AADL) is a SAE standard for modeling both hardware and software architecture of embedded systems. Widely embraced by stakeholders in critical real-time embedded systems, the AADL standard is used to address a large set of concerns including performances (latency, schedulability), safety, and security. The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical real-time embedded systems where AADL is a first-citizen technology. This article is a summary of the second edition of the workshop in 2023.

KW - AADL

KW - critical embedded real-time systems

KW - design

KW - implementation and verification

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

M3 - Article

AN - SCOPUS:105001978179

SN - 1381-6551

VL - 45

SP - 28

EP - 30

JO - Ada User Journal

JF - Ada User Journal

IS - 1

ER -

ADEPT 2023 Workshop Summary

Abstract

Keywords

Other files and links

Fingerprint

Cite this