Axel Poigne (ap(at)borneo.gmd.de)
Thu, 3 Dec 1998 08:18:17 +0100
We apologize for multiple copies --------------------------------- +-----------------------------------------+ | | | Workshop on | | | | Formal Design | | of | | Safety Critical Embedded Systems | | (FEmSys '99) | | | | March, 15th - 17th, 1999 | | Munich, Germany | | | +-----------------------------------------+ | | | First Call for Participation | | and | | PROGRAM | | | +-----------------------------------------+ The workshop intends to bring together researcher, R&D engineers from industry, and tool vendors concerned with the specification and construction of Embedded Systems, particularly of Safety Critical Embedded Systems. The workshop will consist of tutorials, user's lectures, and a tool exhibition. For short, we give the lists of talks and exhibitors below. For detailed information see http://set.gmd.de/EES/femsys99 Also, for those who wish to receive the printed announcement (with detailed information), please ask Christine Harms (harms(at)gmd.de) Tutorials ========= A. Benveniste: Distributing Synchronous Programs R. Budde: Object-Orientation and Synchronous Programming E. Clarke: Model Checking L. Feijs: Experiences with Formal Methods for Specification, Analysis and Testing N. Halbwachs: Synchronous Programming of Reactive Systems, a Tutorial D. Harel: Some Issues on Behavioral Modeling of Complex Object-Oriented Systems K. Mueller-Glaser: Hybrid System Modelling & Simulation 1 R. Nikoukhah: Hybrid System Modelling & Simulation 2 A. Pnueli: Tool Certification and Code Validation Users's Lectures ================ Philipe Baufreton (Snecma, France) SACRES and Electre: a Step Ahead in the Development of Critical Applications Christine Bodennec (Schneider Electric, Grenoble, France) Developing Distributed Control Systems: the CRISYS Project Limor Fix (Future CAD Technologies Group, Intel, Israel) Hardware Formal Verification - Achievements and Open Problems Robert France (Motorola Semiconductor Products Sector, Germany) The Future of OSEK in Embedded Systems Remi Houdaille (Lucent Technologies BCS, France) An Object Oriented PBX built with UML Markus Kaltenbach (Siemens AG, Corporate Technology, Germany) Experiences in Controller Development: Combining Formal Design, Validation, and Code Generation Daniel Pilaud (V&V, Grenoble, France) Code Validation in Space Industry Guenter Seeser, Peter Jansen (BMW AG, Germany) The Design-Process of ECUs - Using Model-checking to Get Correct Software Daniel Vincent (CNET-France Telecom, France) Present Use of SDL in France Telecom Yaron Wolfsthal (IBM Haifa Research Laboratory, Israel) On the Effective Deployment of Functional Formal Verification Lectures Accompanying the Exhibition ==================================== Michel Riguidel (Advanced Information Technology,Thomson-CSF Communications) Dynamical embedded architectures for UMTS: a vision talk Thierry Jeron (Irisa/Inria) Efficient automatic generation of conformance test suites for protocols and reactive systems Frederic Boussinot (CMA, Sophia Antipolis) Programming reactive objects above Java: SugarCubes & Icobjs Marcelo Masera (Joint Research Centre - EC) Issues in dependability for critical systems Klaus Winkelmann (Siemens AG) Results from the SACRES project (Safety Critical Embedded List of Exhibitors ================= Commercial Tools ---------------- BSSE, Immenstaad, Germany System Simulation & Validation with ObjectGeode and EasySim II Formal Systems Europe, United Kingdom Tools for CSP - FDR and ProBE iLOGIX, Andover, USA From Concept to Code using Statemate and Rhapsody Prover Technology AB, Stockholm, Sweden Proofmate, a Tool for the Verification of Statecharts Siemens, M8nchen, Germany Tools for Designing Computer Controlled Systems Simulog, Sophia Antipolis, France The SyncCharts/Esterel Ttool User's reports: Eric Nassor (Dassault), Michel Riguidel (Thomson CSF) S&P Media GmbH, (a Telelogic Company) SDL Design Tool and Test-Instrumentation TNI, Brest, France The Sildex Tool for Critical Embedded System Design Verilog, Montbonnet St. Martin, France SCADE Code Generation Tool, ObjectGeode SDL tools Research Tools -------------- GMD, Sankt Augustin, Germany synchronousEifel - Object-Oriented Synchronous Programming Ircyn, Nantes Experiences with ELECTRE for a Jet Engine Control User's report: Philippe Baufreton, SNECMA Inria & CMA, Sophia Antipolis, France Esterel & Reactive Programming Tools Inria, Rocquencourt, France From Hybrid Systems Specification to Multicomponent Architecture Generation Joint Research Centre - EC, Ispra, Italy ASTRA: A Tool Set for Systems Dependability Studies Offis, Oldenburg, Germany Component & System Verification for Statemate Component & System Verification for VHDL User's report: Massimo Bombana (Italtel, Italy) TU M8nchen, Germany Development of Correct Embedded Systems with AutoFocus Universitt Bremen, Germany HySC 1.0 - Building Hybrid Systems Universitt Oldenburg, Germany Moby/PLC - A Design Environment for PLC-Programs Uppsala University, Sweden UPPAAL and Industrial Applications Verimag, Grenoble, France Toolsets for Verification &Testing ------------------------------------------------------------------- General Information ==================== Conference Site ---------------- Europisches Patentamt (European Patent Office) Erhardtstr. 27 D-80331 M8nchen Conference Fee -------------- Participant from industry: DM 500 Participant from university: DM 300 Industial exhibitors: DM 1000 Academic exhibitors: DM 500 (including the registration fee for 1 participant) Accommodation ------------- A limited number of rooms has been reserved at the Forum Hotel, Hochstra~e 3, D-81669 M8nchen, Tel.: (0 89) 48 03-0, Fax: (0 89) 4 48 82 77, at a special rate. The hotel is in walking distance to the conference site. Registration ------------ I want to register as _ Participant from industry DM 500 _ Participant from university DM 300 I want to register as _ Exhibitor from Industry DM 1000_ _ Exhibitor from University DM 500_ (Fee includes registration for 1 Participant) I would like to make a binding reservation at the FORUM Hotel _ single room _ double room (together with_________________) special rate/night incl. breakfast single room DM 177,- double room DM 202,-. Payment directly at the hotel. Hotel booking has to be made until February 12, 1999. After that we cannot guarantee any bookings. _ I intend to participate in the conference dinner (included in the conference fee) Payment ------- _ I have transferred the whole amount of DM________ to GMD, Dresdner Bank AG, Account No.: 506 123 400 Bankcode: 370 800 40 SWIFT Code: DRES DE FF 380 Reference: FEmSys(at)99 Please indicate the name of the participant. _ Payment can also be made by credit card _ Diners Club _____Eurocard/Mastercard ______Visa by completing the card details below. Name Amount Card Number Expiry Date _ I pay cash at the Conference at an inceased Conference fee of _ Participant from industry DM 700 _ Participant from university DM 400 If cancellation is received up to February 12, 1999, a 75% refund will be given, For cancellations received afterwards, no refunds can be guaranteed. Date:___________________ Signature:_______________________________ Mail to (electronic mail preferred, a formular is provided at our web site) ======= Frau Christine Harms Conference Office GMD / FEmSys%99 Schloss Birlinghoven D-53754 Sankt Augustin email: harms(at)gmd.de Sender Last Name (Mr.Mrs.Ms.Title): First Name: Affiliation: Street/POB: Zip/Postal Code/City: Country: Phone/Fax: E-mail: