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

Full description

Saved in:
Bibliographic Details
Published in:SN computer science Vol. 4; no. 4; p. 335
Main Authors: Gil Dantas, Yuri, Munaro, Tiziano, Carlan, Carmen, Nigam, Vivek, Barner, Simon, Fan, Shiqing, Pretschner, Alexander, Schöpp, Ulrich, Tverdyshev, Sergey
Format: Journal Article
Language:English
Published: Singapore Springer Nature Singapore 01.07.2023
Springer Nature B.V
Subjects:
Advances on Model-Driven Engineering and Software Development
Autonomous vehicles
Computer Imaging
Computer Science
Computer Systems Organization and Communication Networks
Data Structures and Information Theory
Embedded systems
Engineering
Failure
Fault tolerance
Industrial applications
Information Systems and Communication Service
Model-based systems
Original Research
Pattern Recognition and Graphics
Safety
Simulation
Software
Software Engineering/Programming and Operating Systems
Synthesis
Vision
Model-based system engineering
Toolchain
Safety architecture patterns
Simulation
Reconfiguration
ISSN:2661-8907, 2662-995X, 2661-8907
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 with computer-aided support for synthesizing architectures with safety architecture patterns. To this end, we build on our previous work in which we proposed a model-based system engineering plugin to enable the model-driven approach using safety architecture patterns. This article proposes a toolchain for synthesizing the structure and switching logic of safety architectures, as well as for validating them through simulation-based fault-injection. We validate our toolchain using an industrial use-case for autonomous driving systems, namely, a Highway Pilot system.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2661-8907
2662-995X
2661-8907
DOI:10.1007/s42979-023-01712-5