23/2004 : Implementing Reliable Distributed Real-Time Systems with the Theta-Model

RR Number

23/2004

Comment

Former Title: Implementing Time Free Designs for Distributed Real-Time Systems (A Case Study)

Conference

9th International Conference on Principles of Distributed Systems

Author(s)

Jean-Francois Hermant, Josef Widder

Abstract

A widely accepted viewpoint is that designs for distributed real-time systems should be based on synchronous computational models. Safety in such designs, however, requires that the target system behaves as the synchronous model postulates. We believe that this approach is rather risky, as it rests on solving distributed scheduling problems which are known to be NP-hard. We therefore advocate the use of more relaxed system models, namely asynchronous models equipped with unreliable failure detectors. To this end, we introduce a novel implementation of the perfect failure detector, resting on an abstract model without upper bounds on end-to-end message delays. Then, we demonstrate how this algorithm can be transferred from the abstract model into a real network/system architecture. Finally, we prove that this solution exhibits real-time behavior.

Download

Get HW04_CSMA.ps - Postscript, (533.70 KB; posted at February 04 2005; Research Report)

Get hermant_widder_camera_ready.pdf - Adobe PDF-format, (208.37 KB; posted at February 04 2005; (c) Springer Verlag. Proceedings Version)