First Workshop on Formal Methods for Industrial Critical Systems (original) (raw)
Working Group 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
- Stefania Gnesi - CNR/IEI - gnesi@iei.pi.cnr.it
- Diego Latella - CNR/CNUCE - d.latella@cnuce.cnr.it
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 | |
|---|---|---|---|---|---|
| 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