References for chapter II

[1]  W. R. Moore,et al.  A review of synchronisation and matching in fault-tolerant systems , 1984 .

[2]  Fred B. Schneider,et al.  Byzantine generals in action: implementing fail-stop processors , 1984, TOCS.

[3]  Jacques Losq,et al.  A Highly Efficient Redundancy Scheme: Self-Purging Redundancy , 1975, IEEE Transactions on Computers.

[4]  Krishan K. Sabnani,et al.  Spare Capacity as a Means of Fault Detection and Diagnosis in Multiprocessor Systems , 1989, IEEE Trans. Computers.

[5]  Paul D. Ezhilchelvan,et al.  A Characterisation of Faults in Systems , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[6]  Jim Gray,et al.  Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[7]  Richard G. Hamlet,et al.  Partition Testing Does Not Inspire Confidence , 1990, IEEE Trans. Software Eng..

[8]  J. Michael Spivey.  Specifying a real-time kernel , 1990, IEEE Software.

[9]  John C. Knight,et al.  A Framework for Software Fault Tolerance in Real-Time Systems , 1983, IEEE Transactions on Software Engineering.

[10]  Bernd Krieg-Brückner,et al.  Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development , 1989, TAPSOFT, Vol.2.

[11]  Elaine J. Weyuker,et al.  On Testing Non-Testable Programs , 1982, Comput. J..

[12]  Kyung-Yong Chwa,et al.  Schemes for Fault-Tolerant Computing: A Comparison of Modularly Redundant and t-Diagnosable Systems , 1981, Inf. Control..

[13]  Santosh K. Shrivastava,et al.  Reliable Resource Allocation Betvveen Unreliable Processes , 1978, IEEE Transactions on Software Engineering.

[14]  K.H. Kim,et al.  A highly decentralized implementation model for the programmer-transparent coordination (PTC) scheme for cooperative recovery , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[15]  Brian Randell,et al.  Error recovery in asynchronous systems , 1986, IEEE Transactions on Software Engineering.

[16]  GERNOT METZE,et al.  On the Connection Assignment Problem of Diagnosable Systems , 1967, IEEE Trans. Electron. Comput..

[17]  Kenneth P. Birman,et al.  Exploiting virtual synchrony in distributed systems , 1987, SOSP '87.

[18]  Stuart H. Zweben,et al.  Measuring the quality of structured designs , 1981, J. Syst. Softw..

[19]  RICHARD KOO,et al.  Checkpointing and Rollback-Recovery for Distributed Systems , 1986, IEEE Transactions on Software Engineering.

[20]  Robert L. Glass.  Real-time: the “Lost World” of software debugging and testing , 1980, CACM.

[21]  Jean Arlat,et al.  Definition and analysis of hardware- and software-fault-tolerant architectures , 1990, Computer.

[22]  Roy H. Campbell,et al.  Atomic actions for fault-tolerance using CSP , 1986, IEEE Transactions on Software Engineering.

[23]  C. Hennebert,et al.  SACEM software validation , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[24]  Peter A. Barrett,et al.  Using passive replicates in Delta-4 to provide dependable distributed computing , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[25]  Jaynarayan H. Lala,et al.  Hardware and software fault tolerance: a unified architectural approach , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[26]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[27]  Simeon C. Ntafos,et al.  ON TESTING WITH REQUIRED ELEMENTS. , 1981 .

[28]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[29]  Hirokazu Ihara,et al.  Dependable onboard computer systems with a new method-stepwise negotiating voting , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[30]  P. M. Melliar-Smith,et al.  A program structure for error detection and recovery , 1974, Symposium on Operating Systems.

[31]  Peter A. Lee.  A Reconsideration of the Recovery Block Scheme , 1978, Comput. J..

[32]  Kang G. Shin,et al.  Evaluation of Error Recovery Blocks Used for Cooperating Processes , 1984, IEEE Transactions on Software Engineering.

[33]  Kwang-Hae Kim,et al.  Approaches to implementation of a repairable distributed recovery block scheme , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[34]  A. Avizienis,et al.  Dependable computing: From concepts to design diversity , 1986, Proceedings of the IEEE.

[35]  David F. McAllister,et al.  Fault-Tolerant SoFtware Reliability Modeling , 1987, IEEE Transactions on Software Engineering.

[36]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[37]  Richard D. Schlichting,et al.  Fail-stop processors: an approach to designing fault-tolerant computing systems , 1983, TOCS.

[38]  Geneva G. Belford,et al.  SIMULATIONS OF A FAULT-TOLERANT DEADLINE MECHANISM. , 1979 .

[39]  David L. Russell,et al.  State Restoration in Systems of Communicating Processes , 1980, IEEE Transactions on Software Engineering.

[40]  Jean Arlat,et al.  Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..

[41]  Andrea Bondavalli,et al.  Failure classification with respect to detection , 1990, [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems.

[42]  K. Grimm.  An Effective Strategy and Automation Concepts for Systematic Testing of Safety Related Software , 1989 .

[43]  David Lorge Parnas,et al.  Evaluation of safety-critical software , 1990, CACM.

[44]  Peter A. Barrett,et al.  Software Fault Tolerance: An Evaluation , 1985, IEEE Transactions on Software Engineering.

[45]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[46]  William E. Weihl,et al.  Implementation of resilient, atomic data types , 1985, TOPL.

[47]  Barbara Liskov,et al.  Distributed programming in Argus , 1988, CACM.

[48]  Krishan K. Sabnani,et al.  The Comparison Approach to Multiprocessor Fault Diagnosis , 1987, IEEE Transactions on Computers.

[49]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[50]  Lorenzo Strigini,et al.  Adjudicators for diverse-redundant components , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[51]  Dave E. Eckhardt,et al.  A theoretical investigation of generalized voters for redundant systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[52]  Ronald L. Rivest,et al.  ON DATA BANKS AND PRIVACY HOMOMORPHISMS , 1978 .

[53]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[54]  Paulo Veríssimo.  Redundant media mechanisms for dependable communication in token-bus LANs , 1988, Proceedings [1988] 13th Conference on Local Computer Networks.

[55]  Helmuth Partsch,et al.  Formalizing Informal Reuqirments. Some Aspects , 1989, Algebraic Methods.

[56]  Johan Karlsson,et al.  The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor , 1989, Fehlertolerierende Rechensysteme.

[57]  Maurice Herlihy,et al.  Apologizing versus asking permission: optimistic concurrency control for abstract data types , 1990, TODS.

[58]  Paul Ammann,et al.  Data Diversity: An Approach to Software Fault Tolerance , 1988, IEEE Trans. Computers.

[59]  K. H. Kim,et al.  Temporal uncertainties in interactions among real-time objects , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[60]  K. H. Kim,et al.  Distributed Execution of Recovery Blocks: An Approach to Uniform Treatment of Hardware and Software Faults , 1984, IEEE International Conference on Distributed Computing Systems.

[61]  Algirdas Avizienis,et al.  Fault Tolerance by Design Diversity: Concepts and Experiments , 1984, Computer.

[62]  Gerald M. Masson,et al.  Using certification trails to achieve software fault tolerance , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[63]  Sampath Rangarajan,et al.  A probabilistic method for fault diagnosis of multiprocessor systems , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[64]  Tom Anderson.  A Structured Decision Mechanism for Diverse Software , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[65]  Parameswaran Ramanathan,et al.  Checkpointing and rollback recovery in a distributed system using common time base , 1988, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems.

[66]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[67]  Charles E. McDowell,et al.  Debugging concurrent programs , 1989, ACM Comput. Surv..

[68]  Louise E. Moser,et al.  Formal verification of safety‐critical systems , 1990, Softw. Pract. Exp..

[69]  Brian Randell.  Fault Tolerance and System Structuring , 1984 .

[70]  Nancy G. Leveson,et al.  An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.

[71]  David F. McAllister,et al.  An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability , 1991, IEEE Trans. Software Eng..

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

[73]  Kenneth P. Birman.  Replication and fault-tolerance in the ISIS system , 1985, SOSP 1985.

[74]  T. W. Anderson,et al.  Resilient Computing Systems , 1987 .

[75]  Pattie Maes.  Concepts and experiments in computational reflection , 1987, OOPSLA 1987.

[76]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[77]  Helmuth Partsch,et al.  From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming , 1989, Sci. Comput. Program..

[78]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

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

[80]  Michel Banâtre,et al.  The Concept of Multi-function: A General Structuring Tool for Distributed Operating System , 1986, ICDCS.

[81]  K. H. Kim,et al.  Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications , 1989, IEEE Trans. Computers.

[82]  Paulo Veríssimo,et al.  The Delta-4 extra performance architecture (XPA) , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[83]  Hermann Kopetz,et al.  Fault tolerance, principles and practice , 1990 .

[84]  Richard A. Kemmerer,et al.  Testing Formal Specifications to Detect Design Errors , 1985, IEEE Transactions on Software Engineering.

[85]  David F. McAllister,et al.  The consensus recovery block , 1983 .

[86]  Jean-Claude Laprie,et al.  The transformation approach to the modeling and evaluation of the reliability and availability growth , 1990 .

[87]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[88]  Giuseppe Attardi,et al.  Metalevel Programming in CLOS , 1989, ECOOP.

[89]  Robbert van Renesse,et al.  Amoeba A Distributed Operating System for the 1990 s Sape , 1990 .

[90]  Flaviu Cristian,et al.  Exception Handling and Software Fault Tolerance , 1982, IEEE Transactions on Computers.

[91]  Brian Randell.  Design Fault Tolerance , 1986 .

[92]  Hassan Gomaa.  Software development of real-time systems , 1986, CACM.

[93]  Niv Ahituv,et al.  Processing encrypted data , 1987, CACM.

[94]  Pascal Traverse.  AIRBUS and ATR System Architecture and Specification , 1988 .

[95]  Elaine J. Weyuker,et al.  Evaluating Software Complexity Measures , 2010, IEEE Trans. Software Eng..

[96]  Adi Shamir,et al.  How to share a secret , 1979, CACM.

[97]  K. H. Kim,et al.  Approaches to Mechanization of the Conversation Scheme Based on Monitors , 1982, IEEE Transactions on Software Engineering.

[98]  Parker,et al.  Design for Testability—A Survey , 1982, IEEE Transactions on Computers.

[99]  Elaine J. Weyuker,et al.  Theories of Program Testing and the Application of Revealing Subdomains , 1980, IEEE Transactions on Software Engineering.

[100]  Özalp Babaoglu,et al.  On the reliability of consensus-based fault-tolerant distributed computing systems , 1987, TOCS.

[101]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[102]  Barry W. Johnson.  Design & analysis of fault tolerant digital systems , 1988 .

[103]  Michel Gondran,et al.  System reliability: evaluation & prediction in engineering , 1986 .

[104]  Douglas M. Blough,et al.  A comparison of voting strategies for fault-tolerant distributed systems , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[105]  D. B. Lomet.  Process structuring, synchronization, and recovery using atomic actions , 1977 .

[106]  Stephen J. Garland,et al.  Using LP to Debug Specifications , 1990, Programming Concepts and Methods.

[107]  Maurice Herlihy,et al.  Inheritance of synchronization and recovery properties in Avalon/C++ , 1988, Computer.

[108]  David R. Cheriton,et al.  The V distributed system , 1988, CACM.

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

[110]  W. Schutz,et al.  A test strategy for the distributed real-time system MARS , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.