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.

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:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Marsing, Leonard	Karlsruhe Institute of Technology	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Dörr, Tobias	Karlsruhe Institute of Technology	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Schade, Florian	Karlsruhe Institute of Technology	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Becker, Juergen	Karlsruhe Institute of Technology	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Keramidas, Georgios	University of Peloponnese	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Antonpoulos, Christos	University of Peloponnese	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Mavropoulos, Michail	University of Peloponnese	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Tiganourias, Efstratios	University of Peloponnese	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Voros, Nikolaos	University of Peloponnese	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Durak, Umut	DLR, Institute of Flight Systems	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Ahlbrecht, Alexander	DLR, Institute of Flight Systems	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Zaeske, Wanja	DLR, Institute of Flight Systems	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Panagiotou, Christos	AVN Innovative Technology Solutions Limited	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Karamidas, Dimitris	AVN Innovative Technology Solutions Limited	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Adler, Nico	Vector Informatik GmbH	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Weber, Raphael	Vector Informatik GmbH	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Wilhelm, Thomas	Vector Informatik GmbH	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Nemeth, Geza	Bayerische Motoren Werke Aktiengesellschaft	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Siddiqui, Fahad	Queen's University Belfast	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Khan, Rafiullah	Queen's University Belfast	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Garousi, Vahid	Queen's University Belfast	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Morales, Victor	Fent Innovative Software Solutions	NICHT SPEZIFIZIERT	NICHT 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:

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