Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
Open Access
- 1 January 1992
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 237-257
- https://doi.org/10.1007/3-540-55092-5_13
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The Proof of Correctness of a Fault-Tolerant Circuit DesignPublished by Springer Science and Business Media LLC ,1992
- Formal verification of algorithms for critical systemsPublished by Association for Computing Machinery (ACM) ,1991
- Fault-tolerant parallel processorJournal of Guidance, Control, and Dynamics, 1991
- Implementing fault-tolerant services using the state machine approach: a tutorialACM Computing Surveys, 1990
- Distributed fault-tolerant real-time systems: the Mars approachIEEE Micro, 1989
- The MAFT architecture for distributed fault toleranceIEEE Transactions on Computers, 1988
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978