12 Satellite Control System Requirements

12.1 The Satellite Control System Case Study

A case study is presented in Part III for a sufficiently large system to illustrate scalability of Cleanroom processes and their associated work products. The case study involves development of embedded software for a Satellite Control System (SCS), and is based on requirements and specifications included in the Object-Orientation/Cleanroom Integration Study by Ett and Trammell (1996). The case study includes:

• Black box specification, Chapter 13

• State box specification, Chapter 14

• Clear box design, Chapter 15

• Statistical testing plans and models, Chapter 16

The case study does not contain examples of all work products from Part II, due to space limitations. ...

Get Cleanroom Software Engineering: Technology and Process 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.