CTTool design editor
CTTool is an extension of TTool .
It is prototype tool for the specification of distributed component systems.
Mainly it allows the design of UML2.0 component diagrams and state-machines and offers bridges to verification tools.
A CTTool specification contains the architecture of the system - a hierarchy of components - connected through interfaces and ports, and the behaviour of the primitive components as state machines.
Documentation
- Example: sources of a small example given as a TP subject at University of Nice Sophia-Antipolis, Master 2 "RSD", 2006 (in french)
- Large Case-study: documentation and report about the CoCoME case-study, 2007.
-
See the official documentation in web page of TTool here . This is where you'll find the best information on how to install the CADP toolbox and connect it to CTTool.
Software
People involved in the development of this version:
Ludovic Apvrille, LabSoC laboratory from Telecom Paris (for Turtle Model and TTool)
Solange Ahumada, Antonio Cansado, Eric Madelaine and Emil Salageanu, Oasis team, INRIA Sophia Antipolis (for the current extension)