Microcomputer real time software reliability and fault recovery

Abstract An analysis of microcomputer software reliability is formulated; it is particularly applicable to real time control systems. Program structure and error recovery techniques are presented. An example of an oven controlled by a microcomputer is given and the practical implications of the theory are outlined and discussed.

[1]  Brian Randell.  System structure for software fault tolerance , 1975 .

[2]  R. J. Rubey,et al.  Quantitative aspects of software validation , 1975 .

[3]  A.L. Hopkins,et al.  FTMP—A highly reliable fault-tolerant multiprocess for aircraft , 1978, Proceedings of the IEEE.

[4]  H. Hecht,et al.  Fault-Tolerant Software for Real-Time Applications , 1976, CSUR.

[5]  S. S. Yau,et al.  Design of self-checking software , 1975 .

[6]  E. F. Miller,et al.  Automated generation of testcase datasets , 1975 .

[7]  John B. Bowen.  A Survey of Standards and Proposed Metrics for Software Quality Testing , 1979, Computer.

[8]  Eugene R. Hnatek.  Microprocessor device reliability , 1977, Microprocess..

[9]  Hermann Kopetz.  Software Reliability , 1979 .

[10]  Algirdas Avizienis,et al.  The STAR (Self-Testing And Repairing) Computer: An Investigation of the Theory and Practice of Fault-Tolerant Computer Design , 1971, IEEE Transactions on Computers.

[11]  Kameyama,et al.  Design of Dependent-Failure-Tolerant Microcomputer System Using Triple-Modular Redundancy , 1980, IEEE Transactions on Computers.

[12]  Algirdas Avižienis.  Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing , 1975 .

[13]  J. Goldberg,et al.  SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.

[14]  John F. Wakerly,et al.  Transient Failures in Triple Modular Redundancy Systems with Sequential Modules , 1975, IEEE Transactions on Computers.

[15]  David J. Taylor,et al.  Special Feature A Survey of Methods of Achieving Reliable Software , 1977, Computer.

[16]  William A. Wulf.  Reliable hardware/software architecture , 1975 .

[17]  Stephen S. Yau,et al.  Concurrent software fault detection , 1975, IEEE Transactions on Software Engineering.

[18]  Werner Geiger,et al.  Program Testing Techniques for Nuclear Reactor Protection Systems , 1979, Computer.