Computers as Components, 2nd Edition

9.3 Specifications 451

and Statecharts is that don’t-cares are explicitly represented in the table, which was

found to be of great help in identifying problems in a specification table.

9.3.2 Advanced Specifications

This section is devoted to a single example of a sophisticated system. Application

Example 9.2 describes the specification of a real-world, safety-critical system used

in aircraft. The specification techniques developed to ensure the correctness and

safety of this system can also be used in many applications, particularly in systems

where much of the complexity goes into the control structure.

Application Example 9.2

The TCAS II specification

TCAS ...