Sciweavers

176 search results - page 1 / 36
» An error simulation based approach to measure error coverage...
Sort
View
GLVLSI
2002
IEEE
73views VLSI» more  GLVLSI 2002»
13 years 9 months ago
An error simulation based approach to measure error coverage of formal properties
Paolo Azzoni, Andrea Fedeli, Franco Fummi, Grazian...
DATE
2006
IEEE
141views Hardware» more  DATE 2006»
13 years 10 months ago
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 faultinjection in high level design (HLD) descriptions with a forma...
Udo Krautz, Matthias Pflanz, Christian Jacobi 0002...
CDES
2006
101views Hardware» more  CDES 2006»
13 years 6 months ago
Hybrid Error-Detection Approach with No Detection Latency for High-Performance Microprocessors
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
Yung-Yuan Chen, Kuen-Long Leu, Li-Wen Lin
ICRA
2000
IEEE
96views Robotics» more  ICRA 2000»
13 years 9 months ago
Fault Detection for Robot Manipulators with Parametric Uncertainty: A Prediction Error Based Approach
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...
Warren E. Dixon, Ian D. Walker, Darren M. Dawson, ...
UML
2004
Springer
13 years 10 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...