elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

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

Marsing, Leonard und Dörr, Tobias und Schade, Florian und Becker, Juergen und Keramidas, Georgios und Antonpoulos, Christos und Mavropoulos, Michail und Tiganourias, Efstratios und Voros, Nikolaos und Durak, Umut und Ahlbrecht, Alexander und Zaeske, Wanja und Panagiotou, Christos und Karamidas, Dimitris und Adler, Nico und Weber, Raphael und Wilhelm, Thomas und Nemeth, Geza und Siddiqui, Fahad und Khan, Rafiullah und Garousi, Vahid und 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, 2022-03-14 - 2022-03-23, Online. doi: 10.23919/DATE54114.2022.9774534. ISBN 978-3-9819263-6-1.

[img] PDF - Nur DLR-intern zugänglich
219kB

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


elib-URL des Eintrags:https://elib.dlr.de/186672/
Dokumentart:Konferenzbeitrag (Vortrag)
Zusätzliche Informationen:XANDAR EU Project
Titel:XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Marsing, LeonardKarlsruhe Institute of TechnologyNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Dörr, TobiasKarlsruhe Institute of TechnologyNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Schade, FlorianKarlsruhe Institute of TechnologyNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Becker, JuergenKarlsruhe Institute of TechnologyNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Keramidas, GeorgiosUniversity of PeloponneseNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Antonpoulos, ChristosUniversity of PeloponneseNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Mavropoulos, MichailUniversity of PeloponneseNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Tiganourias, EfstratiosUniversity of PeloponneseNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Voros, NikolaosUniversity of PeloponneseNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Durak, UmutDLR, Institute of Flight SystemsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Ahlbrecht, AlexanderDLR, Institute of Flight SystemsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Zaeske, WanjaDLR, Institute of Flight SystemsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Panagiotou, ChristosAVN Innovative Technology Solutions LimitedNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Karamidas, DimitrisAVN Innovative Technology Solutions LimitedNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Adler, NicoVector Informatik GmbHNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Weber, RaphaelVector Informatik GmbHNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Wilhelm, ThomasVector Informatik GmbHNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Nemeth, GezaBayerische Motoren Werke AktiengesellschaftNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Siddiqui, FahadQueen's University BelfastNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Khan, RafiullahQueen's University BelfastNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Garousi, VahidQueen's University BelfastNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Morales, VictorFent Innovative Software SolutionsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2022
Erschienen in:2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022
Referierte Publikation:Nein
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Nein
DOI:10.23919/DATE54114.2022.9774534
ISBN:978-3-9819263-6-1
Status:veröffentlicht
Stichwörter:X-by-Construction, Model-based development, Real-time systems, Safety-critical systems, Hypervisors
Veranstaltungstitel:Design, Automation & Test in Europe Conference and Exhibition
Veranstaltungsort:Online
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:14 März 2022
Veranstaltungsende:23 März 2022
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Komponenten und Systeme
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L CS - Komponenten und Systeme
DLR - Teilgebiet (Projekt, Vorhaben):L - Flugzeugsysteme
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik
Institut für Flugsystemtechnik > Sichere Systeme und System Engineering
Hinterlegt von: Ahlbrecht, Alexander
Hinterlegt am:05 Sep 2022 11:29
Letzte Änderung:19 Jun 2024 15:25

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.