DocumentCode
3172707
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
fYear
1995
fDate
4-6 Oct 1995
Firstpage
107
Lastpage
115
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Factory Communication Systems, 1995. WFCS '95, Proceedings., 1995 IEEE International Workshop on
Conference_Location
Leysin
Print_ISBN
0-7803-3059-5
Type
conf
DOI
10.1109/WFCS.1995.482656
Filename
482656
Link To Document