Paper Info
Title
The xSAP Safety Analysis Platform.
Abstract
This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees and Failure Mode and Effects Analysis tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs, and Common Cause Analysis. xSAP has been used in several industrial projects as verification back-end, and is currently being evaluated in a joint R&D Project involving FBK and The Boeing Company.
Year
DOI
Venue
2015
10.1007/978-3-662-49674-9_31
Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9636
Field
DocType
Volume
Failure mode and effects analysis,Graph,Computer science,Probabilistic logic,Fault tree analysis,Safety engineering,Common cause and special cause,Reliability engineering
Journal
abs/1504.07513
ISSN
Citations 
PageRank 
0302-9743
16
0.77
References 
Authors
24
9
Name
Order
Citations
PageRank
Benjamin Bittner1303.67
Marco Bozzano274349.82
Roberto Cavada31487.87
Alessandro Cimatti45064323.15
Marco Gario5486.11
Alberto Griggio662436.37
Cristian Mattarei7556.07
Andrea Micheli819014.08
Gianni Zampedri9181.19