Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language

Autor: Zhou, Yuchen, Baras, John, Wang, Shige

Modern cyber-physical systems (CPS) have a close inter-dependence between software and physical components. Automotive embedded systems are typical CPS, as physical chips, sensors and actuators are physical components and software embedded within are

Externí odkaz: http://arxiv.org/abs/1603.05069

Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language

Autor: Jerome Hugues, Sam Procter

Publikováno v: IEEE Software. 39:34-38

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::501b275e57edfa90627f298775c78149
https://doi.org/10.1109/ms.2022.3167533

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Autor: Paul Le Guernic, Loïc Besnard, Clement Guy, Jean-Pierre Talpin, Thierry Gautier, Etienne Borde, Brian R. Larson

Publikováno v: Cyber-Physical System Design from an Architecture Analysis Viewpoint
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
[Research Report] RR-8950, INRIA. 2016, pp.30-39
Cyber-Physical System Design from an Architecture Analysis Viewpoint ISBN: 9789811044359
High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International
HLDVT 2016-18th IEEE International High-Level Design Validation and Test Workshop
HLDVT 2016-18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩
HLDVT 2016-18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. IEEE, High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International, pp.30-39, 2016, High-level design, verification and test. 〈http://www.hldvt.org/〉. 〈10.1109/HLDVT.2016.7748252〉
HLDVT

International audience; In system design, an architecture specification or model serves, among other purposes, as a repository to share knowledge about the system being designed. Such a repository enables automatic generation of analytical models for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::930e36ac4ba38406508ff6c814019f29
https://inria.hal.science/hal-01615143

Architecture analysis and design language & harmony system engineering process

Autor: Jian-min Wu, Lin Qi, Hai-yu Xu, Teng-teng Zhang

Publikováno v: 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).

With the extensive applications of the Architecture Analysis and Design Language (AADL), how to use AADL to create platform-independent models (PIMs) is becoming a research focus. Most applications use UML or SysML to create PIMs, and then use the co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::00ed3ca7f8fb506e10c14a032d6d9f53
https://doi.org/10.1109/dasc.2012.6382421