Analysis of a protocol handling system specification and its performance

Author

Benders, L.P.M. ; van den Hoorn, H.M. ; Stevens, M.P.J.

fYear

1994

fDate

5-8 Sep 1994

Firstpage

480

Lastpage

487

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;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.

Conference_Location

Liverpool

Print_ISBN

0-8186-6430-4

Type

conf

DOI

10.1109/EURMIC.1994.390367

Filename

390367