AND
发表于 2025-3-25 06:11:52
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
发表于 2025-3-25 10:32:03
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
黄油没有
发表于 2025-3-25 14:05:49
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
为现场
发表于 2025-3-25 19:11:35
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
纯朴
发表于 2025-3-25 20:13:26
http://reply.papertrans.cn/27/2658/265718/265718_25.png
承认
发表于 2025-3-26 01:27:01
http://reply.papertrans.cn/27/2658/265718/265718_26.png
猜忌
发表于 2025-3-26 05:52:59
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
主动
发表于 2025-3-26 09:58:14
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
发表于 2025-3-26 13:07:25
http://reply.papertrans.cn/27/2658/265718/265718_29.png
CARE
发表于 2025-3-26 20:30:19
http://reply.papertrans.cn/27/2658/265718/265718_30.png