Cleanroom Software Engineering: Technology and Process

15 Satellite Control System Clear Box Design

15.1 Clear Box Implementation

Following the completion of the state-based specification, clear box procedures and algorithms can be developed to implement the state box. The fundamentals of clear box design were provided in Chapter 4.

A summary of the work flow used in the portion of the SOS implementation presented in this chapter is provided in the following list:

Step 1: Select a high-level software architecture.

Step 2: Select an implementation for stimulus gathering.

1. For each stimulus, elaborate specifically how the running software will obtain the stimulus.

2. Plan for interrupt handlers, callbacks, or other mechanisms required to get stimuli.

Step 3: Select an implementation for response ...