[apologies if you receive multiple copies of this announcement]

Specification, Implementation and Validation of Object-Oriented Embedded
Systems (SIVOOES'2001)

This ECOOP 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) [log in to unmask]
François Terrier (CEA-LETI) [log in to unmask]
Bran Selic (ObjecTime Limited) [log in to unmask]
Werner Damm (OFFIS) [log in to unmask]
Udo Brockmeyer (OFFIS) [log in to unmask]
Wang Yi (Uppsala University) [log in to unmask]
Paul Pettersson (Uppsala University) [log in to unmask]
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:
* Specification (or analysis) issues;
* Implementation issues;
* Validation, verification and testing issues.
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
IMPORTANT DATES
Submission deadline: 28 April 2001
Notification date: 7 May 2001
Workshop date: 19 June 2001
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 ([log in to unmask])
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

NUMBER OF PARTICIPANTS Between 15 and 25

----------------------------------------------------------------------
Dr. Sébastien Gérard Tel: +33 169 089 057
CEA SACLAY Fax: +33 169 082 082
LETI/DEIN/SLA/GLSP
91191 Gif-Sur-Yvette e-mail: [log in to unmask]
France
<http://www-leti.cea.fr> http://wooddes.intranet.gr
----------------------------------------------------------------------