类 型
6 篇文献
 
Evaluating coverage of error detection logic for soft errors using formal methods  
In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining fault-injection in high level design (HLD) descriptions with a formal verification approac......
Design, Automation, and Test in Europe  2006
20次引用 0 0
Real Time Fault Injection Using On Chip Debug Infrastructures - A Case Study  
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental for many mission critical computer based systems. This paper presents a case study on the possibilit......
0次引用 0 0
Experiences during the Experimental Validation of the Time-Triggered Architecture  
During last years, the time-triggered architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to implement the "x-by-wire......
Design, Automation, and Test in Europe  2004
0次引用 0 0
Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System  
This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdo......
European Dependable Computing Conference  1999
8次引用 0 0
Towards a Framework for Dependability Benchmarking  
The goal of dependability benchmarking is to provide generic ways for characterizing the behavior of components and computer systems in the presence of faults, allowing for the quantification of depen......
2次引用 0 0
A Study of the Effects of Transient Fault Injection into the VHDL Model of a Fault-Tolerant Microcomputer System  
This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdo......
International On-Line Testing Symposium  2000
24次引用 0 0

Feedback
Feedback
Feedback
我想反馈:
排行榜