XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems-Reference-Cited by-同舟云学术

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

Published:2022-03-14 Issue: Volume: Page:
ISSN:
Container-title:2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
language:
Short-container-title:

Author:

Masing Leonard¹,Dorr Tobias¹,Schade Florian¹,Becker Juergen¹,Keramidas Georgios²,Antonopoulos Christos P.²,Mavropoulos Michail²,Tiganourias Efstratios²,Kelefouras Vasilios²,Antonopoulos Konstantinos²,Voros Nikolaos²,Durak Umut³,Ahlbrecht Alexander³,Zaeske Wanja³,Panagiotou Christos⁴,Karadimas Dimitris⁴,Adler Nico⁵,Sailer Andreas⁵,Weber Raphael⁵,Wilhelm Thomas⁵,Nemeth Geza⁶,Siddiqui Fahad⁷,Khan Rafiullah⁷,Garousi Vahid⁷,Sezer Sakir⁷,Morales Victor⁸

Affiliation:

1. Karlsruhe Institute of Technology,Germany

2. University of Peloponnese,Greece

3. German Aerospace Center (DLR), Institute of Flight Systems,Germany

4. AVN Innovative Technology Solutions Limited,Cyprus

5. Vector Informatik GmbH,Germany

6. Bayerische Motoren Werke Aktiengesellschaft,Germany

7. Queen's University,Belfast,UK

8. Fent Innovative Software Solutions, SL,Spain

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9774496/9774497/09774534.pdf?arnumber=9774534

Reference16 articles.

1. A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems

2. StreamLAB: Stream-based Monitoring of Cyber-Physical Systems

3. A pattern-driven security process for SOA applications;delessy;2008 Third International Conference on Availability Reliability and Security,0

4. XtratuM: a hypervisor for safety critical embedded systems;masmano;Proceedings of the 11th Real-Time Linux Workshop,0

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UNCOVER: Data-Driven Design Support through Continuous Monitoring of Security Incidents;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25

2. XANDAR: Verification & Validation Approach for Safety-critical Systems;2023 IEEE 36th International System-on-Chip Conference (SOCC);2023-09-05

3. From Embedded to AI-powered Cyberphysical Systems and Beyond;2023 30th International Conference on Mixed Design of Integrated Circuits and System (MIXDES);2023-06-29

4. Cybersecurity Engineering: Bridging the Security Gaps in Advanced Automotive Systems and ISO/SAE 21434;2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring);2023-06

5. A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems;IEEE Access;2023