Graduate School and Research Center In communication systems

Seminar: TURTLE: A UML-based Environment for the Modeling and Validation of Protocols and Real-Time Systems.

Ludovic Apvrille - Ludovic.apvrille@enst.fr - Assistant Professeur, ENST à Institut Eurecom - Sophia-Antipolis

Mobile Communications

Date: April 8, 2004

Location: Eurecom - Institut Eurecom

UML solutions in competition on the protocol and real-time system market share three common drawbacks: an incomplete formal semantics, temporal operators with limited expression and analysis power, and implementation-oriented tools with limited verificati

Document

TURTLE: A UML-based Environment for the Modeling and Validation of Protocols and Real-Time Systems.

Search