408 search results - page 7 / 82 » Statistical Fault Injection |
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
IOLTS
2002
IEEE
14 years 14 days ago
2002
IEEE
A silicon independent C-Based model of the TTP/C protocol was implemented within the EU-founded project FIT. The C-based model is integrated in the C-Sim simulation environment. T...
DDECS
2007
IEEE
14 years 1 months ago
2007
IEEE
– The implementation and the fault simulation technique for the highly reliable digital design using two FPGAs under a processor control is presented. Two FPGAs are used for dupl...
GLVLSI
1998
IEEE
13 years 11 months ago
1998
IEEE
AROBOTS
2008
13 years 7 months ago
2008