Analysis of a protocol handling system specification and its performance

Analysis of a protocol handling system specification and its performance

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Benders, L.P.M., van den Hoorn, H.M., Stevens, M.P.J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Access protocols
Analytical models
Concurrent computing
Electronic mail
Embedded system
Information systems
Performance analysis
Petri nets
Power system modeling
Specification languages
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
DOI:10.1109/EURMIC.1994.390367