A Toolchain for Synthesizing and Validating Safety Architectures

Autonomous vehicles handle complicated tasks that may lead to harm when performed incorrectly. These harms, in particular when caused by system faults, may be avoided by the deployment of safety architectural patterns, such as the Heterogeneous Duplex pattern. Our goal is to provide safety engineers...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:SN computer science Ročník 4; číslo 4; s. 335
Hlavní autori: Gil Dantas, Yuri, Munaro, Tiziano, Carlan, Carmen, Nigam, Vivek, Barner, Simon, Fan, Shiqing, Pretschner, Alexander, Schöpp, Ulrich, Tverdyshev, Sergey
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Singapore Springer Nature Singapore 01.07.2023
Springer Nature B.V
Predmet:
ISSN:2661-8907, 2662-995X, 2661-8907
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.