Cleanroom Software Engineering: Technology and Process

14 Satellite Control System State Box Specification

14.1 State Box Specification

With the black box completed in Chapter 13, development of the state box specification can begin. The state box progresses toward the implementation by moving from an external, sequence-based view of the system to a state-based view. The state box is derived from the black box. Completeness and consistency were established at the black box and need only be preserved.

The basic work flow for creating a state-based specification from a sequence-based specification is given in Chapter 4 and in the Cleanroom Specification Process defined in Chapter 8. The instantiation used to produce the SOS state box is summarized in the following list:

Step 1: Invent the state data. ...