Sciweavers

2400 search results - page 99 / 480
» Systems Failures
Sort
View
97
Voted
WDAG
1990
Springer
72views Algorithms» more  WDAG 1990»
15 years 6 months ago
Common Knowledge and Consistent Simultaneous Coordination
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...
Gil Neiger, Mark R. Tuttle
ICDCS
2005
IEEE
15 years 8 months ago
The Impossibility of Boosting Distributed Service Resilience
We prove two theorems saying that no distributed system in which processes coordinate using reliable registers and -resilient services can solve the consensus problem in the prese...
Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, ...
EDCC
2005
Springer
15 years 8 months ago
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
106
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
Software engineering for real-time: a roadmap
The next ten years will see distributed real-time computer systems replacing many mechanical and hydraulic control systems in high-dependability applications. In these application...
Hermann Kopetz
145
Voted
PTS
2007
102views Hardware» more  PTS 2007»
15 years 3 months ago
Testing and Model-Checking Techniques for Diagnosis
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
Maxim Gromov, Tim A. C. Willemse