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

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	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 -