A Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems

This publication has 10 references indexed in Scilit:

• Design Choices In Specification Languages And Verification Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Formal verification of algorithms for critical systems
  IEEE Transactions on Software Engineering, 1993
• High Level Design Proof of a Reliable Computing Platform
  Published by Springer Nature ,1992
• The Proof of Correctness of a Fault-Tolerant Circuit Design
  Published by Springer Nature ,1992
• Fault-tolerant parallel processor
  Journal of Guidance, Control, and Dynamics, 1991
• Implementing fault-tolerant services using the state machine approach: a tutorial
  ACM Computing Surveys, 1990
• Distributed fault-tolerant real-time systems: the Mars approach
  IEEE Micro, 1989
• The MAFT architecture for distributed fault tolerance
  IEEE Transactions on Computers, 1988
• Reaching Agreement in the Presence of Faults
  Journal of the ACM, 1980
• SIFT: Design and analysis of a fault-tolerant computer for aircraft control
  Proceedings of the IEEE, 1978