Sciweavers

87 search results - page 12 / 18
» Fault Diagnosis Using Timed Automata
Sort
View
ITC
1999
IEEE
67views Hardware» more  ITC 1999»
13 years 12 months ago
Failure analysis of timing and IDDq-only failures from the SEMATECH test methods experiment
SEMATECH has sponsored a "Test Method Evaluation" study to understand the trade-offs among the most common test methodologies used in the industry[1,2]. This paper prese...
Phil Nigh, David P. Vallett, Atul Patel, Jason Wri...
NIPS
2007
13 years 9 months ago
Fast Variational Inference for Large-scale Internet Diagnosis
Web servers on the Internet need to maintain high reliability, but the cause of intermittent failures of web transactions is non-obvious. We use approximate Bayesian inference to ...
John C. Platt, Emre Kiciman, David A. Maltz
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
14 years 2 months ago
Simultaneous observer based sensor diagnosis and speed estimation of Unmanned Aerial Vehicle
In this contribution we investigate the problem of simultaneous observer based sensor diagnosis and speed estimation of Unmanned Aerial Vehicle (UAV). The main features lie in the...
Hugues Rafaralahy, Edouard Richard, M. Boutayeb, M...
SERA
2007
Springer
14 years 1 months ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
BDIM
2008
IEEE
141views Business» more  BDIM 2008»
14 years 2 months ago
Algorithm design and application of service-oriented event correlation
—The timely and efficient management of faults that affect the quality of services delivered to customers is an important issue for service providers with respect to their busin...
Andreas Hanemann, Patricia Marcu