Fourth International Workshop on Formal Methods for Industrial Critical Systems (original) (raw)

Working Group on Formal Methods for Industrial Critical Systems

Trento (Italy)

July 11-12 1999

SCOPE OF THE WORKSHOP

The aim of the FMICS workshops is to provide a forum mainly intended for, but not limited to, researchers of ERCIMsites who are interested in the development and application of formal methods in industry. In particular, these workshops should bring together scientists that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. They also aim at the promotion of research and development for the improvement of formal methods and tools for industrial applications.

The First International Workshop on Formal Methods for Industrial Critical Systemstook place in Oxford on March 19, 1996, the second edition was held in Cesena on July 4-5, 1997, and thethird FMICS workshop took place in Amsterdam on May 25-26, 1998.

A special issue (Vol.12 n. 2) of the International Journal on Formal Methods in Systems Design, by Kluwer Academic Publishers, was dedicated to FMICS1. A selection of the papers presented at FMICS2 and FMICS3 will appear in two special issues of Formal Aspects of Computing, by Springer-Verlag.

The Fourth International Workshop on Formal Methods for Industrial Critical Systems will take place in Trento on July 11-12, 1999, as a satellite meeting of FLoC'99.

INVITED SPEAKERS

• J. Cuellar (SIEMENS, Munich, DE)
• J. Tretmans (Univ. of Twente, Enschede, NL)

PROGRAMME COMMITTEE

• J. Bicarregui (CLRC, Abington, UK)
• H. Garavel (INRIA Rhone-Alpes, FR)
• S. Gnesi (CNR/IEI, Pisa, IT), Chair
• F. Giunchiglia (IRST, Trento, IT)
• J.F. Groote (CWI, Amsterdam, NL)
• J.P. Katoen (Univ. of Erlangen, DE)
• R. Langerak (Univ. of Twente, Enschede, NL)
• D. Latella (CNR/CNUCE, Pisa, IT), Chair
• J. Parrow (SICS, Stocholm, SE)
• A. Poigne (GMD, Bonn, DE)
• I. Schieferdecker (GMD/FOKUS, Berlin, DE)
• R. de Simone (INRIA Sophia Antipolis, FR)

ORGANISING COMMITTEE

• A. Villafiorita (IRST Trento, IT - local organization)
• D. Latella (CNR/CNUCE Pisa, IT)
• S. Gnesi(CNR/IEI Pisa, IT)

PROGRAMME

Sunday 11th July, 1999

9:15h. - 10:00h.: Invited talk

• Verification of Security Protocols in Industry
  Jorge Cuellar (Siemens)

10:00h. - 10:30h.: Coffee break

10:30h. - 12:30h.:

• A Timed Verification of the IEEE 1394 Leader Election Protocol
  Judi Romijn (CWI, Amsterdam)
• How muCRL supported a smart redesign of a real-life protocol
  Thomas Arts (CSL, Ericsson Utvecklings AB, Stokolm) and Izak van Langevelde (CWI, Amsterdam)
• PMC: A programming Language for Embedded Systems
  Simon Mork, Ken Larsen, Henrik Reif Andersen (Dept. of Information Techonology, Lyngby) and Peter Sestoft (Dept. of Mathematics and Phisics, Copenhagen)
• Using Esterel and formal methods to increase the confidence in the functional validation of a commercial DSP
  L. Arditi, H. Boufaieed, M. Hadj-Chaib, G. Clave, (Texas Instruments, Villeneuve-Loubel), A. Bouali, R. De Simone (INRIA, Sophia Antipolis)

12:30h. - 14:00h.: Lunch

14:00h. - 15:30h.:

• A Modular Approach to Specify and Test an Electrical Flight Control System.
  Marielle Doche, Christel Seguin and Virginie Wiels (ONERA-CERT/DTIM, Toulouse).
• Secure Decentralized Control of Railway Crossings
  Werner Damm, Gert Doehmen and Jochen Klose (Oldenburg)
• Formal Specification and Validation of a Vital Communication Protocol
  A. Cimatti, P. L. Pieraccini, R. Sebastiani, P. Traverso and A. Villafiorita (IRST, Trento)

15:30h. - 16:00h.: Coffee break

16:00h. - 17:30h.:

• "No Collision" in a Protocol with n Stations: a Comparative Study of Formal Proofs
  Agathe Merceron (Dept. of Computer Science, Sydney), Monika Muellerburg (GMD-AiS, Sankt Augustin), Michele Pinna (Dip. Di Matematica, Siena)
• Questions and Answer about ten formal Methods
  A.J.Currie, A.P.Martin, P.Smith, M.Leuschel, M.J.Butler, P.H.Hartel, R.J.Walters, U.Nitsche (Declarative Systems and Software Engineering group, Southampton)
• ASSO: A formal methodology of Conceptual Database Design
  Elvira Locuratolo (IEI-CNR, Pisa), Brian Matthews (RAL, Didcot)

17:30h. - 18:30h.: ERCIM-FMICS group meeting

19:30h. - 23:00h.: Workshop dinner

Monday 12th July, 1999

9:15h. - 10:00h.: Invited talk

• Software engineering with formal methods: the development of a storm surge barrier control system.
  Jan Tretmans (Univ. of Twente), Klaas Wijbrans and Michel Chaudron (CMG Den Haag BV).

10:00h. - 10:30h.: Coffee break

10:30h. - 12:00h.:

• Using Hybrid Automata to Support Human Factors Analysis in Critical Systems,
  Gavin Doherty, Mieke Massink and Giorgio Faconti (CNUCE-CNR, Pisa).
• Modelling a real-time language
  Thomas Hune (BRICS, Aarhus)
• Digitization of Timed Automata
  Dragan Bosnacki (Computing Science Dept., Eindhoven)

12:00h. - 13:00h.: System demonstrations

13:00h. - 14:00h.: Lunch and end of the workshop

Back to the ERCIM FMICS Home Page