AMAST Mail 1998
[Prev][Next][Index]

FEmSys'99 - First Announcement/Call for Exhibitors


We apologize for multiple copies
---------------------------------




         +-----------------------------------------+
         |                                         |
         |               Workshop on               |
         |                                         |
         |             Formal Design               |
         |                   of                    |
         |      Safety Critical Embedded Systems   |
         |             (FEmSys '99)                |
         |                                         |
         |           March, 15th - 17th, 1999      |
         |            Munich, Germany              |
         |                                         |
         +-----------------------------------------+
         |                                         |
         |            First Announcement           |
         |                  and                    |
         |           Call for Exhibitors           |
         |                                         |
         +-----------------------------------------+


		 
Program Committee
=================

Albert Benveniste (co-chair), Inria, France 
Axel Poigne (co-chair), GMD, Germany
Manfred Broy, TU Muenchen, Germany 
Ed Clarke, Carnegie-Mellon,USA 
Werner Damm, OFFIS, Germany
Nicolas Halbwachs, Verimag, France
Bengt Johnsson, Uppsala University, Sweden
Amir Pnueli, Weizman Institute,Israel
John Rushby, SRI,USA
Joseph Sifakis, Verimag, France

Scope of the workshop
=====================

Safety Critical Embedded Systems are a major challenge for computer 
engineering.  The demand for embedding more functions as computer software 
calls for new design technologies.

Several R&D projects have been devoted to these objectives in the last 
years, and new formal approaches are now proposed and used operationally, 
which range from specification, rapid prototyping and validation, down to 
code generation and testing.  Many of these have led to new tools and 
development environments which are available on the market already.

The "Workshop on Formal Design of Safety Critical Embedded Systems" aims at 
disseminating these technologies.  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 the very successful workshop at the same 
location in `97 which was well attended by engineers and developers from 
various industries.

Format of the workshop
======================

The workshop combines academic tutorials and user's lectures with a tool 
exhibition.

Topics
------
Tutorials and user's lecture will address the following themes:

	-  Hybrid modelling & simulation
	-  Object-orientation and reactive programming
	-  Synchronous Programming 
	-  Distribution of Reactive Programs
	-  Model-checking
	-  Tool certification and code validation

Tutorials
---------
The tutorials will give a state of the art overview of formal methods used 
for the design of safety critical systems.  Speakers include (with more 
speakers to be expected)

	- A. Benveniste     : Distribution of Reactive Programs
	- R. Budde          : Object-orientation and reactive programming
	- E. Clarke         : Model Checking
	- L. Feijs          : Tool certification and code validation
	- N. Halbwachs      : Synchronous Programming
	- D. Harel          : Object-orientation and reactive programming
	- K. Mueller-Glaser : Hybrid modelling & simulation
	- A. Pnueli         : Tool certification and code validation

User's Lectures
---------------
User's Lectures will consist in reports of extensive experiences of formal 
methods in industrial applications.  Emphasis will be equally put on the 
application and on the method used and related conclusions. Speakers 
include (with more speakers to be expected)

	- Ph. Baufreton, Snecma
	- M. Eckrich, BMW
	- R. France, Motorola
	- Y. Wolfstahl, IBM
	- L. Fix, INTEL
	- C. Bodennec, Schneider Electric
	- D. Pilaud, Verilog
	- R. Groz, France Telecom (CNET)

Call for Exhibitors
-------------------

In addition, an exhibition will be organized, mainly for commercial
tools, but also open to selected robust academic tools.  Exhibition
will be held throughout the first and second day of the workshop. In
parallel with the exhibition, some tool presentations and results from
large projects will be presented.

Who should submit?

Any company or university willing to demonstrate a tool relevant to 
the scope of FEmSys:

  - Proofs, verification.
  - Automatic test synthesis/analysis.
  - Requirements Engineering.
  - Rapid Prototyping.
  - Code Generation.
  - Formalisms related to the above topics, e.g., B, Z, Statecharts, 
    Synchronous Languages, Temporal Logic based formalisms, ...

How to submit?

 Send a 3-5 pages abstract describing the tool.  The abstract should 
 be sent, or preferrably mailed in Latex or postscript format 
 to

   Albert Benveniste (tel +33 99 84 72 35)
   IRISA, Campus de Beaulieu
   F 35042 Rennes cedex, France
   Albert.Benveniste@inria.fr

Deadlines

   Submission: September 30th, 1996 
   Acceptance: October    15h, 1996


Participation fee
-----------------

  participants from industry : DM 500
  participants from academia : DM 300
  
  industrial exhibitors : DM 500
  academic exhibitors : DM 300 
  (including the registration fee for 1 participant)

Conference Site
---------------

   Europaeisches Patentamt
   (European Patent Office)
   Erhardtstr. 27
   D-80331 Muenchen
   
   
For further information contact:

   Axel Poigne
   GMD - Forschungszentrum Informationstechnik GmbH
   D-53754 Sankt Augustin
   Germany
   poigne@gmd.de
   
or have a look at our web page:

   http://set.gmd.de/EES/FemSys'99.html
   
===============================================================================   

Registration form


to be sent to

FEmSys '97 Conference Office
Christine Harms
c/o GMD / FEmSys
Schloss Birlinghoven
D-53754 Sankt Augustin
email: Christine.Harms@gmd.de


I intend to participate

    Please send me the final program
    
    I want to register as an participant (please delete as appropriate)
 
      industrial  DM 500,-
      academic  DM 300,-

    I intend to submit as an exhibitor  (please delete as appropriate)

      industrial
      academic

Sender

Last Name (Mr./Mrs):
First Name:
Affiliation:
Street/POB:
Zip/City:
Country:
Phone:
Fax:
E-mail:
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]