loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh Pacific Rim International Symposium on Dependable Computing (PRDC'00)
Enforcing synchronous system properties on top of timed systems
Los Angeles, California
December 18-December 20
ISBN: 0-7695-0975-4
C. Fetzer, AT&T Labs Res., Florham Park, NJ, USA
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. However, a late message arrival or a missed deadline violates the properties of a completely synchronous system. Therefore, an application that depends upon these properties might violate its safety and timeliness properties due to a late message or a missed deadline. In this paper, we propose a family of protocols that enforce the synchronous system properties. These protocols transform performance and omission failures that cannot be masked into crash failures. The protocols are designed to be correct for any number of performance and omission failures: they run on top of timed systems extended by hardware watchdogs. The described approach is targeted towards "nearly synchronous systems", i.e., systems in which the probability of performance and omission failures is low but not negligible.
Index Terms:
computational complexity; protocols; fault tolerant computing; performance evaluation; synchronous system properties; timed systems; synchronous system model; complexity; dependable distributed system; missed deadline; protocols; performance; omission failures
Citation:
C. Fetzer, "Enforcing synchronous system properties on top of timed systems," prdc, pp.185, Seventh Pacific Rim International Symposium on Dependable Computing (PRDC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.