Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR

Tobias Dorr; Florian Schade; Leonard Masing; Jurgen Becker; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Vasilios Kelefouras; Nikolaos Voros

doi:10.1109/isvlsi54635.2022.00081

Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR

Tobias Dorr
, Florian Schade
, Leonard Masing
, Jurgen Becker
, Georgios Keramidas
, Christos P. Antonopoulos
, Michail Mavropoulos
, Vasilios Kelefouras
, Nikolaos Voros

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

Original language	English
Number of pages	0
Journal	2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Volume	0
Issue number	0
DOIs	https://doi.org/10.1109/isvlsi54635.2022.00081
Publication status	Published - Jul 2022
Event	2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Duration: 4 Jul 2022 → 6 Jul 2022

Access to Document

10.1109/isvlsi54635.2022.00081

Cite this

@article{88b6b490a49b491c922d8244be734c39,

title = "Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR",

author = "Tobias Dorr and Florian Schade and Leonard Masing and Jurgen Becker and Georgios Keramidas and Antonopoulos, \{Christos P.\} and Michail Mavropoulos and Vasilios Kelefouras and Nikolaos Voros",

year = "2022",

month = jul,

doi = "10.1109/isvlsi54635.2022.00081",

language = "English",

volume = "0",

journal = "2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)",

number = "0",

note = "2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) ; Conference date: 04-07-2022 Through 06-07-2022",

}

TY - JOUR

T1 - Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR

AU - Dorr, Tobias

AU - Schade, Florian

AU - Masing, Leonard

AU - Becker, Jurgen

AU - Keramidas, Georgios

AU - Antonopoulos, Christos P.

AU - Mavropoulos, Michail

AU - Kelefouras, Vasilios

AU - Voros, Nikolaos

PY - 2022/7

Y1 - 2022/7

U2 - 10.1109/isvlsi54635.2022.00081

DO - 10.1109/isvlsi54635.2022.00081

M3 - Conference proceedings published in a journal

VL - 0

JO - 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

JF - 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

IS - 0

T2 - 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

Y2 - 4 July 2022 through 6 July 2022

ER -