Title :
Analysis of a protocol handling system specification and its performance
Author :
Benders, L.P.M. ; van den Hoorn, H.M. ; Stevens, M.P.J.
Abstract :
To analyze synchronization, concurrency, communication protocols and system performance a system level specification is modelled in a coloured Petri net. A toolbox collects information for the implementation e.g. processing times, waiting times, idle times, data accesses, processing requests. This is illustrated with a data-link protocol system, where also the disturbance on the communication channels is modelled
Keywords :
Petri nets; formal specification; graph colouring; hardware description languages; message passing; multiprocessing systems; performance evaluation; protocols; synchronisation; coloured Petri net; communication channels; communication protocols; concurrency; data accesses; data-link protocol system; idle times; processing requests; processing times; protocol handling system specification; synchronization; system level specification; system performance; toolbox; waiting times; Access protocols; Analytical models; Concurrent computing; Electronic mail; Embedded system; Information systems; Performance analysis; Petri nets; Power system modeling; Specification languages;
Conference_Titel :
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location :
Liverpool
Print_ISBN :
0-8186-6430-4
DOI :
10.1109/EURMIC.1994.390367
