Design of fault-tolerant systems

Abstract

Design features (e.g. reliability, maintainability, and testability) of systems designed to tolerate faults which could compromise the safe and secure operation of a system are discussed. Design automation issues are discussed with a focus on the future. The reliability of proposed systems is assessed using HARP, the hybrid automated reliability predictor, a software package for reliability prediction.<>