Sciweavers

1187 search results - page 98 / 238
» On Modeling Cross-Talk Faults
Sort
View
SIGOPSE
1990
ACM
14 years 29 days ago
Fault tolerance using group communication
We propose group communication as an efficient mechanism to support fault tolerance. Our approach is based on an efficient reliable broadcast protocol that requires on average onl...
M. Frans Kaashoek, Andrew S. Tanenbaum
HASE
1998
IEEE
14 years 1 months ago
Log-Logistic Software Reliability Growth Model
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate ...
Swapna S. Gokhale, Kishor S. Trivedi
ECSQARU
2009
Springer
14 years 3 months ago
The Probabilistic Interpretation of Model-Based Diagnosis
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
Ildikó Flesch, Peter J. F. Lucas
CAV
2010
Springer
173views Hardware» more  CAV 2010»
14 years 8 days ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
AUTOMATICA
2006
66views more  AUTOMATICA 2006»
13 years 9 months ago
Robust residual generation for diagnosis including a reference model for residual behavior
: The main goal when synthesizing robust residual generators, for diagnosis and supervision, is to attenuate influence from model uncertainty on the residual while keeping fault de...
Erik Frisk, Lars Nielsen