Notes on testing real-time system programs

Pending appearance in the literature of a systematic and complete treatment, these notes are intended as a partial check-list for the systems engineer installing a real-time system. Although based on the implementation of an airline reservation system, the notes are generally applicable to large systems of similar complexity.