Software developed within the FIACRE project
-
CADP ("Construction and Analysis of Distributed Processes", formerly known as "CAESAR/ALDEBARAN Development Package") is a popular toolbox for the design of communication protocols and distributed systems. CADP is developed by the VASY team at INRIA Rhone-Alpes and hosts various complementary tools (e.g., the ALDEBARAN, FC2TOOLS, and TGV tools developed at INRIA Rennes/IRISA - INRIA Sophia-Antipolis - Verimag). CADP is maintained, regularly improved, and used in many industrial projects.
Beta-version 2005-c of CADP was released in may 2006, including the improvements and
the new tools mentionned in task 3, and in particular the new Exp input format that is
used by the Vercors platform. http://www.inrialpes.fr/vasy/cadp
-
Tina is a toolbox for the edition and analysis of Petri Nets and Time Petri Nets, developed in the OLC group of LAAS/CNRS. General Petri nets information can be found on the Petri Nets World site.
Tina version 2.7.4 was released in nov 2005, and Tina 2.8.0 (beta) in may 2006., including
support for the PNML format, and the SE-LTL checker. http://www.laas.fr/tina
-
Tools composing the Vercors platform are available at http://www-sop.inria.fr/oasis/Vercors,
including FC2Instantiate, FC2Exp, and ADL2N v0.8.
ADL2N is a multiplatform tool written in Java that provides an easy generation of behaviour models for the Fractal Component Model.
Given a system of communicating LTSs with
parameters and the domain of its unbound parameters,
FC2Instantiate is a Java tool that
generates a finite system of communicating automata by translating
each of the parameters to all the values in its domain. The output is
in FC2 format.
FC2EXP is a tool that translates sets of
synchronisation vectors from FC2 format to
hierarchical EXP format, the format for synchronisation
vectors defined by CADP.