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

May 25-26, 1998

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, and the second edition was held in Cesena on July 4-5, 1997.

The third FMICS workshop will take place in Amsterdam on May 25-26, 1998.

The third FMICS workshop is sponsored by ERCIMand the Instituut voor Programmatuur en Algoritmiek.

INVITED SPEAKERS

W.J. Fokkink(University of Swansea, UK)
H. Garavel (INRIA Rhone-Alpes, FR)
G. Kolk (Holland Railconsult, NL)
R. Cleaveland (N.C. State University, USA)

PROGRAMME COMMITTEE

J.F. Groote (CWI Amsterdam,NL) (Chair)
F. Gnesi (CNR/IEI Pisa, IT)
R. Gorrieri (University of Bologna, IT)
D. Latella (CNR/CNUCE Pisa, IT)
R. Mateescu (CWI Amsterdam, NL)
F. Orava (KTH/Teleinformatik, SE)
A. Poigne (GMD Bonn, G)
R. De Simone (INRIA Sophia Antipolis, FR)
J. Tretmans (University of Twente Enschede, NL)

ORGANISING COMMITTEE

B. Luttik (CWI/University of Amsterdam)
A. Ponse (University of Amsterdam)
M. Reniers Eindhoven Technical University)
F. Snijders (CWI Amsterdam)
J. van Wamel (CWI Amsterdam)

PROGRAMME

Monday 25th May, 1998

9:00h. - 9:30h.: Registration + Coffee

9:30h. - 9:45h.: Welcome

9:45h. - 11:15h.: Invited Talks

W.J. Fokkink: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams.
G. Kolk: Formal Methods: Possibilities and difficulties in a Railway environment from a user perspective. _11:15h. - 11:30h.:_Break

11:30h. - 12:30h.: Presentations

Stuart Anderson and Konstantinos Tourlas: Design for Proof: An approach to the design of domain-specific languages.
Juan Bicarregui, Brian Matthews, Brian Ritchie and Sten Agerholm: Investigating the integration of two formal methods. 12:30h. - 14:00h.: Lunch and Tool Demonstrations

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

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi and Antonella Santone: Automated verification of fault tolerance mechanisms.
Mads Dam, Dilian Gurov and Lars-ake Fredlund: Compositional Verification of Erlang Programs.
Mark van der Zwaag: A verification in process algebra with iota. 15:30h. - 16:00.: Break

16:00h. - 17:00h.: Presentations

Marie-Claude Gaudel and Perry R. James: Testing Algebraic Data Types and Processes: A Unifying Theory.
Bert Lisser and Jos van Wamel: Specification of components in a proposition solver. _17:00h. - 18:00h.:_FMICS yearly meeting.

19:00h. - ...: Diner

Tuesday 26th May, 1998

8:45h. - 9:00h.: Coffee

9:00h. - 10:30h.: Invited Talks

H. Garavel: Towards a Second Generation of Formal Description Techniques - Rationale for the design of E-LOTOS.
R. Cleaveland: Verifying Active Structural Control Systems: a case study in formal analysis. 10:30h. - 11:00h.: Break

11:00h. - 12:30h.: Presentations

Dragan Boshnachki: Towards modelling of hybrid systems in promela and spin.
Dennis Dams, Rob Gerth, Ruurd Kuiper and Bart Knaack:Partial-Order Reduction Techniques for Real-time Model Checking.
Christian Hernalsteen, Antony de Jacquier and Thierry Massart: A Toolset for the analysis of ET-LOTOS Specifications. 12:30h. - 14:00h.: Lunch and Tool Demonstrations

14:00h. - 15:00h.: Presentations

Marco Bernardo: Using EMPA for the Performance Evaluation of an ATM Switch.
Theofanis Vassiliou-Gioles and Ina Schieferdecker:Case Study in Protocol Validation: Validating the ATM Signalling Protocol. 15:00h. - 15:30h.: Break

15:30h. - 16:30h.: Presentations

Carron Shankland: The tree identification protocol of P1394.
H. Bowman, G. Faconti, J.-P. Katoen, D. Latella and M. Massink: Automatic Verification of a Lip Synchronisation Algorithm using UPPAAL. 16:30h. - 16:45h.: Closing

TOOL DEMONSTRATIONS

Radu Mateescu: Verification of Concurrent Systems: An Overview of Recent Features in the CADP Protocol Engineering Toolset.
Thierry Massart, Christian Hernalsteen and Eric Van Nuffel: A toolset for ET-LOTOS.

PROCEEDINGS

The Proceedings of FMICS'98 have been published by CWI:

J.F. Groote, S.P. Luttik, J.J. van Wamel (editors)
Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems
CWI, Amsterdam, The Netherlands
May 1998
ISBN 90 6196 480 6

This page was created by Bas Luttik (and slightly adapted by Hubert Garavel).

Back to the ERCIM FMICS Home Page