1192 search results - page 14 / 239 » Variation-Aware Fault Modeling |
71
Voted
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
86
Voted
DAC
2005
ACM
14 years 11 months ago
2005
ACM
1 This paper presents a transient faults sensitivity evaluation for Quasi Delay Insensitive (QDI) asynchronous circuits. Because of their specific architecture, asynchronous circui...
113
Voted
FM
2003
Springer
15 years 2 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
100
Voted
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
DAC
2000
ACM
15 years 1 months ago
2000
ACM
Real defects (e.g. stuck-at or bridging faults) in the VLSI circuits cause intermediate voltages and can not be modeled as ideal shorts. In this paper we first show that the trad...