next up previous

Final Report of the COST-247 Action

Experience with five industrial case studies (Philips1,2,3, NS, Ned.Haarlem, PhilipsH)

Jan Friso Groote

Centrum voor Wiskunde en Informatica
Specification and Analysis of Embedded Systems
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
Tel. +31-20-5924232
Fax. +31-20-5924199


We report on five case studies that we have caried out during the last years with Dutch industries. These concern the specification of consumer electronics (2x) as well as the verification of these (1x). Reverse engineering of switching units (1x), proving safety of railway control (1x) and specifying the behaviour of traffic lights. The general conclusion is that in all cases our work did exceptional well, in the sense that with relative ease we could clarify and understand the systems under consideration. Another conclusion is that the current culture in most industries is such that although the contributions of our work are acknowledged, it is not easy to make formal methods part of daily industrial design.

This presentation has been given during the COST-247 4th Management Committee Meeting (Berlin, Germany, February 9--10, 1995).

COST-247 Working Group(s): 2

Web link:

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page