Formal modelling and analysis of a critical time communication protocol

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Juanole, G., Gallon, L.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer Science Data communication Electronic mail Field buses Jitter Local area networks Modeling and Simulation Petri nets Probability density function Protocols Stochastic processes Time factors
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
DOI:	10.1109/WFCS.1995.482656