Time in distributed systems cooperation and communication models

Dealing with time constraints in the design of distributed real-time systems is a challenge in the future trends on distributed computing. Time constraints must be considered, projected and derived onto all the layered structure components of the distributed system. This time constraints consideration, projection and derivation must be also done along all the stages of the life cycle. We focus how time constraints are involved in cooperation and communication aspects. We show one way to express time constraints with a temporal logic oriented specification, and some operating mechanisms to deal with them at the implementation stage.

[1]  Pascal Lorenz,et al.  Integration of temporal mechanisms in communication protocols for time-critical distributed systems , 1994 .

[2]  Kang G. Shin,et al.  Fault-tolerant real-time communication in distributed computing systems , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[3]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[4]  Carlos Cardeira,et al.  A schedulability analysis of tasks and network traffic in distributed real-time systems , 1995 .

[5]  L. Motus,et al.  Time concepts in real-time software , 1992 .

[6]  David Lorge Parnas,et al.  On satisfying timing constraints in hard-real-time systems , 1991 .

[7]  Bruce Jay Nelson.  Remote procedure call , 1981 .

[8]  Sheng Cheng,et al.  Scheduling algorithms for hard real-time systems: a brief survey , 1989 .

[9]  B. Dasarathy.  TimingConstraints ofReal-Time Systems: Constructs forExpressing Them, MethodsofValidating Them , 1985 .

[10]  Zohar Manna,et al.  The Modal Logic of Programs , 1979, ICALP.

[11]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification of Real-time Systems , 1988, FTRTFT.

[12]  Thomas A. Henzinger,et al.  Logics and Models of Real Time: A Survey , 1991, REX Workshop.

[13]  Jean-Pierre Thomesse,et al.  Interoperability of sensors and distributed systems , 1993 .

[14]  Fabio Panzieri,et al.  Real Time Systems: A Tutorial , 1993, Performance/SIGMETRICS Tutorials.

[15]  Pascal Lorenz,et al.  Real-Time Software Architecture: Application to FIP Fieldbus , 1995 .

[16]  Ron Koymans,et al.  Specifying Message Passing and Time-Critical Systems with Temporal Logic , 1992, Lecture Notes in Computer Science.

[17]  J.-P. Thomesse,et al.  Hierarchical and functional architecture for control systems , 1989, 15th Annual Conference of IEEE Industrial Electronics Society.

[18]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[19]  J.-P. ThomesseCRIN.  Temporal Properties in Distributed Real-time Applications Cooperation Models and Communication Types , 1995 .

[20]  Donald F. Towsley.  Providing Quality of Service Packet Switched Networks , 1993, Performance/SIGMETRICS Tutorials.

[21]  J. P. Thomesse.  Time and industrial local area networks , 1993, 1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production.

[22]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[23]  Jay K. Strosnider,et al.  Scheduling real-time communication on dual-link networks , 1992, [1992] Proceedings Real-Time Systems Symposium.

[24]  J. P. Thomesse,et al.  Temporal Properties in Distributed Real-Time Applications Cooperation Models and Communication Types , 1995 .