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

Leonard Masing; Tobias Dorr; Florian Schade; Juergen Becker; Georgios Keramidas; CP Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios Kelefouras; K Antonopoulos; Nikolaos Voros; Umut Durak; Alexander Ahlbrecht; Wanja Zaeske; Christos Panagiotou; Dimitris Karadimas; Nico Adler; Andreas Sailer; Raphael Weber; Thomas Wilhelm; Geza Nemeth; Fahad Siddiqui; Rafiullah Khan; Vahid Garousi; Sakir Sezer; Victor Morales

doi:10.23919/date54114.2022.9774534

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

Leonard Masing
, Tobias Dorr
, Florian Schade
, Juergen Becker
, Georgios Keramidas
, CP Antonopoulos
, Michail Mavropoulos
, Efstratios Tiganourias
, Vasilios Kelefouras
, K Antonopoulos
, Nikolaos Voros
, Umut Durak
, Alexander Ahlbrecht
, Wanja Zaeske
, Christos Panagiotou
, Dimitris Karadimas
, Nico Adler
, Andreas Sailer
, Raphael Weber
, Thomas Wilhelm

Geza Nemeth, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales

School of Engineering, Computing and Mathematics

Research output: Contribution to journal › Conference proceedings published in a journal › peer-review

16 Downloads (Pure)

Original language	English
Number of pages	0
Journal	2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Volume	0
Issue number	0
DOIs	https://doi.org/10.23919/date54114.2022.9774534
Publication status	Published - 14 Mar 2022
Event	2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Duration: 14 Mar 2022 → 23 Mar 2022

Access to Document

10.23919/date54114.2022.9774534

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

Cite this

Masing, L., Dorr, T., Schade, F., Becker, J., Keramidas, G., Antonopoulos, CP., Mavropoulos, M., Tiganourias, E., Kelefouras, V., Antonopoulos, K., Voros, N., Durak, U., Ahlbrecht, A., Zaeske, W., Panagiotou, C., Karadimas, D., Adler, N., Sailer, A., Weber, R., ... Morales, V. (2022). XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 0(0). https://doi.org/10.23919/date54114.2022.9774534

@article{00a56542a62b4f4596657e40f78b34be,

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

author = "Leonard Masing and Tobias Dorr and Florian Schade and Juergen Becker and Georgios Keramidas and CP Antonopoulos and Michail Mavropoulos and Efstratios Tiganourias and Vasilios Kelefouras and K Antonopoulos and Nikolaos Voros and Umut Durak and Alexander Ahlbrecht and Wanja Zaeske and Christos Panagiotou and Dimitris Karadimas and Nico Adler and Andreas Sailer and Raphael Weber and Thomas Wilhelm and Geza Nemeth and Fahad Siddiqui and Rafiullah Khan and Vahid Garousi and Sakir Sezer and Victor Morales",

year = "2022",

month = mar,

day = "14",

doi = "10.23919/date54114.2022.9774534",

language = "English",

volume = "0",

journal = "2022 Design, Automation \& Test in Europe Conference \& Exhibition (DATE)",

number = "0",

note = "2022 Design, Automation \& Test in Europe Conference \& Exhibition (DATE) ; Conference date: 14-03-2022 Through 23-03-2022",

}

Masing, L, Dorr, T, Schade, F, Becker, J, Keramidas, G, Antonopoulos, CP, Mavropoulos, M, Tiganourias, E, Kelefouras, V, Antonopoulos, K, Voros, N, Durak, U, Ahlbrecht, A, Zaeske, W, Panagiotou, C, Karadimas, D, Adler, N, Sailer, A, Weber, R, Wilhelm, T, Nemeth, G, Siddiqui, F, Khan, R, Garousi, V, Sezer, S & Morales, V 2022, 'XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems', 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), vol. 0, no. 0. https://doi.org/10.23919/date54114.2022.9774534

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. / Masing, Leonard; Dorr, Tobias; Schade, Florian et al.
In: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Vol. 0, No. 0, 14.03.2022.

Research output: Contribution to journal › Conference proceedings published in a journal › peer-review

TY - JOUR

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

AU - Masing, Leonard

AU - Dorr, Tobias

AU - Schade, Florian

AU - Becker, Juergen

AU - Keramidas, Georgios

AU - Antonopoulos, CP

AU - Mavropoulos, Michail

AU - Tiganourias, Efstratios

AU - Kelefouras, Vasilios

AU - Antonopoulos, K

AU - Voros, Nikolaos

AU - Durak, Umut

AU - Ahlbrecht, Alexander

AU - Zaeske, Wanja

AU - Panagiotou, Christos

AU - Karadimas, Dimitris

AU - Adler, Nico

AU - Sailer, Andreas

AU - Weber, Raphael

AU - Wilhelm, Thomas

AU - Nemeth, Geza

AU - Siddiqui, Fahad

AU - Khan, Rafiullah

AU - Garousi, Vahid

AU - Sezer, Sakir

AU - Morales, Victor

PY - 2022/3/14

Y1 - 2022/3/14

UR - https://pearl.plymouth.ac.uk/secam-research/1298/

U2 - 10.23919/date54114.2022.9774534

DO - 10.23919/date54114.2022.9774534

M3 - Conference proceedings published in a journal

VL - 0

JO - 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

JF - 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

IS - 0

T2 - 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Y2 - 14 March 2022 through 23 March 2022

ER -

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

Access to Document

Other files and links

Cite this