|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|
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: http://www.cwi.nl/~jfg
This Page was prepared by Mark Jorgensen.