Real-time systems demand logical, rigorous procedures for requirements analysis, to provide a framework for defining and dealing with complex and constantly changing situations. This book offers a complete and practical guide to the structured methods supporting this process.

A step-by-step description of the analysis procedure is amply illustrated by detailed definitions of the graphical modelling tools required. The book overflows with examples of the methods in application in a variety of working systems. The importance of quality control and the key role of the project manager in maintaining an efficient system are stressed.

Covering real-time applications in areas such as plant control and management, signal processing and robotics, this promises to be an indispensable refernce source for practising and aspiring systems analysts, as well as had software engineers.

1. Modelling Complex Systems
2. Behaviour Modelling Tools
3. Systems Modelling Procedure
4. Essential Environment Modelling
5. Essential Behaviour Modelling
6. Validation of the Essential Model

Wiley Series in Software Engineering Practice