SIVOES'2001 Workshop at ECOOP



Date view Thread view Subject view Author view

GERARD Sebastien 166342 (GERARD@ortolan.cea.fr)
Tue, 13 Feb 2001 13:45:19 +0100


[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) 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 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 (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-dta.cea.fr/leti/UK/Pages/Tech_info/sivoes2001.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: Sebastien.Gerard@cea.fr France <http://www-leti.cea.fr> http://wooddes.intranet.gr ----------------------------------------------------------------------


Date view Thread view Subject view Author view