AMAST Mail 1996
[Prev][Next][Index]

FEmSys 97 Conference Announcement

We apologize for multiple copies
=================================





         +-----------------------------------------+
         |                                         |
         |               Workshop on               |
         |                                         |
         |             Formal Design               |
         |                   of                    |
         |      Safety Critical Embedded Systems   |
         |             (FEmSys '97)                |
         |                                         |
         |           16-18 April 1997              |
         |            Munich, Germany              |
         |                                         |
         +-----------------------------------------+
         |                                         |
         |            First Announcement           |
         |                  and                    |
         |           Call for Exhibitors           |
         |                                         |
         +-----------------------------------------+




Scope of the workshop
---------------------

Safety Critical Embedded Systems are becoming a major challenge for 
computer engineering.  The increasing 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 
operationally used, which range from specification, rapid prototyping 
and validation, down to code generation and testing.  

The two european projects Eureka-SYNCHRON and Esprit-SACRES have 
decided to help for the dissemination of these technologies through 
the organization of the Workshop on Formal Design of Safety 
Critical Embedded Systems>.


Intended Participants
---------------------

This workshop is mainly targeted to R&D engineers involved in the 
design of such systems.  It concentrates on the various formal 
technologies that have been developed recently, or are under 
development.  


Program Committee
-----------------

    A.  Benveniste, co-chair (Inria, Rennes, F)
    A.  Poigne, co-chair (GMD, Sankt-Augustin, D)
    M.  Broy (Tech.  Univ.  Muenchen, D)
    W. Damm (OFFIS, Oldenburg, D) 
    N.  Halbwachs (Verimag, Grenoble, F)
    J. Sifakis (Verimag, Grenoble, F)


Tutorials
---------

The tutorials will give a state-of-the-art overview of formal methods 
used for the design of safety critical systems.

   J. Sifakis (Verimag, Grenoble, F) : Formal methods: overview
   M.  Broy (Tech.  Univ.  Muenchen, D) : Requirements Engineering 
   F.  Mejia (GEC-Alsthom, F) : The B Method
   D.  Harel (Weizmann Inst., IS) : Statecharts
   G.  Berry (Ecole des Mines, F) : Synchronous Languages
   W.  Damm (OFFIS, Oldenburg, D) : Model Checking
   C.  Jard (Irisa, F) : Testing 


User's Lectures
---------------

User's Lectures will consist in reports of extensive experiences of 
formal methods in industrial applications.  Emphazis will be equally 
put on the application and on the method used and related conclusions.
   
   Ph.  Baufreton (Snecma, F) 
   D.   Bolignano (Bull, F)
   M.   Bombana (Italtel, I)
   M.   Conrad (Daimler-Benz, D)
   C.   Dubois (Schneider-Electric, F)
   M.   Eckrich (BMW, D)
   T.   Filkorn (Siemens, D)
   E.   Ledinot (Dassault-Aviation, F)
   J-F. Monin (CNET, F)
   B.   Plessier (Motorola, F)
   J.   Rowlands (BAe, UK)
   J S. Sadeghipour (Daimler-Benz,D)
   M.   Samaan (EdF, F)
   

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 second day of the workshop.  In addition 
to demonstrating his tool, each exhibitor will have a slot to present 
it.


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: November 30th, 1996 
   Acceptance: December 31th, 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.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 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]