X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems

Project Information

XANDAR

Grant agreement ID: 957210

DOI

10.3030/957210

Project closed

EC signature date 13 August 2020

Start date 1 January 2021

End date 31 December 2023

Funded under

• INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Total cost

€ 4 962 985,00

EU contribution

€ 4 962 985,00

Coordinated by

KARLSRUHER INSTITUT FUER TECHNOLOGIE
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Documents, reports (10)

Software System Specification for Trustworthy and Secure Computing Platforms

Report about the outcome and achievements of Task 41

Platform Health and Security Monitoring System for Hypervisor XtratuM

The deliverable provides detailed design and implementation of hardware/software run-time monitoring mechanisms that would detect and mitigate safety failures and their effects.

Test Strategy and V&V Specification

This report will specify the overall VV strategies methods and tools that will be researched and developed in WP5

Programming Model Specification

This report will specify the programming model which is targeted by the code generation components of the XANDAR design flow

Evaluation Report of XANDAR toolchain

Evaluation report based on qualitative and quantitative metrics defined in D1.1 and including the toolchain improvements of the use case feedback.

Run-time executives and Hypervisor

Report about the outcome and achievements of Task 4.5.

Toolchain V&V Report

This deliverable will provide a detailed documentation of the V&V of the XANDAR toolchain itself by applying the meta-V&V techniques. This deliverable will serve as input to the final end-users' toolchain evaluation report in D1.4 (M36).

Run-time Security Monitoring

This deliverable provides the details of design and implementation of hardware-based run-time security monitoring mechanisms that would detect and mitigate security failures and their effects caused by the non-deterministic nature of the application use case.

Public Final Activity Report

Final periodic report summarizing all activities and project’s achievements.

Modelling Requirements for System's and Interface Specifications

This deliverable specifies the essential requirements to accurately model the systems architecture its constraints and the interfaces to other tools

Other (1)

Setup and Maintenance of the XANDAR website

Launch of the XANDAR website with regular updates of its contents There will be public and private sections of the website the latter only accessible by the partners

Publications

Conference proceedings (21)

Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR

Author(s): Tobias Dörr, Florian Schade, Leonard Masing, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios Kelefouras, Nikolaos Voros
Published in: 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2022
Publisher: IEEE
DOI: 10.1109/isvlsi54635.2022.00081

Model-Based STPA: Towards Safety-Guided Design with Formalization

Author(s): Alexander Ahlbrecht, Umut Durak
Published in: 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022
Publisher: IEEE
DOI: 10.1109/isse54508.2022.10005396

Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems

Author(s): Tobias Dörr, Florian Schade, Jürgen Becker
Published in: Computer Safety, Reliability, and Security (SAFECOMP 2023), 2023
Publisher: Springer
DOI: 10.1007/978-3-031-40923-3_14

Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization

Author(s): Alexander Ahlbrecht, Umut Durak
Published in: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 2022
Publisher: IEEE
DOI: 10.1109/dasc55683.2022.9925883

Cybersecurity Engineering: Bridging the Security Gaps in Advanced Automotive Systems and ISO/SAE 21434

Author(s): Fahad Siddiqui, Rafiullah Khan, Sena Yengec Tasdemir, Henry Hui, et al.
Published in: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring), 2023
Publisher: IEEE
DOI: 10.1109/vtc2023-spring57618.2023.10200490

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems

Author(s): Jürgen Becker, Leonard Masing, Tobias Dörr; Florian Schade; Georgios Keramidas, all
Published in: Proceedings Conference on Field-Programmable Logic and Application (FPL2021), 2021
Publisher: IEEE
DOI: 10.1109/fpl53798.2021.00075

Towards Automating a Software-Centered Development Process that considers Timing Properties

Author(s): Raphael Weber, Nico Adler, Thomas Wilhelm, Andreas Sailer, Clemens Reichmann
Published in: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Publisher: IEEE
DOI: 10.1109/socc56010.2022.9908127

A Runtime Security Monitoring Architecture for Embedded Hypervisors

Author(s): Henry Hui, Kieran McLaughlin, Fahad Siddiqui, Sakir Sezer, et al.
Published in: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Publisher: IEEE
DOI: 10.1109/socc58585.2023.10256735

Bird’s-eye view on the Automotive Cybersecurity Landscape & Challenges in adopting AI/ML

Author(s): Fahad Siddiqui, Rafiullah Khan, Sakir Sezer
Published in: 2021 Sixth International Conference on Fog and Mobile Edge Computing (FMEC), 2021
Publisher: IEEE
DOI: 10.1109/fmec54266.2021.9732568

XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems

Author(s): Fahad Siddiqui, Rafiullah Khan, Sakir Sezer, Kieran McLaughlin, et al.
Published in: 2022 IEEE 95th Vehicular Technology Conference (VTC2022-Spring), 2022
Publisher: IEEE
DOI: 10.1109/vtc2022-spring54318.2022.9860859

Automatic Deployment of Embedded Real-time Software Systems to Hypervisor-managed Platforms

Author(s): Florian Schade, Tobias Dörr, Alexander Ahlbrecht, Vincent Janson, Umut Durak, Jürgen Becker
Published in: Proceedings of Euromicro DSD 2023 (in press), 2023
Publisher: IEEE

NS3SaaS: Cloud-based “Network Simulator as a Service” with customisable resource scheduling

Author(s): Konstantinos Antonopoulos, Dimitrios Ringas, Eleni Christopoulou, Georgios Keramidas, Christos Antonopoulos, Nikolaos Voros
Published in: Proceedings International Conference on Cloud Networking (CloudNet 2022), 2022
Publisher: IEEE
DOI: 10.1109/cloudnet55617.2022.9978899

XANDAR: V&V Approach for Safety-Critical Systems in Automotive and Avionics Use Cases

Author(s): Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui, Raphael Weber, et al.
Published in: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Publisher: IEEE
DOI: 10.1109/socc58585.2023.10257177

An analytical model for loop tiling transformation

Author(s): Vasilios Kelefouras, Karim Djemame, Georgios Keramidas, Nikolaos Voros
Published in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS 2021), 2021
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-04580-6_7

A Comparative Analysis of Security Patterns for Enhanced Security in Safety-Critical Systems

Author(s): Sena Yengec-Tasdemir, Fahad Siddiqui, Sakir Sezer, Henry Hui, Kieran McLaughlin and Balmukund Sonigara
Published in: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Publisher: IEEE
DOI: 10.1109/socc58585.2023.10256708

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

Author(s): Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, et al.
Published in: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022
Publisher: IEEE
DOI: 10.23919/date54114.2022.9774534

A Behavior Specification and Simulation Methodology for Embedded Real-Time Software

Author(s): Tobias Dörr, Florian Schade, Alexander Ahlbrecht, Wanja Zaeske, Leonard Masing, Umut Durak, Juergen Becker
Published in: 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2022
Publisher: IEEE
DOI: 10.1109/ds-rt55542.2022.9932069

Cybersecurity Engineering: Bridging the Security Gaps in Avionic Architectures and DO-326A/ED-202A

Author(s): Fahad Siddiqui, Alexander Ahlbrecht, Rafiullah Khan, Sena Yengec Tasdemir, et al.
Published in: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 2023
Publisher: IEEE
DOI: 10.1109/dasc58513.2023.10311187

Hypervisor-Based Target Deployment Strategies for Time Predictability in Model-Based Development

Author(s): Florian Schade, Tobias Dörr, Jürgen Becker
Published in: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Publisher: IEEE
DOI: 10.1109/socc56010.2022.9908090

XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems

Author(s): Tobias Dörr, Florian Schade, Juergen Becker, Georgios Keramidas, et al.
Published in: Proceedings of DATE 2024 (in press), 2024
Publisher: IEEE

Overhead-Aware Schedule Synthesis for Logical Execution Time (LET) in Automotive Systems

Author(s): Erjola Lalo, Andreas Sailer, Jürgen Mottok, Christian Siemers
Published in: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Publisher: IEEE
DOI: 10.1109/socc56010.2022.9908103

Peer reviewed articles (1)

A Methodology for Efficient Tile Size Selection for Affine Loop Kernels

Author(s): Vasilios Kelefouras; Karim Djemame; Georgios Keramidas; Nikolaos Voros
Published in: International Journal of Parallel Programming, Issue Volume 50, 2022, ISSN 1573-7640
Publisher: Springer
DOI: 10.1007/s10766-022-00734-5