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

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 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.

langue originale	Anglais
Pages (de - à)	28-30
Nombre de pages	3
journal	Ada User Journal
Volume	45
Numéro de publication	1
état	Publié - 1 janv. 2024

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

Résumé

Autres fichiers et liens

Empreinte digitale

Contient cette citation