The growing usage of electronic systems in safety-critical applications requires effective solutions to early identify possible faults affecting the hardware while it is in the operational phase. A possible approach leverages functional programs to be run by the CPU typically existing in such systems. These programs must exercise the different parts of the system, and produce a behavior different than the normal one in case of faults. However, their effectiveness depends on the adopted observation mechanism, which is deeply affected by the constraints imposed by the in-field application environment. This paper first describes different mechanisms for supporting the observation of possible fault effects; then, it reports and discusses the re...
The rapid progress made in integrating enormous numbers of transistors on a single chip is making it...
With continued CMOS scaling, future shipped hardware will be increasingly vulnerable to in-the-field...
There is broad consensus among academic and industrial researchers in computer architecture that har...
The growing usage of electronic systems in safety-critical applications requires effective solutions...
The usage of electronic systems in safety-critical applications requires mechanisms for the early de...
The growing usage of electronic systems in safety- and mission-critical applications, together wi...
Abstract. Intermittent failures and nondeterministic behavior complicate and compromise the effectiv...
Submitted on behalf of EDAA (http://www.edaa.com/)International audienceFunctional verification of m...
Functional verification of microprocessors is one of the most complex and expensive tasks in the cur...
The complexity of modern embedded processors used in safety-critical applications requires in-field ...
ISBN: 044486282XA global fault-model of a microprocessing unit is presented. Fault hypothesis for bo...
The improvement of dependability in computing systems requires the evaluation of fault tolerance mec...
When the result of a previous instruction is needed in the pipeline before it is available, a “data ...
The effects of permanent faults, arising along working life of digital electronic systems, may impac...
The paper is dealing with the in-field test of the decode unit of RISC processors through functional...
The rapid progress made in integrating enormous numbers of transistors on a single chip is making it...
With continued CMOS scaling, future shipped hardware will be increasingly vulnerable to in-the-field...
There is broad consensus among academic and industrial researchers in computer architecture that har...
The growing usage of electronic systems in safety-critical applications requires effective solutions...
The usage of electronic systems in safety-critical applications requires mechanisms for the early de...
The growing usage of electronic systems in safety- and mission-critical applications, together wi...
Abstract. Intermittent failures and nondeterministic behavior complicate and compromise the effectiv...
Submitted on behalf of EDAA (http://www.edaa.com/)International audienceFunctional verification of m...
Functional verification of microprocessors is one of the most complex and expensive tasks in the cur...
The complexity of modern embedded processors used in safety-critical applications requires in-field ...
ISBN: 044486282XA global fault-model of a microprocessing unit is presented. Fault hypothesis for bo...
The improvement of dependability in computing systems requires the evaluation of fault tolerance mec...
When the result of a previous instruction is needed in the pipeline before it is available, a “data ...
The effects of permanent faults, arising along working life of digital electronic systems, may impac...
The paper is dealing with the in-field test of the decode unit of RISC processors through functional...
The rapid progress made in integrating enormous numbers of transistors on a single chip is making it...
With continued CMOS scaling, future shipped hardware will be increasingly vulnerable to in-the-field...
There is broad consensus among academic and industrial researchers in computer architecture that har...