Strategies for Real-Time System Specification

List of Figures

A Map of the Book

1.1 The universal hierarchy of systems

1.2 The total system life cycle

2.1 Vending machine DFD

2.2 Vending machine PSPEC

2.3 Composite data entries from vending machine dictionary

2.4 Vending machine CFD

2.5 Vending machine CSPEC

2.6 Primitive control entries from vending machine dictionary

2.7 The structure of the requirements model

2.8 Vending machine AFD

2.9 Vending machine AMS

2.10 Vending machine architecture dictionary entries

2.11 Vending machine AID

2.12 Vending machine AIS

2.13 Augmented vending machine architecture dictionary

2.14 The structure of the architecture model

2.15 The formation of the system specification

2.16 Requirements-to-architecture iterative loop

2.17 System, software, and hardware ...