The most familiar presentation is probably Booch's use to motivate object-oriented programming [Booch86]. Booch adapted his version from Ward [Ward84]. Yin and Tanik do an object-oriented solution to cruise control to demonstrate reusability in Ada [YinTanik91]. Wasserman and others also do an object-oriented design [Wasserman89]. Jones considers the testing problem for an Ada program but is not explicit about the character of the software [Jones90].
Birchenough and Cameron compare the Jackson System Development Method (JSD) to object-oriented design using a formulation similar to Booch's [BirchenoughCameron89].
Smith and Gerhart use a slightly more elaborate forumulation to illustrate the use of Statemate. The design is, of course, based on states and activities [SmithGerhart88]. Their problem statement is based on one used by Bracket [Bracket87].
Ward and Keskar use cruise control as an example for comparing the Ward/Mellor and Boeing/Hatley Structured Methods techniques for modeling real-time systems. Both add time and control information to DeMarco Structured Analysis [WardKeskar87]. Gomaa also this example for studying real-time systems. He compares Structured Design and the NRL Software Cost Reduction methods [Gomaa89].
Higgins uses cruise control to show how Data Structured Systems Development can be extended for real-time [Higgins87]; his architecture emphasized feedback control models. Shaw also bases a solution on feedback control, with other architectures used for subsystems [Shaw95].
Wang and Tanik develop a dataflow solution to illustrate Process Port Analysis and XYZ/E [WangTanik89].
Atlee and Gannon use cruise control as the basis of a specification study [AtleeGannon93].
Sekinger implemented four versions of the cruise control problem using UniCon to describe the various architectures.
Updated Halloween 95 by
Mary Shaw
Comments to maintainer