TTool (TURTLE Toolkit). TURTLE (Timed UML and RT-LOTOS Environment) is a real-time UML profile. The semantics of TURTLE is formally defined by a translation into RT-LOTOS. Formal verification and simulation of a TURTLE profile is enabled by the TTool by translating a TURTLE diagram into a RT-LOTOS specification and using RTL for the generation of its reachability graph, which can be analysed, verified and minimized using CADP.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Apvrille, Ludovic; De Saqui-Sannes, Pierre; Khendek, Ferhat: TURTLE-P: A UML profile for the formal validation of critical and distributed systems (2006)