Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Software System Specification for Trustworthy and Secure Computing Platforms (se abrirá en una nueva ventana)

Report about the outcome and achievements of Task 41

Platform Health and Security Monitoring System for Hypervisor XtratuM (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

Programming Model Specification (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

Report about the outcome and achievements of Task 4.5.

Toolchain V&V Report (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

Modelling Requirements for System's and Interface Specifications (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

Publicaciones

Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR (se abrirá en una nueva ventana)

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

Model-Based STPA: Towards Safety-Guided Design with Formalization (se abrirá en una nueva ventana)

Autores: Alexander Ahlbrecht, Umut Durak
Publicado en: 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022
Editor: IEEE
DOI: 10.1109/isse54508.2022.10005396

Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems (se abrirá en una nueva ventana)

Autores: Tobias Dörr, Florian Schade, Jürgen Becker
Publicado en: Computer Safety, Reliability, and Security (SAFECOMP 2023), 2023
Editor: Springer
DOI: 10.1007/978-3-031-40923-3_14

Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization (se abrirá en una nueva ventana)

Autores: Alexander Ahlbrecht, Umut Durak
Publicado en: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 2022
Editor: IEEE
DOI: 10.1109/dasc55683.2022.9925883

Cybersecurity Engineering: Bridging the Security Gaps in Advanced Automotive Systems and ISO/SAE 21434 (se abrirá en una nueva ventana)

Autores: Fahad Siddiqui, Rafiullah Khan, Sena Yengec Tasdemir, Henry Hui, et al.
Publicado en: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring), 2023
Editor: IEEE
DOI: 10.1109/vtc2023-spring57618.2023.10200490

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems (se abrirá en una nueva ventana)

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

Towards Automating a Software-Centered Development Process that considers Timing Properties (se abrirá en una nueva ventana)

Autores: Raphael Weber, Nico Adler, Thomas Wilhelm, Andreas Sailer, Clemens Reichmann
Publicado en: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Editor: IEEE
DOI: 10.1109/socc56010.2022.9908127

A Runtime Security Monitoring Architecture for Embedded Hypervisors (se abrirá en una nueva ventana)

Autores: Henry Hui, Kieran McLaughlin, Fahad Siddiqui, Sakir Sezer, et al.
Publicado en: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Editor: IEEE
DOI: 10.1109/socc58585.2023.10256735

Bird’s-eye view on the Automotive Cybersecurity Landscape & Challenges in adopting AI/ML (se abrirá en una nueva ventana)

Autores: Fahad Siddiqui, Rafiullah Khan, Sakir Sezer
Publicado en: 2021 Sixth International Conference on Fog and Mobile Edge Computing (FMEC), 2021
Editor: IEEE
DOI: 10.1109/fmec54266.2021.9732568

XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems (se abrirá en una nueva ventana)

Autores: Fahad Siddiqui, Rafiullah Khan, Sakir Sezer, Kieran McLaughlin, et al.
Publicado en: 2022 IEEE 95th Vehicular Technology Conference (VTC2022-Spring), 2022
Editor: IEEE
DOI: 10.1109/vtc2022-spring54318.2022.9860859

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

Autores: Florian Schade, Tobias Dörr, Alexander Ahlbrecht, Vincent Janson, Umut Durak, Jürgen Becker
Publicado en: Proceedings of Euromicro DSD 2023 (in press), 2023
Editor: IEEE

NS3SaaS: Cloud-based “Network Simulator as a Service” with customisable resource scheduling (se abrirá en una nueva ventana)

Autores: Konstantinos Antonopoulos, Dimitrios Ringas, Eleni Christopoulou, Georgios Keramidas, Christos Antonopoulos, Nikolaos Voros
Publicado en: Proceedings International Conference on Cloud Networking (CloudNet 2022), 2022
Editor: IEEE
DOI: 10.1109/cloudnet55617.2022.9978899

XANDAR: V&V Approach for Safety-Critical Systems in Automotive and Avionics Use Cases (se abrirá en una nueva ventana)

Autores: Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui, Raphael Weber, et al.
Publicado en: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Editor: IEEE
DOI: 10.1109/socc58585.2023.10257177

An analytical model for loop tiling transformation (se abrirá en una nueva ventana)

Autores: Vasilios Kelefouras, Karim Djemame, Georgios Keramidas, Nikolaos Voros
Publicado en: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS 2021), 2021
Editor: Springer, Cham
DOI: 10.1007/978-3-031-04580-6_7

A Comparative Analysis of Security Patterns for Enhanced Security in Safety-Critical Systems (se abrirá en una nueva ventana)

Autores: Sena Yengec-Tasdemir, Fahad Siddiqui, Sakir Sezer, Henry Hui, Kieran McLaughlin and Balmukund Sonigara
Publicado en: 2023 IEEE 36th International System-on-Chip Conference (SOCC), 2023
Editor: IEEE
DOI: 10.1109/socc58585.2023.10256708

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems (se abrirá en una nueva ventana)

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

A Behavior Specification and Simulation Methodology for Embedded Real-Time Software (se abrirá en una nueva ventana)

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

Cybersecurity Engineering: Bridging the Security Gaps in Avionic Architectures and DO-326A/ED-202A (se abrirá en una nueva ventana)

Autores: Fahad Siddiqui, Alexander Ahlbrecht, Rafiullah Khan, Sena Yengec Tasdemir, et al.
Publicado en: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 2023
Editor: IEEE
DOI: 10.1109/dasc58513.2023.10311187

Hypervisor-Based Target Deployment Strategies for Time Predictability in Model-Based Development (se abrirá en una nueva ventana)

Autores: Florian Schade, Tobias Dörr, Jürgen Becker
Publicado en: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Editor: IEEE
DOI: 10.1109/socc56010.2022.9908090

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

Autores: Tobias Dörr, Florian Schade, Juergen Becker, Georgios Keramidas, et al.
Publicado en: Proceedings of DATE 2024 (in press), 2024
Editor: IEEE

Overhead-Aware Schedule Synthesis for Logical Execution Time (LET) in Automotive Systems (se abrirá en una nueva ventana)

Autores: Erjola Lalo, Andreas Sailer, Jürgen Mottok, Christian Siemers
Publicado en: 2022 IEEE 35th International System-on-Chip Conference (SOCC), 2022
Editor: IEEE
DOI: 10.1109/socc56010.2022.9908103

A Methodology for Efficient Tile Size Selection for Affine Loop Kernels (se abrirá en una nueva ventana)

Autores: Vasilios Kelefouras; Karim Djemame; Georgios Keramidas; Nikolaos Voros
Publicado en: International Journal of Parallel Programming, Edición Volume 50, 2022, ISSN 1573-7640
Editor: Springer
DOI: 10.1007/s10766-022-00734-5

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0