Université du Québec en OutaouaisNouvelles de technologies de la répartition

 

Accueil
Comités
Appel à publication
Dates importantes
Soumission d'articles
Programme
Inscription
Hébergement
L'UQO et sa région

 

TURTLE: a UML 2.0 Profile and Toolkit for Real-Time and Distributed System Development

 

Speakers

Ludovic Apvrille, Associate Professor, ENST, Sophia-Antipolis, France

ludovic.apvrille@telecom-paris.fr

http://www.eurecom.fr/~apvrille

           

Pierre de Saqui-Sannes, Professor, ENSICA, Toulouse, France. Researcher at LAAS-CNRS, Toulouse, France

desaqui@ensica.fr

http://homepage.ensica.fr/~pdss

 

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.

 

Content

* 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.

 


Copyright © 2005 NOTERE'2005
Dernière modification : 27 juillet 2005