Name
Title | ||
|---|---|---|
XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems |
Abstract | ||
|---|---|---|
Realizing desired properties "by construction" is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a model-based X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving. |
Year | DOI | Venue |
|---|---|---|
2022 | 10.23919/DATE54114.2022.9774534 | PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022) |
Keywords | DocType | ISSN |
X-by-Construction, Model-based development, Real-time systems, Safety-critical systems, Hypervisors | Conference | 1530-1591 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
26 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Leonard Masing | 1 | 0 | 0.34 |
| Tobias Doerr | 2 | 0 | 0.34 |
| Florian Schade | 3 | 0 | 1.35 |
| Juergen Becker | 4 | 4 | 4.19 |
| Georgios Keramidas | 5 | 226 | 16.40 |
| Christos P. Antonopoulos | 6 | 0 | 0.34 |
| Michail Mavropoulos | 7 | 0 | 0.34 |
| Efstratios Tiganourias | 8 | 0 | 0.34 |
| Vasilios Kelefouras | 9 | 0 | 0.34 |
| Konstantinos Antonopoulos | 10 | 1 | 4.13 |
| Nikolaos Voros | 11 | 0 | 0.34 |
| Umut Durak | 12 | 0 | 2.03 |
| Alexander Ahlbrecht | 13 | 0 | 0.34 |
| Wanja Zaeske | 14 | 0 | 0.34 |
| Christos Panagiotou | 15 | 0 | 0.34 |
| Dimitris Karadimas | 16 | 0 | 0.34 |
| Nico Adler | 17 | 0 | 0.34 |
| Andreas Sailer | 18 | 0 | 1.69 |
| Raphael Weber | 19 | 0 | 0.34 |
| Thomas Wilhelm | 20 | 1 | 1.37 |
| Geza Nemeth | 21 | 0 | 0.34 |
| Fahad Siddiqui | 22 | 0 | 0.34 |
| Rafiullah Khan | 23 | 0 | 0.34 |
| Vahid Garousi | 24 | 0 | 0.34 |
| Sakir Sezer | 25 | 1010 | 84.22 |
| Victor Morales | 26 | 0 | 0.34 |