Working Group on Formal Methods for Industrial Critical Systems

First Workshop on Formal Methods for Industrial Critical Systems

St Hugh's College, Oxford (UK)

March 19, 1996

The aim of this workshop, which took place as a satellite meeting of the Formal Methods in Europe Symposium (FME96), was to provide a forum mainly for, but not limited to, researchers of ERCIM sites, interested in the development and use of Formal Methods in the Industry. The workshop was the first meeting of an ERCIM Working Group on Formal Methods for Industrial Critical Systems.


The organizers wish to thank FME96, for hosting the event, ERCIM, for its sponsorship, CNR/Area di Ricerca di Pisa, for printing the proceedings, and the institutes CNUCE and IEI or the Italian National Research Council (CNR) for supporting the initiative.


Formal Methods Technology-Transfer: A view from NASA
J. L. Caldwell - NASA

Experiences with Proof in a Formal Development
D. Clutterbuck - PVL, J. Bicarregui, B. Matthews - CRLC

A Formal Verification Environment for Railway Signalling System Design
C. Bernardeschi - Univ. of Pisa, S. Fantechi - Univ. of Florence, S. Gnesi, S. Larosa - CNR, G. Mongardi, D. Romano - Ansaldo Trasporti

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller
M. Le Borgne, H. Marchand, E. Rutten - INRIA, M. Samaan - EDF/DER

Formal Based Conformance and Performance Testing of ATM Protocols
I. Schieferdecker, A. Rennoch - GMD

Formal Perspectives on an Object-Based Modeling Language
J. Bicarregui, B. Matthew - CRLC

The Synchronous Apprach to Designing Reactive Systems
The Embedded Software Design Group - GMD

A Logic Based Approach to Validation and Verification of Computer Protocols
P. Merino, J.M. Troya - Univ. of Malaga

Specification and Implementation of Components of a muCRL Toolbox
D. Dams - Univ. of Utrecht, J.F. Groote - CWI

Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
U. Nitsche, P. Ochsenschaeger - GMD

Decidability of Bisimulation Equivalenc of Context-free Processes extends to Processes defined over BPA_delta
D. Bosscher - CWI

A consistent causality-based view on a timed process algebra
J.P. Katoen - Univ. of Twente, D. Latella - CNR, R. Langerak, E. Brinksma - Univ. of Twente, T. Bolognesi - CNR


Informal proceedings, in the form of a CNR Technical Report, are available via the organizers.

A report about this meeting has been published:

S. Gnesi and D. Latella. Report on the first workshop and meeting of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (Oxford, UK, March 19, 1996). Bulletin of the Association for Theoretical Computer Science - EATCS, number 59, June 1996.

A special issue (Vol. 12, Issue 2) of Formal Methods in System Design,a Kluwer Academic Publisher international journal, is dedicated to this workshop.


Name Affiliation Address Phone Fax E-Mail
 Gianna Reggio  DISI - UNIVERSITY OF GENOVA  Via Dodecaneso 35 - 16146  39 - 10 - 353 6702
 Matthew Morley  GMD  SET.EES, 53754 St Augustin, Germany  +49 (0)2241 142267  +49 (0)2241 142035
 Ina Schieferdecker  GMD Fokus  Hardenbergplatz 2, 10623 Berlin, Germany  +49 30 254 99 241  +49 30 254 99 202
 Larske Fredlund  SICS - Formal Design Techniques group  Box 1263 S-164 28 Kista  +46 8 7521 1500  +46 8 751 7230
 Ben Di Vito  ViGYAN Inc/NASA Langley  MS 130, NASA Langley Research Center, Hampton, VA 23681 USA  +1-804-864-4883  +1-804-864-4234
 Jim Caldwell  NASA Langley Research Center  Mail Stop 130, Hampton, Virginia 23665  804/864-6214  804/864-4324
Dr. Peter Ochsenschlaeger GMD Rheinstr. 75, D-64295 Darmstadt +49/6151/869283 +49/6151/869224
Ulrich Nitsche GMD Rheinstr. 75, D-64295 Darmstadt +49/6151/869303 +49/6151/869224
Jan Friso Groote CWI Kruislaan 413 NL-1098 SJ Amsterdam
Stefania Snesi CNR IEI Via S. Maria 46 +39 50 593489
Brian Ritchie Rutherford Appleton Laboratory Didcot, OXON, OX11 0QX, U.K.
Brian Matthews Rutherford Appleton Laboratory Didcot, OXON, OX11 0QX, U.K. +44 1235 446648 +44 1235 445831
Juan Bicarregui Rutherford Appleton Laboratory Didcot, OXON, OX11 0QX, U.K.
Diego Latella CNR Ist. CNUCE Via S. Maria 36 56126 Pisa ITALY +39 50 593230 +39 50 904052

Back to the ERCIM FMICS Home Page