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.
