Title :
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
fDate :
3/1/1989 12:00:00 AM
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;
Journal_Title :
Software, IEEE
