Yhe call might e of interest to readre's opf the list.
Axel Poigne
============
We apoligize for any inconvience caused by multiple copies.
=====================================================================
Third Workshop on
Formal Design of Safety Critical Embedded Systems
FEmSys '01
March, 21st - 23rd, 2001
Munich, Germany
FINAL CALL FOR REGISTRATION
=====================================================================
----------------------
Web site
----------------------
http://ais.gmd.de/~ap/femsys
----------------------
Scope of the workshop
----------------------
The Workshop on "Formal Design of Safety Critical Embedded Systems" aims
at disseminating new technologies for embedded systems. It is targeted
to R&D engineers who are involved in the design of embedded systems, and
in particular, Safety Critical Embedded Systems. It concentrates on the
various formal technologies that have been developed recently, or are
under development.
The workshop is a follow-up of two successful workshops at the same
location in 1997 and 1999 that were well attended by engineers and
developers from various industries.
----------------------
Program Committee
----------------------
Albert Benveniste co-chair (Inria, Rennes, France)
Axel Poigné co-chair (GMD, Sankt-Augustin, Germany)
Manfred Broy (Tech. Univ. München, Germany)
Werner Damm (OFFIS, Oldenburg, Germany)
Nicolas Halbwachs (Verimag, Grenoble, France)
Bengt Jonsson (Uppsala University, Sweden)
Amir Pnueli (Weizman Institute,Israel)
----------------------
Format of the workshop
----------------------
The workshop combines academic tutorials and industrial user's lectures
with a tool exhibition. Tutorials and user's lecture will address the
following themes:
OO design of reactive systems, UML
Notations & Formalisms
Distributed platforms & middle ware,
in relation to safety critical & embedded systems
Deployment on distributed architectures
Static analysis & related topics
Testing
Model checking & related topics
Major tool vendors will exhibit their tools. Additionally industrial
tools will be presented as well as a couple of mature academic tools.
----------------------
Tutorials
----------------------
Gerard Berry Efficient compilation, optimization, and
verification techniques for control-dominated
synchronous programs
Manfred Broy Development of Safety Critical Systems using AutoFocus
and Quest
Paul Caspi The Quasi-Synchronous Approach to Distributed
Control System Design
Patrik Cousot Abstract Interpretation for Software Verification
David Dill Formal Verification of Safety-Critical Systems
Bruce Douglass UML and Safety Critical Systems Design
Hermann Kopetz Time Triggered Protocols for Safety Critical Applications
JL Lambert Linear Programming Validation
Ken McMillan Formal Verifications for Hardware Designs
Farid Ouabdesselam Approaches and tools for synchronous system testing
Doron Peled Specification and Verification using
Message Sequence Charts
Alberto Sangiovanni System Design: from Craft to Science
Vincentelli
----------------------
User's Lectures
----------------------
Jens Braband (Siemens Transportation Systems Group)
Neil Craigie (Deuta)
Patrick Farail (Aerospatiale)
Alice Halter (PSA Peugeot Citroen)
Peter Hofmann (Daimler Chrysler)
Jean-Marc Meynadier (Matra Transport)
Birger Moller-Pedersen (Ericsson Research and Univ. Oslo)
Pierre Paradinas (Gemplus)
Ulf Wiger (Ericsson)
Isabelle Zenone (CNES)
----------------------
Tool exhibitors
----------------------
Bell Labs
Cadence
DERA
DFKI GmbH
Esterel Technologies
Formal Systems Europe
iLOGIX
Prover
Siemens
Telelogic
TNI
TTTech
Valiosys
Rational
Verimag
Irisa
Inria Rocquencourt
University Bordeaux
GMD
IRISA
TU München
University Erlangen & University Twente
University of Nice-Sophia Antipolis (F)
|
