Chapter 14. Preparing Control Specifications

14.1 Avoiding Control Specifications

In Sections 11.2 and 12.8, we have described the benefits of de-emphasizing the control model. Although this chapter addresses the preparation of CSPECs, it is worth reminding ourselves that we will put a CSPEC together only when we have thoroughly satisfied ourselves that it is really needed. In other words, we will put a CSPEC together only when we have satisfied ourselves that the requirement cannot be represented using the simple data triggered structured analysis model; that the decisions involved cannot easily be incorporated into one or more PSPECs, using simple IF statements; and that the requirement involves decisions affecting relatively major operating ...

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.