The dependability problem: Introduction and verification of fault tolerance for a very complex system

A. Avizienis
1987-12-01
Abstract:The Advanced Automation System must meet availability requirements that pose new and severe challenges to designers and analysts of fault-tolerant systems. The problems of introducing sufficient fault tolerance and verifying its effectiveness are discussed in the context of AAS requirements.
What problem does this paper attempt to address?