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, 2022-03-14 - 2022-03-23, Online. doi: 10.23919/DATE54114.2022.9774534. ISBN 978-3-9819263-6-1.
|
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: |
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Event Start Date: | 14 March 2022 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Event End Date: | 23 March 2022 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 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: | 19 Jun 2024 15:25 |
Repository Staff Only: item control page