CORDIS - Forschungsergebnisse der EU
CORDIS

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

Leistungen

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

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

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

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

Autoren: Jürgen Becker; Leonard Masing; Tobias Dorr; Florian Schade; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios Kelefouras; Konstantinos Antonopoulos; Nikolaos S. Voros; Umut Durak; Alexander Ahlbrecht; Wanja Zaeske; Christos Panagiotou; Dimitris Karadimas; Nico Adler; Andreas Sailer; Raphael Weber; Thomas Wilhelm; Florian Oszwald; Dominik Reinhardt
Veröffentlicht in: FPL 2021, Ausgabe 1, 2021
Herausgeber: IEEE
DOI: 10.1109/fpl53798.2021.00075

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

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor