The qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis

16 pages•Published: January 6, 2018

Florian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss and Jana von Wedel

Abstract

Functional safety analysis (FSA), that is checking whether a designed artifact will perform safely even under the presence of failing components, has gained significant importance in different areas, including aeronautic and automotive systems. The same applies to failure-modes-and-effects analysis (FMEA) and fault-tree analysis (FTA) as the major contributing processes. FSA is labor- and time-consuming as well as error- prone, and would benefit from computer-based tool-support. Work on qualitative model-based systems has developed principled solutions, particularly to FMEA, but did not achieve the step to industrial practice. Rather than novel technical contributions, this paper discusses reasons for this fact and describes the qSafe* project, which aims at overcoming the obstacles and at making a major step towards producing tools that can support current practice.

Keyphrases: functional safety, model abstraction, model management, qualitative modeling, qualitative reasoning, requirement formalization

In: Marina Zanella, Ingo Pill and Alessandro Cimatti (editors). 28th International Workshop on Principles of Diagnosis (DX'17), vol 4, pages 297-312.

Links:	https://easychair.org/publications/paper/h3Sw
	https://doi.org/10.29007/1lp8

BibTeX entry

@inproceedings{DX'17:qSafe_Project_Developing_Tool,
  author    = {Florian Grigoleit and Sebastian Holei and Andreas Pleuss and Robert Reiser and Julian Rhein and Peter Struss and Jana von Wedel},
  title     = {The qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis},
  booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
  editor    = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
  series    = {Kalpa Publications in Computing},
  volume    = {4},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/h3Sw},
  doi       = {10.29007/1lp8},
  pages     = {297-312},
  year      = {2018}}

Download PDF Open PDF in browser