A Rigorous Approach to Fault-Tolerant System Development (Extended Abstract)

Keywords

Correctness, Computer science, Reliability (semiconductor), Software fault tolerance, Fault tolerance

References

• Analysis and Synthesis of Computer SystemsErol Gelenbe, Isi Mitrani — 1980
• SIFT: Design and analysis of a fault-tolerant computer for aircraft controlJohn H. Wensley, Leslie Lamport, Jack Goldberg — 1978
• Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control SystemMelliar-Smith, Schwartz — 1982
• Correct and Robust ProgramsFlaviu Cristian — 1984
• Crash Recovery in a Distributed Data Storage SystemButler Lampson, Howard E. Sturgis — 1981

Cited by

• A Technique for Estimating Performance of Fault-Tolerant ProgramsRichard D. Schlichting — 1985
• Robust data storage in a network of computer systemsJosephine Ada Anyanwu — 1984
• Redundancy classification for fault tolerant computer designA. Pakštas, Igor Schagaev, Janusz Zalewski — 2001
• A Rigorous Approach to Fault-Tolerant ProgrammingFlaviu Cristian — 1985
• A reliable stable storage system for unixJ. A. Anyanwu — 1985
• Beyond functional behavior: combining methods to specify different classes of properties of large systemsJeannette M. Wing — 1985
• Specifying graceful degradation in distributed systemsMaurice Herlihy, J. M. Wing — 1987
• Towards a formal framework for fault-toleranceHenk Schepers — 1990
• A crash resistant UNIX file systemJ. A. Anyanwu, Lindsay Marshall — 1986
• Specifying Graceful DegradationMaurice Herlihy, J.M. Wing — 1991
• Extending Statecharts with Temporal LogicArcot Sowmya, S. Ramesh — 1998
• Extending Ina Jo with Temporal LogicJ.M. Wing, M.R. Nixon — 1989
• Toward a fault-tolerant processor for medical applicationsDavid F. McAllister, H. Troy Nagle — 1988
• Formale Methoden zur Erstellung robuster SoftwareE. Best — 1984

Related papers

• Starting a Dialog between Model Checking and Fault-tolerant Distributed AlgorithmsAnnu John, Igor Konnov, Ulrich Schmid — 2012
• Formal and Fault Tolerant DesignAmmar Aljer, Hal Id Hal, Ammar Aljer — 2012
• Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithmEvgeniy Shishkin — 2017
• Efficient verification of fault-tolerant message-passing protocolsPéter Bokor — 2011
• Approximations, anomalies and "the proof of correctness wars"Leona F. Fass — 2004
• Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs"Best, Cristian Cristian — 1985
• Specification and verification of fault-tolerance, timing, and schedulingZhiming Liu, Mathai Joseph — 1999