Specification, Implementation and Validation
of Object-oriented Embedded Systems

This workshop is organized by academics members of the European project, AIT-WOODDES (http://wooddes.intranet.gr/project.htm) and with the collaboration of M. Bran Selic.

ORGANIZERS

Sébastien Gerard (CEA-LETI)
Sebastien.Gerard@cea.fr
François Terrier (CEA-LETI)
Francois.Terrier@cea.fr
Bran Selic (ObjecTime Limited)
bran@objectime.com
Werner Damm (OFFIS)
Werner.Damm@OFFIS.de
Udo Brockmeyer (OFFIS)
Udo.Brockmeyer@OFFIS.de
Wang Yi (Uppsala University)
yi@docs.uu.se
Paul Pettersson (Uppsala University)
 
paupet@docs.uu.se
DAY: Tuesday, June 19th
LOCATION (room)

TOPICS

This workshop aims to gather academics and industrial people to discuss the use of UML for the development of embedded real-time systems. Around UML technologies, we will try to tackle the three main part of a development cycle:

SUBMISSIONS & PARTICIPATION

To participate to this workshop send via email to Sébastien Gérard a position paper. Your submissions should not exceed 4 pages (10 pt., single space) and should be in one of the following formats : plain text, postscript, pdf or word. Moreover, we supply the specification of a case study extracted from automotive experience (in our case, PSA that is one of the industrial partner of the AIT-WOODDES European project). This example should be used as a common support to express idea and position regarding to the exposed problem.
 
Accepted submissions will be placed on the workshop web site and on the WOODDES web site too. Working group and workshop synthesis will be considered for publication in a ECOOP Workshop Reader after obtaining agreement with an interested publisher.

CASE STUDY

The case study we propose is system aiming to regulate the car speed to a preselected setpoint value reflecting the normal velocity at which the driver wishes to travel. The complete specification of this case study may be found on the workshop web site

CONTACT PERSON

Sébastien GERARD (Sebastien.Gerard@cea.fr)

LIST/DTSI (CEA-DRT)

Centre d'Etudes de Saclay

F-91191 Gif sur Yvette Cedex

France

Phone : +33 (0)1 69 08 90 57

FAX : +33 (0)1 69 08 20 82

WORKSHOP WEB SITE

http://www-leti.cea.fr/leti/fr/pages/Tech_info/home_tech_info.htm