Modeling a real-time multitasking system in a timed PQ net

Author

Chang, Carl K. ; Chang, Young-Fu ; Yang, Lin ; Chou, Ching-Roung ; Chen, Jong-Jeng

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

Volume

6

Issue

2

fYear

1989

fDate

3/1/1989 12:00:00 AM

Firstpage

46

Lastpage

51

Abstract

A system is described that integrates timed Petri nets and queueing networks to model complex, real-time systems. It includes a graphical modeling tool, called TPQN, a textual specification language, called TPQL, and a simulator, called TPQS. TPQN´s capabilities are illustrated by a performance analysis of a real-time, multitasking scheduler that had been previously implemented on top of SunOS on a Sun-3 workstation. A simulation package has been developed for TPQN that allows the behavior of various complicated systems under a designated queueing network topology to be studied before the system is implemented.<>

Keywords

Petri nets; multiprogramming; performance evaluation; queueing theory; real-time systems; specification languages; Sun-3; SunOS; TPQL; TPQN; TPQS; graphical modeling tool; multitasking scheduler; performance analysis; queueing network topology; queueing networks; real-time multitasking system; real-time systems; simulator; textual specification language; timed PQ net; timed Petri nets; Analytical models; Fires; Joining processes; Mathematical model; Multitasking; Operating systems; Performance analysis; Queueing analysis; Real time systems; Workstations;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/52.23129

Filename

23129