Designing real-time dependable distributed systems

Abstract The concepts of distribution, real-time and dependability have been investigated more or less separately until recently. This article reviews these concepts and, based on rigorous definitions, attempts to clarify some of the most important design issues raised with real-time dependable distributed computing systems. In particular, some popular misconceptions are examined, as well as the relationship existing between predictability and assumption complexity. The paper also investigates the relationships existing between the three areas of distribution, real-time and dependability, and focuses on the issue of algorithmic compatibility, whose importance has not yet been fully acknowledged.

[1]  David K. Gifford,et al.  Weighted voting for replicated data , 1979, SOSP '79.

[2]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[3]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[4]  Ira B. Greenberg,et al.  Single-level multiversion schedulers for multilevel secure database systems , 1990, [1990] Proceedings of the Sixth Annual Computer Security Applications Conference.

[5]  David P. Reed,et al.  Implementing atomic actions on decentralized data , 1983, TOCS.

[6]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[7]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[8]  C. H. Papadimitriou.  SERIALIZABILITY OF CONCURRENT DATA BASE UPDATES , 1979 .

[9]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.

[10]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..

[11]  Gérard Le Lann,et al.  Distributed Systems - Towards a Formal Approach , 1977, IFIP Congress.

[12]  Teresa F. Lunt,et al.  Issues in distributed database security , 1989, [1989 Proceedings] Fifth Annual Computer Security Applications Conference.

[13]  Hideyuki Tokuda,et al.  A Time-Driven Scheduling Model for Real-Time Operating Systems , 1985, RTSS.

[14]  Flaviu Cristian,et al.  Understanding fault-tolerant distributed systems , 1991, CACM.

[15]  Philip A. Bernstein,et al.  Concurrency Control in Distributed Database Systems , 1986, CSUR.

[16]  Gérard Le Lann,et al.  Algorithms for Distributed Data-Sharing Systems Which Use Tickets , 1978, Berkeley Workshop.

[17]  Robert G. Gallager,et al.  A perspective on multiaccess channels , 1984, IEEE Trans. Inf. Theory.