Safety analysis for highly automated driving

S Tobias - 2018 IEEE International Symposium on Software …, 2018 - ieeexplore.ieee.org
Highly automated driving affords a fail-operational system and therefore more effort
regarding functional safety. The engineering standard for vehicles, ISO 26262 does not give …

A Toolchain for Synthesizing and Validating Safety Architectures

Y Gil Dantas, T Munaro, C Carlan, V Nigam… - SN Computer …, 2023 - Springer
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 …

A fault modeling based runtime diagnostic mechanism for vehicular distributed control systems

ADS Roque, N Jazdi, EP De Freitas… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
This paper presents a study about a runtime mechanism to monitor the performance
degradation in intra-vehicular networks. The proposed mechanism focuses on the …

A Robotic Control System for Fault Tolerance and Safety using Human Robot Interaction

LJF Rivera, AYR Ruiz… - 2019 IEEE 9th Annual …, 2019 - ieeexplore.ieee.org
In Robotics, fault tolerant control is an essential aspect for the robot to be fully autonomous
without running into errors. One error could lead to another thereby quickly cascading out of …

Formal Verification of a Fail-Operational Automotive Driving System

T Schmid, S Schraufstetter, J Fritzsch… - arXiv preprint arXiv …, 2021 - arxiv.org
A fail-operational system for highly automated driving must complete the driving task even in
the presence of a failure. This requires redundant architectures and a mechanism to …

Low-Redundancy Realization of Safety-Critical Automotive Functions

S Barner, S Matthes, H Dormann… - MikroSystemTechnik …, 2021 - ieeexplore.ieee.org
We propose a low-redundancy architecture for safety-critical automotive functions that is
motivated by the discrepancy of fail-operational requirements of autonomous driving (AD) …

Achieving cost-efficient fail-operational behavior based on inherent redundancy at the system level

T Dörr, T Sandmann, P Friederich, A Leitner… - Microprocessors and …, 2021 - Elsevier
To fulfill their safety requirements, modern embedded systems are increasingly often
expected to deliver a guaranteed minimum level of functionality at all times. In practice, such …

Towards a hybrid formal analysis technique for safety-critical software architectures

A Boucherit, LM Castro, O Hasan… - … Journal of Critical …, 2021 - inderscienceonline.com
Given the catastrophic damage that bugs in critical systems can inflict on human life and its
socio-economic environment, the use of rigorous analysis techniques while developing such …