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.