Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems-Reference-Cited by-同舟云学术

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

Published:1992 Issue: Volume: Page:237-257
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Rushby John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55092-5_13.pdf

Reference22 articles.

1. W.R. Bevier and W.D. Young. Machine-checked proofs of a Byzantine agreement algorithm. Technical Report 55, Computational Logic Incorporated, Austin, TX, June 1990.

2. W.R. Bevier and W.D. Young. The design and proof of correctness of a fault-tolerant circuit. In 2nd. International Working Conference on Dependable Computing for Critical Applications, pages 107–114, Tucson, AZ, February 1991. IFIP WG. 10.4.

3. Ricky W. Butler and Sally C. Johnson. The art of fault-tolerant system reliability modeling. NASA Technical Memorandum 102623, NASA Langley Research Center, Hampton, VA, March 1990.

4. Ben L. Di Vito, Ricky W. Butler, and James L. Caldwell. Formal design and verification of a reliable computing platform for real-time control. NASA Technical Memorandum 102716, NASA Langley Research Center, Hampton, VA, October 1990.

5. Ben L. Di Vito, Ricky W. Butler, and James L. Caldwell. High level design proof of a reliable computing platform. In 2nd. International Working Conference on Dependable Computing for Critical Applications, pages 124–136, Tucson, AZ, February 1991. IFIP WG. 10.4.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mixed Sensitivity Servo Control of Active Control Systems;Machines;2022-09-22

2. Rapid Recovery for Systems with Scarce Faults;Electronic Proceedings in Theoretical Computer Science;2012-10-07

3. Formal verification for fault-tolerant architectures: Some lessons learned;Lecture Notes in Computer Science;1993

4. Formal Techniques for Synchronized Fault-Tolerant Systems;Dependable Computing for Critical Applications 3;1993