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

Projektinformationen

XANDAR

ID Finanzhilfevereinbarung: 957210

DOI

10.3030/957210

Projekt abgeschlossen

EK-Unterschriftsdatum 13 August 2020

Startdatum 1 Januar 2021

Enddatum 31 Dezember 2023

Finanziert unter

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

Gesamtkosten

€ 4 962 985,00

EU-Beitrag

€ 4 962 985,00

Koordiniert durch

KARLSRUHER INSTITUT FUER TECHNOLOGIE
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

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

Veröffentlichungen

Conference proceedings (21)

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

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

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

Autoren: Alexander Ahlbrecht, Umut Durak
Veröffentlicht in: 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022
Herausgeber: IEEE
DOI: 10.1109/isse54508.2022.10005396

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

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

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

Autoren: Alexander Ahlbrecht, Umut Durak
Veröffentlicht in: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 2022
Herausgeber: IEEE
DOI: 10.1109/dasc55683.2022.9925883

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

Autoren: Fahad Siddiqui, Rafiullah Khan, Sena Yengec Tasdemir, Henry Hui, et al.
Veröffentlicht in: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring), 2023
Herausgeber: IEEE
DOI: 10.1109/vtc2023-spring57618.2023.10200490

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

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

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

Autoren: Raphael Weber, Nico Adler, Thomas Wilhelm, Andreas Sailer, Clemens Reichmann
Veröffentlicht in: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Herausgeber: IEEE
DOI: 10.1109/socc56010.2022.9908127

A Runtime Security Monitoring Architecture for Embedded Hypervisors

Autoren: Henry Hui, Kieran McLaughlin, Fahad Siddiqui, Sakir Sezer, et al.
Veröffentlicht in: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Herausgeber: IEEE
DOI: 10.1109/socc58585.2023.10256735

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

Autoren: Fahad Siddiqui, Rafiullah Khan, Sakir Sezer
Veröffentlicht in: 2021 Sixth International Conference on Fog and Mobile Edge Computing (FMEC), 2021
Herausgeber: IEEE
DOI: 10.1109/fmec54266.2021.9732568

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

Autoren: Fahad Siddiqui, Rafiullah Khan, Sakir Sezer, Kieran McLaughlin, et al.
Veröffentlicht in: 2022 IEEE 95th Vehicular Technology Conference (VTC2022-Spring), 2022
Herausgeber: IEEE
DOI: 10.1109/vtc2022-spring54318.2022.9860859

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

Autoren: Florian Schade, Tobias Dörr, Alexander Ahlbrecht, Vincent Janson, Umut Durak, Jürgen Becker
Veröffentlicht in: Proceedings of Euromicro DSD 2023 (in press), 2023
Herausgeber: IEEE

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

Autoren: Konstantinos Antonopoulos, Dimitrios Ringas, Eleni Christopoulou, Georgios Keramidas, Christos Antonopoulos, Nikolaos Voros
Veröffentlicht in: Proceedings International Conference on Cloud Networking (CloudNet 2022), 2022
Herausgeber: IEEE
DOI: 10.1109/cloudnet55617.2022.9978899

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

Autoren: Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui, Raphael Weber, et al.
Veröffentlicht in: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Herausgeber: IEEE
DOI: 10.1109/socc58585.2023.10257177

An analytical model for loop tiling transformation

Autoren: Vasilios Kelefouras, Karim Djemame, Georgios Keramidas, Nikolaos Voros
Veröffentlicht in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS 2021), 2021
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-04580-6_7

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

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

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

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

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

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

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

Autoren: Fahad Siddiqui, Alexander Ahlbrecht, Rafiullah Khan, Sena Yengec Tasdemir, et al.
Veröffentlicht in: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 2023
Herausgeber: IEEE
DOI: 10.1109/dasc58513.2023.10311187

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

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

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

Autoren: Tobias Dörr, Florian Schade, Juergen Becker, Georgios Keramidas, et al.
Veröffentlicht in: Proceedings of DATE 2024 (in press), 2024
Herausgeber: IEEE

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

Autoren: Erjola Lalo, Andreas Sailer, Jürgen Mottok, Christian Siemers
Veröffentlicht in: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Herausgeber: IEEE
DOI: 10.1109/socc56010.2022.9908103

Peer reviewed articles (1)

A Methodology for Efficient Tile Size Selection for Affine Loop Kernels

Autoren: Vasilios Kelefouras; Karim Djemame; Georgios Keramidas; Nikolaos Voros
Veröffentlicht in: International Journal of Parallel Programming, Ausgabe Volume 50, 2022, ISSN 1573-7640
Herausgeber: Springer
DOI: 10.1007/s10766-022-00734-5