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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SN computer science Jg. 4; H. 4; S. 335
Hauptverfasser: Gil Dantas, Yuri, Munaro, Tiziano, Carlan, Carmen, Nigam, Vivek, Barner, Simon, Fan, Shiqing, Pretschner, Alexander, Schöpp, Ulrich, Tverdyshev, Sergey
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Singapore Springer Nature Singapore 01.07.2023
Springer Nature B.V
Schlagworte:
ISSN:2661-8907, 2662-995X, 2661-8907
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!