A number of case studies have been proposed for testing semantic methods in computer science with respect to their versatility and applicability to embedded control system design. Some of these case studies have been treated in a number of different formalisms, giving opportunity for comparing the strengths and weaknesses of the individual methods.
Based on the insight that thorough comparison between the various design formalisms proposed in the literature as well as some amount of unification would be crucial both to industrial takeover and to scientific progress in the field, an international seminar on "Methods for Semantics and Specification" was held at Schloß Dagstuhl, Wadern, Germany, on June 5-9, 1995. The seminar took the form of a "competition" between different researchers who had been invited as representatives of their particular methods. The competition was on the steam boiler control specification problem of J.-R. Abrial, E. Börger, and H. Langmaack, which has been posed to the participants as a common case study. This specification problem has been derived from an original text that has been written by LtCol. J.C. Bauer for the Institute for Risk Research of the University of Waterloo, Ontario, Canada. The original text has been submitted as a competition problem to be solved by the participants of the International Software Safety Symposium organized by the Institute for Risk Research.
The organizers of the Dagstuhl seminar "Methods for Semantics and Specification" would very much like to invite further researchers to the competition. These web pages have proved to be an effective means for information dissemination between research groups and will remain open for new contributions.
Everybody being interested in the case study may follow the hyperlinks to obtain
Solutions should be submitted electronically (preferrably as a Postscript file) to
Martin Fränzle (firstname.lastname@example.org) Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität Kiel Preußerstr. 1-9 D-24105 Kiel Germanyfor inclusion into the WWW page.
Last modified: Martin Fränzle (email@example.com), Thu, Nov 14, 1996