Title :
A state-machine for temporal qualification of time-critical communication
Author :
Lorenz, P. ; Mammeri, Z. ; Thomesse, J.P.
Author_Institution :
CNRS, Nantes, France
Abstract :
The paper deals with the definition of time constraints on data validity and proposes mechanisms which may be included in protocols to verify on line if constraints are met or not. The authors introduce a state-machine to integrate mechanisms in the communication protocols to inform application processes about the temporal validity of the information they consume
Keywords :
computer networks; formal verification; network operating systems; online operation; open systems; protocols; real-time systems; temporal logic; OSI; application processes; data validity; protocols; state-machine; temporal qualification; time constraints; time-critical communication; Communication system control; Control systems; Delay; Production; Protocols; Qualifications; Real time systems; Temperature; Time factors; Timing;
Conference_Titel :
System Theory, 1994., Proceedings of the 26th Southeastern Symposium on
Conference_Location :
Athens, OH
Print_ISBN :
0-8186-5320-5
DOI :
10.1109/SSST.1994.287796
