Semantic Scholar uses AI to extract papers important to this topic.
Software patterns have revolutionized the way developers and architects think about how software is designed, built and… Expand This paper presents an algorithm for evaluating reliability and expected execution time for systems consisting of fault-tolerant… Expand ion and object-oriented organization, Event-based, implicit invocation Pattern-Oriented Software Architecture, A System of… Expand Model-based performability evaluation is used to assess and improve the effectiveness of fault-tolerant software. The evaluation… Expand Four implementations of fault-tolerant software techniques are evaluated with respect to hardware and design faults. Project… Expand In situations in which computers are used to manage life-critical situations, software errors that could arise due to inadequate… Expand Six functionally equivalent programs were tested with specification based random and extremal/special value (ESV) test cases… Expand Evolution of the N-version software approach to the tolerance of design faults is reviewed. Principal requirements for the… Expand Limitations in the current capabilities for verifying programs by formal proof or by exhaustive testing have led to the… Expand To deal with hardware reliability requirements of critical real-time computer applications, fault-tolerance provisions have… Expand