Paper Info
Title
Probabilistic Model-Based Safety Analysis
Abstract
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failuremodes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results.Only few model-based approaches have been applied to answer quantitative questions in safety analysis, often limited to analysis of specific failure propagation models, limited types of failure modes or without system dynamics and behavior, as direct quantitative analysis is uses large amounts of computing resources. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem.This paper shows how functional models based on synchronous parallel semantics, which can be used for system design, implementation and qualitative safety analysis, can be directly re-used for (model-based) quantitative safety analysis. Accurate modeling of different types of probabilistic failure occurrence is shown as well as accurate interpretation of the results of the analysis. This allows for reliable and expressive assessment of the safety of a system in early design stages.
Year
DOI
Venue
2010
10.4204/EPTCS.28.8
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Keywords
Field
DocType
probabilistic model,system design,failure mode,system dynamics,quantitative analysis,functional model
Data mining,Probabilistic design,Life-critical system,Computer science,Systems design,Software,Statistical model,System dynamics,Probabilistic logic,Semantics
Journal
Volume
Issue
ISSN
abs/1006.5
28
2075-2180
Citations 
PageRank 
References 
12
0.81
20
Authors
2
Name
Order
Citations
PageRank
Matthias Güdemann112811.15
Frank Ortmeier238647.95