European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

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

Livrables

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

Publications

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

Auteurs: Tobias Dörr, Florian Schade, Leonard Masing, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios Kelefouras, Nikolaos Voros
Publié dans: 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2022
Éditeur: IEEE
DOI: 10.1109/isvlsi54635.2022.00081

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

Auteurs: Alexander Ahlbrecht, Umut Durak
Publié dans: 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022
Éditeur: IEEE
DOI: 10.1109/isse54508.2022.10005396

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

Auteurs: Tobias Dörr, Florian Schade, Jürgen Becker
Publié dans: Computer Safety, Reliability, and Security (SAFECOMP 2023), 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-40923-3_14

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

Auteurs: Alexander Ahlbrecht, Umut Durak
Publié dans: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 2022
Éditeur: IEEE
DOI: 10.1109/dasc55683.2022.9925883

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

Auteurs: Fahad Siddiqui, Rafiullah Khan, Sena Yengec Tasdemir, Henry Hui, et al.
Publié dans: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring), 2023
Éditeur: IEEE
DOI: 10.1109/vtc2023-spring57618.2023.10200490

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

Auteurs: Jürgen Becker, Leonard Masing, Tobias Dörr; Florian Schade; Georgios Keramidas, all
Publié dans: Proceedings Conference on Field-Programmable Logic and Application (FPL2021), 2021
Éditeur: IEEE
DOI: 10.1109/fpl53798.2021.00075

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

Auteurs: Raphael Weber, Nico Adler, Thomas Wilhelm, Andreas Sailer, Clemens Reichmann
Publié dans: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Éditeur: IEEE
DOI: 10.1109/socc56010.2022.9908127

A Runtime Security Monitoring Architecture for Embedded Hypervisors

Auteurs: Henry Hui, Kieran McLaughlin, Fahad Siddiqui, Sakir Sezer, et al.
Publié dans: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Éditeur: IEEE
DOI: 10.1109/socc58585.2023.10256735

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

Auteurs: Fahad Siddiqui, Rafiullah Khan, Sakir Sezer
Publié dans: 2021 Sixth International Conference on Fog and Mobile Edge Computing (FMEC), 2021
Éditeur: IEEE
DOI: 10.1109/fmec54266.2021.9732568

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

Auteurs: Fahad Siddiqui, Rafiullah Khan, Sakir Sezer, Kieran McLaughlin, et al.
Publié dans: 2022 IEEE 95th Vehicular Technology Conference (VTC2022-Spring), 2022
Éditeur: IEEE
DOI: 10.1109/vtc2022-spring54318.2022.9860859

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

Auteurs: Florian Schade, Tobias Dörr, Alexander Ahlbrecht, Vincent Janson, Umut Durak, Jürgen Becker
Publié dans: Proceedings of Euromicro DSD 2023 (in press), 2023
Éditeur: IEEE

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

Auteurs: Konstantinos Antonopoulos, Dimitrios Ringas, Eleni Christopoulou, Georgios Keramidas, Christos Antonopoulos, Nikolaos Voros
Publié dans: Proceedings International Conference on Cloud Networking (CloudNet 2022), 2022
Éditeur: IEEE
DOI: 10.1109/cloudnet55617.2022.9978899

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

Auteurs: Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui, Raphael Weber, et al.
Publié dans: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Éditeur: IEEE
DOI: 10.1109/socc58585.2023.10257177

An analytical model for loop tiling transformation

Auteurs: Vasilios Kelefouras, Karim Djemame, Georgios Keramidas, Nikolaos Voros
Publié dans: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS 2021), 2021
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-04580-6_7

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

Auteurs: Sena Yengec-Tasdemir, Fahad Siddiqui, Sakir Sezer, Henry Hui, Kieran McLaughlin and Balmukund Sonigara
Publié dans: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Éditeur: IEEE
DOI: 10.1109/socc58585.2023.10256708

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

Auteurs: Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, et al.
Publié dans: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022
Éditeur: IEEE
DOI: 10.23919/date54114.2022.9774534

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

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

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

Auteurs: Fahad Siddiqui, Alexander Ahlbrecht, Rafiullah Khan, Sena Yengec Tasdemir, et al.
Publié dans: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 2023
Éditeur: IEEE
DOI: 10.1109/dasc58513.2023.10311187

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

Auteurs: 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
Publié dans: FPL 2021, Numéro 1, 2021
Éditeur: IEEE
DOI: 10.1109/fpl53798.2021.00075

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

Auteurs: Florian Schade, Tobias Dörr, Jürgen Becker
Publié dans: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Éditeur: IEEE
DOI: 10.1109/socc56010.2022.9908090

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

Auteurs: Tobias Dörr, Florian Schade, Juergen Becker, Georgios Keramidas, et al.
Publié dans: Proceedings of DATE 2024 (in press), 2024
Éditeur: IEEE

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

Auteurs: Erjola Lalo, Andreas Sailer, Jürgen Mottok, Christian Siemers
Publié dans: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Éditeur: IEEE
DOI: 10.1109/socc56010.2022.9908103

A Methodology for Efficient Tile Size Selection for Affine Loop Kernels

Auteurs: Vasilios Kelefouras; Karim Djemame; Georgios Keramidas; Nikolaos Voros
Publié dans: International Journal of Parallel Programming, Numéro Volume 50, 2022, ISSN 1573-7640
Éditeur: Springer
DOI: 10.1007/s10766-022-00734-5

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible