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

Application domain/field

Type of tool

A toolkit with many features

Expected input

Format:

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:

Comments

xSAP is a re-implementation of FSAP.
Framework

Links

Last commit date

28 June 2021 (last release date)

Related papers

Last publication date

March 2021

Related tools

Other platforms for model-based safety assessment: Altarica/OCAS, Scade, Statemate

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.