Associated team D.S.T  :  Software

Though this is not the central goal of DST, the Distribcom team develops a prototype for the formal analysis and simulation of scenarios.
This prototype is called SOFAT and is distributed at the following address. 

http://www.irisa.fr/distribcom/Prototypes/SOFAT/index.html

2009

A simulator for timed scenarios was developed by G. Aggarwal during her internship in Rennes (from May to July 09). This software starts from scenarios annotated with time, probabilities and resource consumption information, then transforms this input into a colored, timed and stochastic Petri Nets. Traversals of these Petri nets by colored tokens can be seen as requests executions. The software developed allows for the simulation of up to 10 000 simultaneous requests in a reasonable amount of time. It will be shortly integrated to the SOFAT scenario platform.

2010

Rouwaida Abdallah started implementing a synthesis tool from the SOFAT toolbox. This tool should synthesize communicating automata and PROMELA code from scenarios. The objective is to use and extend this prototype to obtain a demonstrator for realistic implementation techniques.