DocumentCode
1825921
Title
A state-machine for temporal qualification of time-critical communication
Author
Lorenz, P. ; Mammeri, Z. ; Thomesse, J.P.
Author_Institution
CNRS, Nantes, France
fYear
1994
fDate
20-22 Mar 1994
Firstpage
654
Lastpage
658
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System Theory, 1994., Proceedings of the 26th Southeastern Symposium on
Conference_Location
Athens, OH
ISSN
0094-2898
Print_ISBN
0-8186-5320-5
Type
conf
DOI
10.1109/SSST.1994.287796
Filename
287796
Link To Document