Automated Functional Safety Analysis of Automated Driving Systems

  title={Automated Functional Safety Analysis of Automated Driving Systems},
  author={Martin K{\"o}lbl and Stefan Leue},
In this paper, we present a method to assess functional safety of architectures for Automated Driving Systems (ADS. [] Key Method We present an automated method to assert functional safety of ADS systems in the spirit of ISO 26262 in light of these changes. The approach is model-based and implemented in the QuantUM analysis tool. We illustrate its use in functional safety analysis using a proposed practical ADS architecture and address, in particular, architectural variant analysis.
Formal Verification of a Fail-Operational Automotive Driving System
The results show that formal methods for safety evaluation in automotive fail-operational driving systems can be successfully applied and were able to detect failures, which would have been overlooked by other analyses and thus contribute to the development of safety critical functions.
A Reliability Engineering Based Approach to Model Complex and Dynamic Autonomous Systems
AT-CARS (Analyzing Tool for Complex, Autonomous, and Reliable Systems), a tool capable of analyzing various complex systems architectures designed for autonomous vehicles, is introduced.
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV
This paper reports on the experiences applying model checking to verify the arbitration logic of a Vehicle Control System, and describes the process of modeling the architecture, resulting in ∼1500 LOC, 69 state variables and 38 LTL constraints.
Causal Reasoning in Systems
The goal of this seminar was to gain and deepen an understanding of the available means to reason about causality, the approaches that various disciplines inside computer science as well as in adjacent fields are using to determine causalities, and what notions of causality need to be developed in order to deal with changing paradigms of computing.
Formal Verification of OIL Component Specifications using mCRL2
This paper defines a translation from OIL to mCRL2 to enable the use of model checking techniques and discusses validity requirements on OIL component specifications and shows how these can be formalised and verified using model checking.
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
This work proposes the, to the best of its knowledge, first efficient algorithm that precisely computes a causal trace set, avoiding approximation, called Causal Trace Backward Search (CTBS).
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
A Survey of Bidding Games on Graphs Guy Avni and Thomas A. Henzinger find that bidding games on graphs have changed in the past decade and are likely to change further in the coming years.


Functional Safety of Automated Driving Systems: Does ISO 26262 Meet the Challenges?
Functional safety is an important topic for reduction of safety-critical risk to cause failures in complex automotive systems because automation requires information and interaction with its environment.
Model-Based Safety Analysis for Vehicle Guidance Systems
The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation to evaluate various quantitative measures by means of model checking.
Applying Model Based Techniques for Early Safety Evaluation of an Automotive Architecture in Compliance with the ISO 26262 Standard
The results of the language extension based on the EAST-ADL and AUTOSAR domain model are explained in terms of early safety evaluation of an automotive architecture, automating the qualitative and quantitative assessment of road vehicle products as claimed by the application of the ISO 26262.
Safety Engineering for Autonomous Vehicles
This paper investigates problems in safety engineering for non-autonomous vehicles that require the application of concepts for intelligence that do not harmonize with traditional safety engineering and proposes a solution.
Challenges in Autonomous Vehicle Testing and Validation
Five major challenge areas in testing according to the V model for autonomous vehicles are identified: driver out of the loop, complex requirements, non-deterministic algorithms, inductive learning algorithms, and failoperational systems.
Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
This paper compares industrial design verification steps of Watchdog Manager in an effort to be ASIL B-compliant with a proposed nondisruptive methodology to semiformally verify WatchDog Manager UML design via an automated formal framework backbone.
Safe adaptation for reliable and energy-efficient E/E architectures
Within the EU-funded SafeAdapt project, a new E/E architecture for future vehicles has been developed in which adaptive systems ensure safe, reliable, and cost-effective mobility and its evaluation shows the great potential of such reliable and energy-efficient E/ E architectures.
Open Dependable Power Computing Platform for Automated Driving
The need and requirements for an open dependable power-computing platform (including operating system, middleware, update process, etc.) to support advanced assisted and automated driving functions are discussed.
Formal verification of an automotive scenario in service-oriented computing
It is reported on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing domain to verify a priori, thus before implementation, certain design issues.