Titlebook: Dependable Computing - EDCC-2; Second European Depe Andrzej Hlawiczka,João Gabriel Silva,Luca Simoncin Conference proceedings 1996 Springer

AND

Fault injection evaluation of assigned signatures in a RISC processor,valuation of this technique in a modern reduced instruction set processor (RISC). VASC is applied at the machine instructions level and is the very first assigned signature monitoring technique that allows the user to choose block sizes and checking intervals with complete freedom. This feature allo

fatty-acids

An evaluation of the error detection mechanisms in MARS using software-implemented fault injection, Real-Time System (MARS) is a computer system where the hardware, operating system, and application level error detection mechanisms are designed to ensure the fail silence of nodes with a high probability..The goal of this paper is two-fold: First, the error detection capabilities of the different

黄油没有

Dependability modeling and analysis of complex control systems: An application to railway interlocksoftware. It takes into account all aspects of their interactions (including correlation between the diverse software variants) and of the criticality of the several components. Our approach has been to realise the system model in a structured way. This allows to cope with complexity and to focus, w

为现场

The effect of interfailure time variability on the software reliability growth modelling,nts, are outlined that cast a doubt on the commonly adopted concept of failures ‘ occurrence as a Poisson (either homogeneous or non-homogeneous) process. On a contrived (but plausible for the software practice) example the consequences of this assumption, in some cases inappropriate for the softwar

纯朴

承认

猜忌

Compiler assisted self-checking of structural integrity using return address hashing,h is embedded into the program using a modified GNU C-compiler. Using the return address register as the state variable of the FSM no data overhead occurs. Employing a Compiler for the embedding of the redundant code into the program permits the exploitation of delay slots and jump optimizations for

主动

Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels,r status information to dynamically construct a broadcast spanning tree when up to .−1 faults are present in an .×. two-dimensional mesh. Correctness proofs for the proposed broadcasting algorithm are presented and the algorithm is also proven to be livelock- and deadlock-free. The proposed Virtual

Flatter

CARE