Dr David Parker D.J.Parker@hull.ac.uk
Lecturer
Dr David Parker D.J.Parker@hull.ac.uk
Lecturer
Antoine Godof
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
Laurent Saintis
ISO 26262 describes a safety engineering approach in which the safety of a system is considered from the early stages of design through a process of elicitation and allocation of system safety requirements. These are expressed as automotive safety integrity levels (ASILs) at system level and are then progressively allocated to subsystems and components of the system architecture. In recent work, we have demonstrated that this process can be automated using a novel combination of model-based safety analysis and optimization metaheuristics. The approach has been implemented in the HiP-HOPS tool, and it leads to optimal economic decisions on component ASILs. In this paper, first, we discuss this earlier work and demonstrate automatic ASIL decomposition on an automotive example. Secondly, we describe an experiment where we applied two different modes of ASIL decomposition. In HiP-HOPS, it is possible to decompose ASILs either to the safety requirements of components or individual failure modes of components. Protection against independent failure modes could, in theory, be achieved at different ASILs and this will lead to reduced design costs. Although ISO26262 does not explicitly support this option, we have studied the implications of this more refined decomposition on system costs but also on the performance of the decomposition process itself, and we report on the results. Finally, motivated by our study on ASIL decomposition, we discuss the general need for increased automation of safety analysis in complex systems, especially autonomous systems where an infinity of possible operational states and configurations makes manual analysis infeasible.
Parker, D., Godof, A., Papadopoulos, Y., & Saintis, L. (2018, April). A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes. Presented at SAE Technical Papers
Presentation Conference Type | Conference Paper (published) |
---|---|
Conference Name | SAE Technical Papers |
Start Date | Apr 10, 2018 |
End Date | Apr 12, 2018 |
Acceptance Date | Feb 6, 2018 |
Online Publication Date | Apr 3, 2018 |
Publication Date | Apr 3, 2018 |
Deposit Date | Apr 12, 2019 |
Publicly Available Date | Apr 15, 2019 |
Print ISSN | 0148-7191 |
Publisher | SAE International |
Peer Reviewed | Peer Reviewed |
Volume | 2018-April |
DOI | https://doi.org/10.4271/2018-01-1076 |
Public URL | https://hull-repository.worktribe.com/output/586096 |
Publisher URL | https://saemobilus.sae.org/content/2018-01-1076/ |
Contract Date | Apr 15, 2019 |
Conference paper
(788 Kb)
PDF
Copyright Statement
©2019 The authors
Variability management in safety-critical systems design and dependability analysis
(2019)
Journal Article
A model-based extension to HiP-HOPS for dynamic fault propagation studies
(2017)
Journal Article
A synthesis of logic and bio-inspired techniques in the design of dependable systems
(2016)
Journal Article
Automatic allocation of safety requirements to components of a software product line
(2015)
Journal Article
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search