ECOOP'2000, Workshop on Specification, Implementation and Validat ion of Object-Oriented Embedded Systems (SIVOOES)



Date view Thread view Subject view Author view

TERRIER Francois 121910 (TERRIER@ortolan.cea.fr)
Tue, 15 Feb 2000 18:16:06 +0100


[apologies if you receive multiple copies of this announcement] =============================================================== 14th European Conference on Object-Oriented Programming Sophia Antipolis and Cannes, France, June 12 - 16, 2000 http://ecoop2000.unice.fr/ Workshop #18 Specification, Implementation and Validation of Object-Oriented Embedded Systems (SIVOOES) Call for Papers WORKSHOP OVERVIEW The adoption of object-oriented modeling in the real-time domain appears to be essential in order to face rapidly changing market conditions. The main obstacles are a lack of standards and inadequate adaptation to real-time needs. With the standardization of UML1.1 and now UML1.3, the first main drawback is being overcome. The challenge is then to handle these notations properly within an object-oriented methodology and framework well suited to embedded real-time. The organizers of this workshop are all involved in the AIT-WOODDES project which is one such attempt. This project is an European project of the fifth PCRD and it joins the IST (Information Societies Technology) Program. The consortium of this project is made of academics working on UML and validation and verification themes, tool suppliers and end users coming from telecommunication and automotive industries. Its objective is to provide a clean and general framework for real-time development as close as possible to conventional object-oriented methods. Its overriding results are expected to have major impacts on : * development time and cost, * quality of delivered products, * continuity of the development cycle (numbers of different UML models and gaps between these models). This workshop aims to gather academics and industrial people to discuss the use of UML for the development of embedded real-time systems. We will try to tackle the three main part of a development cycle: specification (analysis), design and implementation and validation. TOPICS The workshop topics include (but not limited to): - Specification (or analysis) issues, including : * How to capture and specify time constraints (Priority, Periodicity, Deadline, .)? * How to adapt analysis models for real time systems? * How to design solutions which effectively take care of the real-time aspects (e.g. concurrency, deadlines, hardware interfaces, synchronization, etc.)? - Implementation issues, including : * How to link UML models to real-time object-oriented languages? * What are the features of the generated code (size, quality, portability, .)? * automatic (or semi-automatic) code generation from design models, * techniques of models transformation, * patterns and frameworks specific to real-time systems. - Validation, verification and testing issues, including : * How to validate the dynamic behavior and the fulfillment of the time constraints? * How to insure consistency of system described through different types of models (structural, interaction, behavior, .)? FORMAT OF THE WORKSHOP The workshop will consist mainly of working groups that focus on a specific problem. In the first hour of the workshop, the organizers of the workshop will present three surveys covering the three topics family identified for the workshop : specification, implementation and validation. These presentations will provide some of the context for much of the discussions in the working groups. After receiving all submissions, the organizers will constitute small working groups (3-5 participants in each group) and the result of this work will be announced as soon as possible before the workshop starts. SUBMISSIONS & PARTICIPATION To participate to this workshop send via email to Sebastien.Gerard@cea.fr a position paper. Your submissions should not exceed 2 pages (10 pt., single space) and should be in one of the following formats : plain text, postscript, pdf or word. Accepted submissions will be placed on the workshop web site and on the AIT-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 Paper submission deadline: March 24, 2000 Notification of acceptance: April 10, 2000 Workshop date : June Tuesday 13, 2000 <http://ecoop2000.unice.fr/> ORGANIZERS This workshop is organized by academics members of the European project, AIT-WOODDES (Workshop for Object Oriented Design and Development of Embedded Systems) Workshop coordinators : Prof. Dr. François TERRIER (CEA-LETI) E-mail: Francois.Terrier@cea.fr <mailto:Francois.Terrier@cea.fr> PhD. Ir. Sébastien GERARD (PSA - Peugeot Citroën / DTII & CEA-LETI) E-mail: Sebastien.Gerard@cea.fr <mailto:Sebastien.Gerard@cea.fr> <http://www-dta.cea.fr/leti/uk/pages/Tech_info/Home_Tech_info.htm> Prof. Dr. Werner DAMM (OFFIS <http://www.offis.de/>) E-mail: Werner.Damm@OFFIS.de <mailto:Werner.Damm@OFFIS.de> <http://www.informatik.uni-oldenburg.de/> <http://ca.informatik.uni-oldenburg.de/> Prof. Dr. Wang YI (Uppsala University) Email: yi@docs.uu.se <mailto:yi@docs.uu.se> <http://www.docs.uu.se/~yi> Additional information will be available at: <http://www-dta.cea.fr/leti/UK/Pages/Tech_info/SIVOOES.htm> ------------------------------------------------------- Workshop contact : François TERRIER (CEA-LETI) E-mail: Francois.Terrier@cea.fr <mailto:Francois.Terrier@cea.fr> ---------------------------------------------------------------------- ecoop-info@ecoop.org is a *moderated* distribution list for announcing non-commercial, international events related to object technology. Please post announcements for moderation to: ecoop-info@ecoop.org ---------------------------------------------------------------------- To unsubscribe, just send email to: ecoop-info-unsubscribe@ecoop.org Please send questions, problems or complaints to: ecoop@aito.org More information about ECOOP is available at: http://www.ecoop.org/ ---------------------------------------------------------------------- ---------------------------------------------------------------------- ecoop-info@ecoop.org is a *moderated* distribution list for announcing non-commercial, international events related to object technology. Please post announcements for moderation to: ecoop-info@ecoop.org ---------------------------------------------------------------------- To unsubscribe, just send email to: ecoop-info-unsubscribe@ecoop.org Please send questions, problems or complaints to: ecoop@aito.org More information about ECOOP is available at: http://www.ecoop.org/ ----------------------------------------------------------------------


Date view Thread view Subject view Author view