Other Profiles Supported by TTool




Network Calculus Profile

This profile is dedicated to the dimensioning of critical systems. More precisely, models of embedded systems usually make an intensive use of TURTLE, AVATAR, and DIPLODOCUS temporal operators. Unfortunately, temporal values set in these operators are usually obtained by experience: the dimensioning phase makes it possible to obtain maximal values (strict bounds od the systems) prior to the first design.

Resources

Configuration

Nothing specific must be installed to use this profile. TTool must be started with the -nc option.



CTTool Profile

CTTool is dedicated to the modeling and verification of component-based and distributed systems. It is particulary adapted to the modeling of ProActive-like applications. It has been developed by INRIA Sophia-Antipolis.

Resources

  • Paper on CTTool. Published in the XXVI International Conference of the Chilean Computer Science Society (SCCC'07)

Configuration

TTool must be started with the -cttool option.