Support: Versions (since 0.92)
Information about your version of TTool can be obtained in the "Help" menu, "about" menu item.
Next release Version 0.98 beta 2
Minor enhancement
- Enhancement of the support of Security in AVATAR
- Enhacement in dialog windows: DIPLODOCUS events/channels, AVATAR syntax checking
Major enhancement
- Support of communication patterns (Zigbee example)
- Attack trees (in fact: atatck graphs) now have a formal semantics: syntax checking, simulation and formal verification can be performed from attack trees
Next release Version 0.94 beta 3, lastly built version, available only on the svn
Minor enhancement
- AVATAR, negative integers are now supported in guards
- AVATAR, bugs resolved in int and boolean expression parser
Major enhancement
Next release Version 0.94 beta 2, December, 6th, 2012
Minor enhancement
- AVATAR, negative integrers are now supported in variable affectations
Major enhancement
- Invariants can be (efficiently) computed from AVATAR models
Next release Version 0.93, December, 6th, 2012
Minor enhancement
- AVATAR, translation to UPPAAL: Bug resolved on the reachability of signal sending, in some situation"
- AVATAR: Bugs resolved in the internal simulator (time management)
Major enhancement
- All profiles: SVG diagram capture
- -nocolor option to edit diagrams with no color, for capturing diagrams in black and white mode
Next Beta release Version 0.93-beta2, October, 6th, 2011
Minor enhancement
- AVATAR: Support of "AVATAR analysis"
- AVATAR: Bugs resolved in the internal simulator (time management)
- DIPLODOCUS simulator: several bugs resolved
- DIPLODOCUS simulator: possibility to explore a partial state-space of the mapped system
Major enhancement
- AVATAR: Support of SysML activity diagrams, at analysis stage
- AVATAR: Generation of POSIX-C code
- AVATAR: Execution of POSIX-C code in SocLib/Mutekh, and drawing of sequence diagrams when executing the C code
- DIPLODOCUS: Scripting for executing simulations and automatic Design Space Explorations, with classification of results
Beta release Version 0.93-beta1, February, 3rd, 2011
Minor enhancement
- DIPLODOCUS: support of requests with parameters whose type is a data structure
- DIPLODOCUS: Bugs resolved in C++ simulator
- DIPLODOCUS: Support for full system exploration with the C++ simulator
- DIPLODOCUS: First support of TEPE in the C++ simulator
- TEPE: Enhancement of graphical components
- AVATAR: various bugs corrected (Translation to UPPAAL)
Major enhancement
- Support of an interactive AVATAR simulator directly integrated in TTool.
Stable Version 0.92, December, 3rd, 2010
Minor enhancement
- UML diagram animation: the arrow pointing to commands now display timing information as well as progression of the pointed command. Also, CPUs and busses are now given a load attribute. It is also now possilbe not to display DIPLODOCUS ids of operators.
- Bugs resolved in C++ simulator
- When adding channels / events / request to a DIPLODOCUS application diagram, it channels / events / request are toggled off, they are toggled on
- Trace manager for avoiding spoilling users with development messages
- DIPLODOCUS: support for loops with empty initialization, condition and increment
- DIPLODOCUS: support for random sequence of sub activity diagrams (in text mode: RANDOMSEQ operator).
- DIPLODOCUS simulator: support for non-deterministic choices
- DIPLODOCUS simulator: support for multi-core CPUs
- AVATAR: support of data types
Major enhancement
- Support of SysML Parametric Diagrams for expressing properties.
