Model Capturing.This screenshot illustrates the definition of the system model.
This page contains some screenshots of the FSAP/NuSMV-SA platform (click on each thumbnail to enlarge it). The screenshots illustrate the different stages of a typical verification scenario.
|
Model Capturing.This screenshot illustrates the definition of the system model. |
|
|
Failure Mode Capturing.This screenshot illustrates the definition of the failure modes. |
|
|
Safety Requirements Capturing.This screenshot illustrates the definition of the safety requirements. |
|
|
Fault Tree Analysis Task.This screenshot illustrates the run of a fault tree analysis task. |
|
|
Simulation Task.This screenshot illustrates the run of a simulation task. |
|
|
FMEA Analysis Task.This screenshot illustrates the run of a Fault Detection Task (based on FMEA analysis). |
|
Last Update: $Date: 2006/04/18 13:52:36 $
