Chapter 27. Home Heating System

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.

27.1 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.

Heating ...

Get Strategies for Real-Time System Specification now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.