Title :
Time in distributed systems cooperation and communication models
Author :
Thomesse, J.P. ; Mammeri, Z. ; Vega, L.
Author_Institution :
CRIN, CNRS, Vandoeuvre-les-Nancy, France
Abstract :
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
Keywords :
distributed processing; formal specification; network operating systems; operating systems (computers); real-time systems; synchronisation; temporal logic; transport protocols; distributed real-time systems; distributed systems communication models; distributed systems cooperation models; layered structure components; temporal logic oriented specification; time constraints; Delay effects; Distributed computing; Logic; Media Access Protocol; Operating systems; Real time systems; Safety; Time factors;
Conference_Titel :
Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of
Conference_Location :
Cheju Island
Print_ISBN :
0-8186-7125-4
DOI :
10.1109/FTDCS.1995.524967