Third International Workshop on
Formal Methods for Industrial Critical Systems
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 ERCIM
sites 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 Systems
took 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 ERCIM
and the Instituut voor Programmatuur en Algoritmiek.
INVITED SPEAKERS
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
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
