PV5 ⊧ xSAP: eXtended Safety Assessment Platformsafety assessment tool for synchronous finite-state and infinite-state systems

Application domain/field

• Synchronous transition systems
• Model-based safety assessment (MBSA)
• Fault tree analysis
• Model checking

Type of tool

A toolkit with many features

Expected input

• Nominal model
• Fault Extension Instructions (FEI)

Format:

• Nominal model: SMV language
• Fault Extension Instructions: dedicated FEI language

Expected output

Depends on the analysis that was chosen.

Internals

Uses nuXmv model checker. Some parts of xSAP are used as a back-end for COMPASS. It implements several types of model analyses, including:

• Fault Tree Analysis (FTA)
• Failure Mode and Effects Analysis (FMEA)
• Failure propagation analysis using Timed Failure Propagation Graphs (TFPGs)
• Common Cause Analysis (CCA)

Comments

xSAP is a re-implementation of FSAP.