Sciweavers

1192 search results - page 95 / 239
» Variation-Aware Fault Modeling
Sort
View
107
Voted
SIGOPSE
1990
ACM
15 years 7 months 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
121
Voted
HASE
1998
IEEE
15 years 7 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
121
Voted
ECSQARU
2009
Springer
15 years 10 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
120
Voted
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 7 months 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...
JSS
2008
113views more  JSS 2008»
15 years 3 months ago
A model for software rework reduction through a combination of anomaly metrics
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
Lars-Ola Damm, Lars Lundberg, Claes Wohlin