XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems

被引：0

作者：

Masing, Leonard ^{[1
]}

Doerr, Tobias ^{[1
]}

Schade, Florian ^{[1
]}

Becker, Juergen ^{[1
]}

Keramidas, Georgios ^{[2
,9
]}

Antonopoulos, Christos P. ^{[2
]}

Mavropoulos, Michail ^{[2
]}

Tiganourias, Efstratios ^{[2
,9
]}

Kelefouras, Vasilios ^{[2
]}

Antonopoulos, Konstantinos ^{[2
]}

Voros, Nikolaos ^{[2
]}

Durak, Umut ^{[3
]}

Ahlbrecht, Alexander ^{[3
]}

Zaeske, Wanja ^{[3
]}

Panagiotou, Christos ^{[4
]}

Karadimas, Dimitris ^{[4
]}

Adler, Nico ^{[5
]}

Sailer, Andreas ^{[5
]}

Weber, Raphael ^{[5
]}

Wilhelm, Thomas ^{[5
]}

Nemeth, Geza ^{[6
]}

Siddiqui, Fahad ^{[7
]}

Khan, Rafiullah ^{[7
]}

Garousi, Vahid ^{[7
]}

Sezer, Sakir ^{[7
]}

Morales, Victor ^{[8
]}

机构：

[1] Karlsruhe Inst Technol, Karlsruhe, Germany

[2] Univ Peloponnese, Tripoli, Greece

[3] German Aerosp Ctr DLR, Inst Flight Syst, Braunschweig, Germany

[4] AVN Innovat Technol Solut Ltd, Limassol, Cyprus

[5] Vector Informat GmbH, Stuttgart, Germany

[6] Bayer Motoren Werke Aktiengesell, Munich, Germany

[7] Queens Univ, Belfast, Antrim, North Ireland

[8] Fent Innovat Software Solut SL, Valencia, Spain

[9] Aristotle Univ Thessaloniki, Thessaloniki, Greece

来源：

PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022) | 2022年

基金：

英国工程与自然科学研究理事会;

关键词：

X-by-Construction; Model-based development; Real-time systems; Safety-critical systems; Hypervisors;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Realizing desired properties "by construction" is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a model-based X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving.

引用

下载

页码：814 / 818

页数：5

共 50 条

[1] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems
Chen, Yung-Yuan
Peng, Jing-Xiang
PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
[2] XANDAR: Verification & Validation Approach for Safety-critical Systems
Sonigara, Balmukund
Sezer, Sakir
Siddiqui, Fahad
Weber, Raphael
Antonopoulos, Konstantinos
Panagiotou, Christos
Antonopoulos, Christos P.
Keramidas, Georgios
Voros, Nikolaos
Yengec-Tasdemir, Sena Busra
Hui, Henry
McLaughlin, Kieran
2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
[3] Development of safety-critical systems and model-based risk analysis with UML
Jürjens, J
Houmb, SH
DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
[4] Model-based software development - A Process for safety-critical embedded Systems
Kuschnerus, Dirk
Gerding, Michael
Bilgic, Attila
Musch, Thomas
ATP EDITION, 2012, (7-8): : 60 - 66
[5] Model-Based Validation of Safety-Critical Embedded Systems
Feiler, Peter H.
2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
[6] BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development
Cutajar, Michael
Ji, Siyuan
IEEE Open Journal of Systems Engineering, 2023, 1 : 81 - 93
[7] Supporting model-based safety analysis for safety-critical IoT systems
Ihirwe, Felicien
Di Ruscio, Davide
Di Blasio, Katia
Gianfranceschi, Simone
Pierantonio, Alfonso
JOURNAL OF COMPUTER LANGUAGES, 2024, 78
[8] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
Gannous, Aiman
Andrews, Anneliese
2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
[9] Model-based assurance evidence management for safety-critical systems
Luis de la Vara, Jose
Garcia, Arturo S.
Valero, Jorge
Ayora, Clara
SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
[10] Model-Based Deployment Generation for Safety-Critical Avionics Systems
Igna, Georgeta
Dieudonne, Laurent
Voss, Sebastian
Schaetz, Bernhard
2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181

← 1 2 3 4 5 →