Titlebook: Dependable Computing for Critical Applications 2; John F. Meyer,Richard D. Schlichting Conference proceedings 1992 Springer-Verlag/Wien 19

Glaci冰

Boycott

A Distributed Systems Architecture Supporting High Availability and Reliabilityted by replicating the computations on two distinct and dedicated processors which check each other’s performance to form a self-checking processor pair. Given that no more than one processor in a fail-silent node fails, the node is guaranteed either to function correctly or to effectively stop func

endoscopy

根除

Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Eventsdiscrete event dynamic systems which are strongly influenced by rarely occurring events. FIS is based on decomposition of the observations in those that are affected and those that are not affected by these events. If methods are available FIS can be used as a (partly) analytical technique, else as

fulcrum

燕麥

思考而得

開玩笑

Assuring Design Diversity in ,-Version Software: A Design Paradigm for ,-Version Programminge of software diversity. To maximize the effectiveness of the NVP approach, the probability of similar errors that coincide at the NVS decision points should be reduced to the lowest possible value. Design diversity is potentially an effective method to get this result. It has been the major concern

Emasculate

insightful

The Proof of Correctness of a Fault-Tolerant Circuit Designrithm has been verified to achieve interactive consistency in the presence of faults[1]. This abstract characterization is then mapped down to a hardware level design which inherits the fault-tolerant characteristics of the abstract version. The proof that the hardware level description is a correct