The xSAP Safety Analysis Platform
This platform addresses safety verification problems for engineers in industries like aerospace, but it appears incremental as it builds on existing safety analysis methods.
The paper introduces the xSAP safety analysis platform, which provides model-based safety analysis features for synchronous transition systems, including automatic generation of artifacts like Dynamic Fault Trees and FMEA tables, and has been applied in industrial projects such as with The Boeing Company.
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 using Timed Failure Propagation Graphs (TFPGs), and Common Cause Analysis (CCA). 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.