2016
DOI: 10.1007/978-3-662-49674-9_31
|View full text |Cite
|
Sign up to set email alerts
|

The xSAP Safety Analysis Platform

Abstract: 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 (DFTs) and Failure Mode and Effects Analysis (FMEA) tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis u… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
38
0

Year Published

2017
2017
2022
2022

Publication Types

Select...
4
3

Relationship

2
5

Authors

Journals

citations
Cited by 55 publications
(38 citation statements)
references
References 31 publications
0
38
0
Order By: Relevance
“…The analyses are supported by the following verification engines: nuXmv [9] for correctness checking; OCRA [10] for contract-based analysis; IMCA [19] and MRMC [20] for performance analysis by probabilistic model checking; slimsim [8] for statistical model checking and xSAP [1] for safety analysis.…”
Section: Toolset Overviewmentioning
confidence: 99%
See 1 more Smart Citation
“…The analyses are supported by the following verification engines: nuXmv [9] for correctness checking; OCRA [10] for contract-based analysis; IMCA [19] and MRMC [20] for performance analysis by probabilistic model checking; slimsim [8] for statistical model checking and xSAP [1] for safety analysis.…”
Section: Toolset Overviewmentioning
confidence: 99%
“…In a recent effort funded by ESA, the results of this work have been thoroughly consolidated into a single release, which is now available. COMPASS 3.0 includes features originally included in distinct tool releases that diverged from the original development trunk 1 . The AUTOGEF and FAME projects focused on Fault Detection, Identification, and Recovery (FDIR) requirements modeling and development, and on fault propagation analysis; HASDEL extended formal analysis techniques to deal with the specific needs of launcher systems, with a strong focus on timed aspects of the model; and finally CATSY had the goal of improving the requirements specification process.…”
Section: Introductionmentioning
confidence: 99%
“…It is derived from the standardized Aadl language and offers native fault modeling. xSAP is an extension of the NuSMV language that allows the explicit modeling of faults in NuSMV and allows the automatic calculation of Minimal Cut Sets …”
Section: Related Workmentioning
confidence: 99%
“…Cut sets are assignments to such variables that lead to the violation of the top level event. Formal verification tools for MBSA include xSAP [7].…”
Section: Fault Tree Analysismentioning
confidence: 99%