Enforcing Synchronous System Properties on Top of Timed Systems

Research output: Contribution to conferencesPaperContributedpeer-review

Abstract

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.

Details

Original languageEnglish
Pages185-192
Number of pages8
Publication statusPublished - 2000
Peer-reviewedYes

Conference

Title2000 Pacific Rim International Symposium on Dependable Computing
Abbreviated titlePRDC 2000
Conference number
Duration20 December 2000
Degree of recognitionInternational event
Location
CityLos Angeles
CountryUnited States of America

External IDs

Scopus 84949499491

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards

Keywords

  • protocols, Computer crashes, power system modeling, safety, upper bound, operating systems, modems, programming profession, computational complexity, performance evaluation, synchronous system properties, timed systems, dependable distributed system, missed deadline, omission failures