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.
Nothing specific must be installed to use this profile. TTool must be started with the -nc
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.
- Paper on CTTool. Published in the XXVI International Conference of the Chilean Computer Science Society (SCCC'07)
TTool must be started with the -cttool