Sciweavers

2400 search results - page 99 / 480
» Systems Failures
Sort
View
WDAG
1990
Springer
72views Algorithms» more  WDAG 1990»
14 years 1 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
14 years 2 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
14 years 2 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
ICSE
2000
IEEE-ACM
14 years 19 days 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
PTS
2007
102views Hardware» more  PTS 2007»
13 years 10 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