Sofat is a formal
toolbox for manipulation of scenarios.
SOFAT was registered at the APP (Agence pour la Protection des
2003 with number DDN.FR.001.080027.000.S.P.2003.00.10600
Version 4.0: This is a non documented version of SOFAT. It includes all documented functionalities of SOFATV3, plus a diagnosis tool. Documentation on diagnosis techniques from HMSCs can be found here.
Some examples of HMSCS can be downloaded here.
version 1.1 of SOFAT available here
03/02/2004 : Version 1.2 availaible : Some bugs were corrected.
Version 2: Not distributed.
Version 3.0: One of the features of this version is a interface which is more functional and easy to use. The simulation feature available in version 2 is disabled.
Before using SOFAT, you will
need a version of the JDK greater than
It can be found on SUN's website : http://java.sun.com/products/jdk/1.2/
You will also need a version of
DOT, distributed with the graphviz
package. It can be found here.
SOFAT is a free software, but is protected by a licence. The terms of the licence can be found [here].
despite our careful testing,
SOFAT may still contain bugs.
You can help us improving the tool, and send a mail to : loic(nospam).helouet (nospam) @ irisa.fr
- Fast presentation of SOFAT [PS] (Version 1.2)
- Slides describing the principles of SOFAT [ppt] (Version 1.2)
- Simulation : the principles of the simulation algorithm. a paper published in SDL'99 [ps]
- A description of MSCs semantics using event structures [ps]
- Version 1.2 Manual [DOC] (Still
- Version 3.0 Manual Version3.0 Manual (PDF)
Fig.1 SOFAT's Main Window
Fig. 2 Graphical representation of a HMSC in Sofat
Fig. 3 Graphical representation of a BMSC in Sofat
Last Modification : 12/09/2008