TURTLE: a UML 2.0 Profile and Toolkit for Real-Time and Distributed System Development
Ludovic Apvrille, Associate Professor, ENST, Sophia-Antipolis, France
Pierre de Saqui-Sannes, Professor, ENSICA, Toulouse, France. Researcher at LAAS-CNRS, Toulouse, France
Who should attend?
This tutorial is intended for researchers and practitioners looking for a UML-based modeling technique and tools covering early stages in the design of real-time and distributed systems. An in depth knowledge of the OMG-based UML is not requested. Nevertheless, some familiarity with object-oriented design is preferable. Basic knowledge in communicating system modeling is also recommended.
The tutorial will be given in English. Mais les questions peuvent aussi être posées en français.
* Rationale behind the TURTLE profile
* UML 2.0: what’s new?
- UML 1.5 at a glance
- The presumed "novelty" of UML 2.0
- What you may expect from a UML 2.0 tool: a case study with Telelogic TAU G2
- Some limitations of UML 2.0 in terms of real-time system modeling and validation
* Basic TURTLE: a UML profile for real-time and distributed system design
- A UML profile backed on the RT-LOTOS formal language
- Semantic issues (class/objects and activity diagrams)
- Reuse of formal validation techniques formerly developed for RT-LOTOS
- The TURTLE toolkit
- Case studies
o Coffee machine (never go out without it!)
o Proving service continuity on automatic reconfiguration of space-based software
* TURTLE 2005: from timed scenarios to Java code generation
- Adding scenario-based analysis to basic TURTLE
- Formal validation of interaction overview and sequence diagrams
- Automated synthesis of TURTLE designs from scenarios
- Java code generation
- Case studies
* Future work / discussion
About the speakers
Ludovic Apvrille received his Engineer degree in Computer Science and his M.Sc. degree in Network and Distributed Systems specialization, from ENSEIRB and ENSICA in 1997 and 1998, respectively. Then, he completed a Ph.D. at LAAS-CNRS and ENSICA in Toulouse, France. After a postdoctoral term at Concordia University (Montreal, Canada), Dr Apvrille joined LabSoC as an assistant professor at ENST, Ecole Nationale Supérieure des Télécommunications, in the COMELEC department, Sophia-Antipolis, France. His research interests focus on tools and methods for the modeling of embedded systems. Ludovic has been the prime designer and developer of TTool, the TURTLE toolkit. Also, he has given several lectures and invited talks on UML for embedded systems and protocols.
Pierre de Saqui-Sannes graduated from the University of Toulouse, France, and received his Ph.D. degree in 1990. He prepared his Ph.D. at LAAS-CNRS. He spent a postdoctoral year at the University of Montreal, Canada. In 1992, he joined the ENSICA (Ecole Nationale Supérieure d’Ingénieurs de Constructions Aéronautiques), Toulouse, as an assistant professor. Dr de Saqui-Sannes is Habilité à Diriger les Recherches. For two decades, he has been working on model-driven design of real-time and distributed systems with a specific interest on model validation techniques. He has been appointed many times as a lecturer on formal modeling techniques, protocol engineering, and UML-based design of real-time and distributed systems.