Modeling a Real-Time Multitasking System in a Timed PQ Net

Authors:
Carl K. Chang;Young-Fu Chang;Lin Yang;Ching-Roung Chou;Jong-Jeng Chen
Affiliations:
-;-;-;-;-
Venue:
IEEE Software
Year:
1989

Citing 1
Cited 5

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)

Petri-net evaluation using APL2

APL '92 Proceedings of the international conference on APL
Performance Modeling of System Architectures

Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Origins of Software Performance Engineering: Highlights and Outstanding Problems

Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems

Performance Engineering, State of the Art and Current Trends
Introduction to software performance engineering: origins and outstanding problems

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation

Quantified Score

Hi-index	0.00

Visualization

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.