Title :
Formal modelling and analysis of a critical time communication protocol
Author :
Juanole, G. ; Gallon, L.
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
Abstract :
In this paper, a communication protocol based on a local area network (fieldbus for example) in which a producer periodically sends data to a consumer (the consumer wishes to consume within a time window) is considered. Data transmission is assumed to occur with jitter. Using a Petri net based model, this protocol is formally modelled and the quality of the service is qualitatively and quantitatively assessed
Keywords :
formal verification; jitter; local area networks; protocols; Petri net based model; critical time communication protocol; fieldbus; formal analysis; formal modelling; jitter; local area network; Data communication; Electronic mail; Field buses; Jitter; Local area networks; Petri nets; Probability density function; Protocols; Stochastic processes; Time factors;
Conference_Titel :
Factory Communication Systems, 1995. WFCS '95, Proceedings., 1995 IEEE International Workshop on
Conference_Location :
Leysin
Print_ISBN :
0-7803-3059-5
DOI :
10.1109/WFCS.1995.482656
