Automated Functional Safety Analysis of Automated Driving Systems
@inproceedings{Klbl2018AutomatedFS, title={Automated Functional Safety Analysis of Automated Driving Systems}, author={Martin K{\"o}lbl and Stefan Leue}, booktitle={FMICS}, year={2018} }
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.
8 Citations
Formal Verification of a Fail-Operational Automotive Driving System
- Computer ScienceArXiv
- 2021
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
- Computer Science2020 International Conference on Connected and Autonomous Driving (MetroCAD)
- 2020
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
- Computer ScienceReliab. Eng. Syst. Saf.
- 2019
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV
- Computer Science2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
- 2021
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
- Computer Science
- 2019
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.
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
- Computer ScienceATVA
- 2019
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
- EconomicsFMICS
- 2020
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.
References
SHOWING 1-10 OF 27 REFERENCES
Functional Safety of Automated Driving Systems: Does ISO 26262 Meet the Challenges?
- Computer Science
- 2017
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.
A functional reference architecture for autonomous driving
- Computer ScienceInf. Softw. Technol.
- 2016
Model-Based Safety Analysis for Vehicle Guidance Systems
- Computer ScienceSAFECOMP
- 2017
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
- Computer Science
- 2014
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
- Business2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
- 2016
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
- Computer Science
- 2016
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
- Computer ScienceIEEE Access
- 2017
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
- Computer Science
- 2018
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
- Computer Science
- 2017
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
- Computer Science2008 ACM/IEEE 30th International Conference on Software Engineering
- 2008
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.