339 search results - page 14 / 68 » Modeling Faults of Distributed, Reactive Systems |
114
Voted
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
112
Voted
SPRINGSIM
2010
14 years 11 months ago
2010
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
SSS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
123
click to vote
SRDS
1993
IEEE
15 years 4 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
93
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...