The FSAP/NuSMV-SA Safety Analysis Platform

Reliability Analysis of Digital Systems in a Probabilistic Risk Analysis for Nuclear Power Plants

“…An application of model checking and fault tree analysis for the safety analysis of an embedded system is described in [33]. The use of model checking for fault coverage analysis has been proposed in [34,35]. Also efficient symbolic techniques for probabilistic model checking have been developed, e.g.…”

Integrated Application of Compositional and Behavioural Safety Analysis

“…component failures. Prominent examples based on this approach include Altarica (Arnold et al, 2000) and FSAP/NuSMV (Bozzano & Villafiorita, 2006). properties.…”

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems

“…The actual integration of the nominal and the error model, the so-called (fault) model extension, works similarly to the procedure described in [8]. It takes the nominal model and enriches it by the error model specification, thus producing an integrated model which represents both the nominal and the failure behavior.…”

“…The COM-PASS methodology relies on the seminal work carried out within the ESACS 2 (Enhanced Safety Assessment for Complex Systems) and ISAAC 3 (Improvement of Safety Activities on Aeronautical Complex systems) projects, two EuropeanUnion-sponsored projects involving various research centers and industries from the avionics sector, and that resulted in the FSAP tool [19]. As advocated in [8], an essential step of the methodology is the decoupling between the nominal behavior and the faulty behavior of the system, that is realized by means of the model-extension step (cf. Section 2.4).…”