XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
dc.contributor.author | Masing, L | |
dc.contributor.author | Dorr, T | |
dc.contributor.author | Schade, F | |
dc.contributor.author | Becker, J | |
dc.contributor.author | Keramidas, G | |
dc.contributor.author | Antonopoulos, CP | |
dc.contributor.author | Mavropoulos, M | |
dc.contributor.author | Tiganourias, E | |
dc.contributor.author | Kelefouras, Vasileios | |
dc.contributor.author | Antonopoulos, K | |
dc.contributor.author | Voros, N | |
dc.contributor.author | Durak, U | |
dc.contributor.author | Ahlbrecht, A | |
dc.contributor.author | Zaeske, W | |
dc.contributor.author | Panagiotou, C | |
dc.contributor.author | Karadimas, D | |
dc.contributor.author | Adler, N | |
dc.contributor.author | Sailer, A | |
dc.contributor.author | Weber, R | |
dc.contributor.author | Wilhelm, T | |
dc.contributor.author | Nemeth, G | |
dc.contributor.author | Siddiqui, F | |
dc.contributor.author | Khan, R | |
dc.contributor.author | Garousi, V | |
dc.contributor.author | Sezer, S | |
dc.contributor.author | Morales, V | |
dc.date.accessioned | 2022-05-26T07:14:11Z | |
dc.date.available | 2022-05-26T07:14:11Z | |
dc.date.issued | 2022-03-14 | |
dc.identifier.isbn | 9783981926361 | |
dc.identifier.uri | http://hdl.handle.net/10026.1/19266 | |
dc.description.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 modelbased 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. | |
dc.format.extent | 814-818 | |
dc.language.iso | en | |
dc.publisher | IEEE | |
dc.title | XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems | |
dc.type | conference | |
dc.type | Conference Proceeding | |
plymouth.date-start | 2022-03-14 | |
plymouth.date-finish | 2022-03-23 | |
plymouth.volume | 00 | |
plymouth.conference-name | 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) | |
plymouth.publication-status | Published | |
plymouth.journal | 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) | |
dc.identifier.doi | 10.23919/date54114.2022.9774534 | |
plymouth.organisational-group | /Plymouth | |
plymouth.organisational-group | /Plymouth/Faculty of Science and Engineering | |
plymouth.organisational-group | /Plymouth/Faculty of Science and Engineering/School of Engineering, Computing and Mathematics | |
plymouth.organisational-group | /Plymouth/REF 2021 Researchers by UoA | |
plymouth.organisational-group | /Plymouth/REF 2021 Researchers by UoA/UoA11 Computer Science and Informatics | |
plymouth.organisational-group | /Plymouth/Users by role | |
plymouth.organisational-group | /Plymouth/Users by role/Academics | |
dc.rights.embargoperiod | Not known | |
rioxxterms.versionofrecord | 10.23919/date54114.2022.9774534 | |
rioxxterms.licenseref.uri | http://www.rioxx.net/licenses/all-rights-reserved | |
rioxxterms.type | Conference Paper/Proceeding/Abstract |