Titlebook: Dependable Computing - EDCC-1; First European Depen Klaus Echtle,Dieter Hammer,David Powell Conference proceedings 1994 Springer-Verlag Ber

figment

Coverage of delay faults: When 13% and 99% mean the same,d definitions of delay fault testability are transformed into conditions that do not involve circuit delays. These conditions are subsequently used to develop a procedure for fast, simulation-free grading of delay faults. It is shown that, depending on what “detection of a delay fault by an input pa

Mystic

擁護(hù)

adduction

Injecting faults into environment simulators for testing safety critical software,ns we need to simulate the failure processes of the environment system. Such testing is essential for safety critical software, especially for protection software. However, due to the complexity of failure processes, the development of simulators of failure processes is complicated, expensive and di

大炮

diabetes

initiate

Zero aliasing compression based on groups of weakly independent outputs in circuits with high complof the groups of weakly independent outputs for large combinational circuits. The knowledge about the groups of weakly independent outputs is usable to reduce both the necessary number of output check bits for the built-in self-test in the average more than 80% with respect to the zero aliasing and

純樸

,Systematic and design diversity — Software techniques for hardware fault detection,Duplex System. If design fault detection is required, design diversity in the software has to be used, too. We suggest the combined utilization of so called . and . in a . system instead of the structural redundant Duplex System. For this purpose two . and . variants of an application program are ex

BLINK

Trypsin