XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems

Jurgen Becker; Leonard Masing; Tobias Dorr; Florian Schade; 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; Florian Oszwald; Dominik Reinhardt; Mohamad Chamas; Adnan Bekan; Graham Smethurst; Fahad Siddiqui; Rafiullah Khan; Vahid Garousi; Sakir Sezer; Victor Morales

doi:10.1109/fpl53798.2021.00075

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems

Jurgen Becker
, Leonard Masing
, Tobias Dorr
, Florian Schade
, 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

Florian Oszwald, Dominik Reinhardt, Mohamad Chamas, Adnan Bekan, Graham Smethurst, 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

Original language	English
Number of pages	0
Journal	2021 31st International Conference on Field-Programmable Logic and Applications (FPL)
Volume	0
Issue number	0
DOIs	https://doi.org/10.1109/fpl53798.2021.00075
Publication status	Published - Aug 2021
Event	2021 31st International Conference on Field-Programmable Logic and Applications (FPL) - Duration: 30 Aug 2021 → 3 Sept 2021

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/fpl53798.2021.00075

Cite this

Becker, J., Masing, L., Dorr, T., Schade, F., 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. (2021). XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems. 2021 31st International Conference on Field-Programmable Logic and Applications (FPL), 0(0). https://doi.org/10.1109/fpl53798.2021.00075

@article{85333741ff0c4db0a97dce2594971c67,

title = "XANDAR: X-by-Construction Design framework for Engineering Autonomous \& Distributed Real-time Embedded Software Systems",

author = "Jurgen Becker and Leonard Masing and Tobias Dorr and Florian Schade 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 Florian Oszwald and Dominik Reinhardt and Mohamad Chamas and Adnan Bekan and Graham Smethurst and Fahad Siddiqui and Rafiullah Khan and Vahid Garousi and Sakir Sezer and Victor Morales",

year = "2021",

month = aug,

doi = "10.1109/fpl53798.2021.00075",

language = "English",

volume = "0",

journal = "2021 31st International Conference on Field-Programmable Logic and Applications (FPL)",

number = "0",

note = "2021 31st International Conference on Field-Programmable Logic and Applications (FPL) ; Conference date: 30-08-2021 Through 03-09-2021",

}

Becker, J, Masing, L, Dorr, T, Schade, F, 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, Oszwald, F, Reinhardt, D, Chamas, M, Bekan, A, Smethurst, G, Siddiqui, F, Khan, R, Garousi, V, Sezer, S & Morales, V 2021, 'XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems', 2021 31st International Conference on Field-Programmable Logic and Applications (FPL), vol. 0, no. 0. https://doi.org/10.1109/fpl53798.2021.00075

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems. / Becker, Jurgen; Masing, Leonard; Dorr, Tobias et al.
In: 2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Vol. 0, No. 0, 08.2021.

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

TY - JOUR

T1 - XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems

AU - Becker, Jurgen

AU - Masing, Leonard

AU - Dorr, Tobias

AU - Schade, Florian

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 - Oszwald, Florian

AU - Reinhardt, Dominik

AU - Chamas, Mohamad

AU - Bekan, Adnan

AU - Smethurst, Graham

AU - Siddiqui, Fahad

AU - Khan, Rafiullah

AU - Garousi, Vahid

AU - Sezer, Sakir

AU - Morales, Victor

PY - 2021/8

Y1 - 2021/8

U2 - 10.1109/fpl53798.2021.00075

DO - 10.1109/fpl53798.2021.00075

M3 - Conference proceedings published in a journal

VL - 0

JO - 2021 31st International Conference on Field-Programmable Logic and Applications (FPL)

JF - 2021 31st International Conference on Field-Programmable Logic and Applications (FPL)

IS - 0

T2 - 2021 31st International Conference on Field-Programmable Logic and Applications (FPL)

Y2 - 30 August 2021 through 3 September 2021

ER -