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.

SCIENTIFIC ORGANIZATION

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.

LIST OF CONTRIBUTIONS

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

PROCEEDINGS

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.

LIST OF PARTICIPANTS

Name Affiliation Address Phone Fax E-Mail
 Gianna Reggio  DISI - UNIVERSITY OF GENOVA  Via Dodecaneso 35 - 16146  39 - 10 - 353 6702     reggio@disi.unige.it
 Matthew Morley  GMD  SET.EES, 53754 St Augustin, Germany  +49 (0)2241 142267  +49 (0)2241 142035   morley@gmd.de
 Ina Schieferdecker  GMD Fokus  Hardenbergplatz 2, 10623 Berlin, Germany  +49 30 254 99 241  +49 30 254 99 202   ina@fokus.gmd.de
 Larske Fredlund  SICS - Formal Design Techniques group  Box 1263 S-164 28 Kista  +46 8 7521 1500  +46 8 751 7230   fred@sics.se
 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   b.l.divito@larc.nasa.gov
 Jim Caldwell  NASA Langley Research Center  Mail Stop 130, Hampton, Virginia 23665  804/864-6214  804/864-4324   jlc@air16.larc.nasa.gov
Dr. Peter Ochsenschlaeger GMD Rheinstr. 75, D-64295 Darmstadt +49/6151/869283 +49/6151/869224 ochsenschlaeger@darmstadt.gmd.de
Ulrich Nitsche GMD Rheinstr. 75, D-64295 Darmstadt +49/6151/869303 +49/6151/869224 nitsche@darmstadt.gmd.de
Jan Friso Groote CWI Kruislaan 413 NL-1098 SJ Amsterdam     jfg@cwi.nl
Stefania Snesi CNR IEI Via S. Maria 46 +39 50 593489   gnesi@iei.pi.cnr.it
Brian Ritchie Rutherford Appleton Laboratory Didcot, OXON, OX11 0QX, U.K.     br@inf.rl.ac.uk
Brian Matthews Rutherford Appleton Laboratory Didcot, OXON, OX11 0QX, U.K. +44 1235 446648 +44 1235 445831 bmm@inf.rl.ac.uk
Juan Bicarregui Rutherford Appleton Laboratory Didcot, OXON, OX11 0QX, U.K.     jcb@inf.rl.ac.uk
Diego Latella CNR Ist. CNUCE Via S. Maria 36 56126 Pisa ITALY +39 50 593230 +39 50 904052 d.latella@cnuce.cnr.it

Back to the ERCIM FMICS Home Page