elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

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

Marsing, Leonard and Dörr, Tobias and Schade, Florian and Becker, Juergen and Keramidas, Georgios and Antonpoulos, Christos and Mavropoulos, Michail and Tiganourias, Efstratios and Voros, Nikolaos and Durak, Umut and Ahlbrecht, Alexander and Zaeske, Wanja and Panagiotou, Christos and Karamidas, Dimitris and Adler, Nico and Weber, Raphael and Wilhelm, Thomas and Nemeth, Geza and Siddiqui, Fahad and Khan, Rafiullah and Garousi, Vahid and Morales, Victor (2022) XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. In: 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Design, Automation & Test in Europe Conference and Exhibition, Online. doi: 10.23919/DATE54114.2022.9774534. ISBN 978-3-9819263-6-1.

[img] PDF - Only accessible within DLR
219kB

Official URL: https://ieeexplore.ieee.org/document/9774534


Item URL in elib:https://elib.dlr.de/186672/
Document Type:Conference or Workshop Item (Speech)
Additional Information:XANDAR EU Project
Title:XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Marsing, LeonardKarlsruhe Institute of TechnologyUNSPECIFIEDUNSPECIFIED
Dörr, TobiasKarlsruhe Institute of TechnologyUNSPECIFIEDUNSPECIFIED
Schade, FlorianKarlsruhe Institute of TechnologyUNSPECIFIEDUNSPECIFIED
Becker, JuergenKarlsruhe Institute of TechnologyUNSPECIFIEDUNSPECIFIED
Keramidas, GeorgiosUniversity of PeloponneseUNSPECIFIEDUNSPECIFIED
Antonpoulos, ChristosUniversity of PeloponneseUNSPECIFIEDUNSPECIFIED
Mavropoulos, MichailUniversity of PeloponneseUNSPECIFIEDUNSPECIFIED
Tiganourias, EfstratiosUniversity of PeloponneseUNSPECIFIEDUNSPECIFIED
Voros, NikolaosUniversity of PeloponneseUNSPECIFIEDUNSPECIFIED
Durak, UmutDLR, Institute of Flight SystemsUNSPECIFIEDUNSPECIFIED
Ahlbrecht, AlexanderDLR, Institute of Flight SystemsUNSPECIFIEDUNSPECIFIED
Zaeske, WanjaDLR, Institute of Flight SystemsUNSPECIFIEDUNSPECIFIED
Panagiotou, ChristosAVN Innovative Technology Solutions LimitedUNSPECIFIEDUNSPECIFIED
Karamidas, DimitrisAVN Innovative Technology Solutions LimitedUNSPECIFIEDUNSPECIFIED
Adler, NicoVector Informatik GmbHUNSPECIFIEDUNSPECIFIED
Weber, RaphaelVector Informatik GmbHUNSPECIFIEDUNSPECIFIED
Wilhelm, ThomasVector Informatik GmbHUNSPECIFIEDUNSPECIFIED
Nemeth, GezaBayerische Motoren Werke AktiengesellschaftUNSPECIFIEDUNSPECIFIED
Siddiqui, FahadQueen's University BelfastUNSPECIFIEDUNSPECIFIED
Khan, RafiullahQueen's University BelfastUNSPECIFIEDUNSPECIFIED
Garousi, VahidQueen's University BelfastUNSPECIFIEDUNSPECIFIED
Morales, VictorFent Innovative Software SolutionsUNSPECIFIEDUNSPECIFIED
Date:2022
Journal or Publication Title:2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
DOI:10.23919/DATE54114.2022.9774534
ISBN:978-3-9819263-6-1
Status:Published
Keywords:X-by-Construction, Model-based development, Real-time systems, Safety-critical systems, Hypervisors
Event Title:Design, Automation & Test in Europe Conference and Exhibition
Event Location:Online
Event Type:international Conference
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:Components and Systems
DLR - Research area:Aeronautics
DLR - Program:L CS - Components and Systems
DLR - Research theme (Project):L - Aircraft Systems
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems
Institute of Flight Systems > Safety Critical Systems&Systems Engineering
Deposited By: Ahlbrecht, Alexander
Deposited On:05 Sep 2022 11:29
Last Modified:20 Nov 2023 10:11

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.