Modelling the client-server behaviour of parallel real-time systems using Petri nets

Author

Birkinshaw, C.I. ; Croll, Peter R.

Author_Institution

Dept. of Comput. Sci., Sheffield Univ., UK

Volume

2

fYear

1995

fDate

3-6 Jan 1995

Firstpage

339

Abstract

Guaranteeing the timeliness of a parallel hard real-time system, requires knowledge of its communication behaviour. Analysis of the communication structure can identify potential livelock and deadlock in parallel systems. An approach which describes the communications of parallel systems, called a client-server behaviour graph, is given which enables a Petri net model of a complete system to be built in a compositional manner, reducing the state explosion problem in the identification of both deadlocks and livelocks

Keywords

Petri nets; client-server systems; computational complexity; parallel machines; parallel programming; real-time systems; Petri nets; client-server behaviour graph; client-server behaviour modelling; communication behaviour; communication structure; deadlock; hard real-time system; parallel real-time systems; potential livelock; state explosion problem; timeliness; Computer science; Explosions; Hardware; Parallel processing; Petri nets; Real time systems; Safety; Software performance; System recovery; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1995. Proceedings of the Twenty-Eighth Hawaii International Conference on

Conference_Location

Wailea, HI

Print_ISBN

0-8186-6930-6

Type

conf

DOI

10.1109/HICSS.1995.375444

Filename

375444