Main.HomePage History

Hide minor edits - Show changes to output - Cancel

Changed lines 27-33 from:
(:comment %center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg:)
to:
xSAP is Copyright by Fondazione Bruno Kessler 2015; it can be used only for non-commercial or academic purposes.

The list of xSAP users is open for registration and discussion
-> xsap-users@
fbk.eu


(:comment %center%https:
//es.fbk.eu/tools/nuxmv/images/wip.jpeg :)
Changed lines 9-11 from:
XSAP supersedes %newwin% [[http://fsap.fbk.eu |FSAP]]

XSAP provides the following main capabilities:
to:
xSAP supersedes %newwin% [[http://fsap.fbk.eu |FSAP]]

xSAP provides the following main capabilities:
Changed lines 1-4 from:
(:keyword XSAP, FSAP, esmc :)
(:description XSAP :)
(:title The XSAP safety analysis platform :)
to:
(:keyword xSAP, FSAP, esmc :)
(:description xSAP :)
(:title The xSAP safety analysis platform :)
Changed line 7 from:
'''XSAP''' is a tool for safety assessment of synchronous finite-state and
to:
'''xSAP''' is a tool for safety assessment of synchronous finite-state and
Added lines 22-23:

* Common Cause Analysis (CCA)
Changed line 9 from:
XSAP supersedes [[http://fsap.fbk.eu |FSAP]]
to:
XSAP supersedes %newwin% [[http://fsap.fbk.eu |FSAP]]
Changed line 9 from:
XSAP supersedes FSAP ''[[http://fsap.fbk.eu/]]''.
to:
XSAP supersedes [[http://fsap.fbk.eu |FSAP]]
Changed line 25 from:
%center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg
to:
(:comment %center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg:)
Added lines 20-21:

* Fault propagation analysis based on Timed Failure Propagation Graphs (TFPG)
Changed lines 1-7 from:
(:description xsap :)
(:notitle:)

!! xsap

Welcome to the home page of xsap, the ''eXtended'' version of FSAP
''[[http://fsap.fbk.eu/]]''.
to:
(:keyword XSAP, FSAP, esmc :)
(:description XSAP :)
(:title The XSAP safety analysis platform :)

(:comment !! The XSAP safety analysis platform :)

'''XSAP''' is a tool for safety assessment of synchronous finite-state and
infinite-state systems
. It is based on symbolic model checking techniques.
XSAP supersedes FSAP ''[[http://fsap.fbk.eu/]]''.

XSAP provides the following main capabilities:

* Library-based specification of faults, fault effects, and fault dynamics

* Automatic model-extension with fault specifications

* Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS) for dynamic systems, for both the monotonic and non-monotonic case

* Failure Modes and Effects Analysis (FMEA)

Changed line 23 from:
%center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg
to:
%center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg
November 13, 2013, at 01:39 PM by other user test -
November 11, 2013, at 01:59 PM by 192.168.156.43 -
November 11, 2013, at 12:42 PM by 192.168.156.43 -
Changed lines 1-2 from:
(:keyword NuSMV, nuXmv, esmc :)
(:description nuXmv
:)
to:
(:description xsap :)
Changed lines 4-14 from:
!! nuXmv

Welcome to the home page of nuXmv, the ''eXtended'' version of ''[[http://nusmv.fbk.eu|NuSMV]]'' symbolic model checker.

nuXmv is a model checker for finite- and infinite-state synchronous transition systems.

For the finite-state case, it builds on and extends [[http://nusmv.fbk.eu|NuSMV]] with advanced engines.

For the infinite-state case, it uses SMT-based techniques implemented in [[http://mathsat.fbk.eu|MathSAT]].

It also provides techniques for temporal satisfiability
.
to:
!! xsap

Welcome to the home page of xsap, the ''eXtended'' version of FSAP ''[[http://fsap.fbk.eu/]]''.
November 09, 2013, at 07:05 AM by 188.153.83.30 -
Changed lines 9-15 from:
This version builds on and extends [[http://nusmv.fbk.eu|NuSMV]].
to:
nuXmv is a model checker for finite- and infinite-state synchronous transition systems.

For the finite-state case, it builds on and extends [[http://nusmv.
fbk.eu|NuSMV]] with advanced engines.

For the infinite-state case, it uses SMT-based techniques implemented in [[http://mathsat.fbk.eu|MathSAT]].

It also provides techniques for temporal satisfiability
.
November 06, 2013, at 12:06 PM by 192.168.156.43 -
Added lines 4-5:

!! nuXmv
November 06, 2013, at 12:04 PM by 192.168.156.43 -
Changed line 3 from:
(:notitle)
to:
(:notitle:)
November 06, 2013, at 12:04 PM by 192.168.156.43 -
Added line 3:
(:notitle)
November 06, 2013, at 12:03 PM by 192.168.156.43 -
Deleted line 3:
(:notitle:)
October 31, 2013, at 03:49 PM by 192.168.156.43 -
Changed line 9 from:
See [[(Features.Home)bla]] for the complete list of features.
to:
See [[(Features.Home) | +]] for the complete list of features.
October 31, 2013, at 03:49 PM by 192.168.156.43 -
Changed line 9 from:
See [[(Features.Home)]] for the complete list of features.
to:
See [[(Features.Home)bla]] for the complete list of features.


Page last modified on March 24, 2016, at 04:20 PM