In a panel session at the 1986 IEEE COMPSAC Conference, the following Home Heating System example1 was used to compare several different real-time requirements methods. Prior to the conference, the system had been analyzed using each of the methods, and the results were presented for comparison.
1 We are indebted to Stephanie White for preparing the original problem statement.
Note that this unedited statement, the figure, and the terminology, are almost exactly as given at the conference. It is typical of real-life problem statements, which may be ambiguous, vague, or even misleading. This is why we want to analyze them using a structured method before proceeding with a design.