|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Modeling a Real-Time Multitasking System in a Timed PQ Net
March/April 1989 (vol. 6 no. 2)
pp. 46-51
| ASCII Text | x | ||
| Carl K. Chang, Young-Fu Chang, Lin Yang, Ching-Roung Chou, Jong-Jeng Chen, "Modeling a Real-Time Multitasking System in a Timed PQ Net," IEEE Software, vol. 6, no. 2, pp. 46-51, March/April, 1989. | |||
| BibTex | x | ||
| @article{ 10.1109/52.23129, author = {Carl K. Chang and Young-Fu Chang and Lin Yang and Ching-Roung Chou and Jong-Jeng Chen}, title = {Modeling a Real-Time Multitasking System in a Timed PQ Net}, journal ={IEEE Software}, volume = {6}, number = {2}, issn = {0740-7459}, year = {1989}, pages = {46-51}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.23129}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Modeling a Real-Time Multitasking System in a Timed PQ Net IS - 2 SN - 0740-7459 SP46 EP51 EPD - 46-51 A1 - Carl K. Chang, A1 - Young-Fu Chang, A1 - Lin Yang, A1 - Ching-Roung Chou, A1 - Jong-Jeng Chen, PY - 1989 KW - real-time multitasking system; timed PQ net; timed Petri nets; queueing networks; real-time systems; graphical modeling tool; TPQN; textual specification language; TPQL; simulator; TPQS; performance analysis; multitasking scheduler; SunOS; Sun-3; queueing network topology; multiprogramming; performance evaluation; Petri nets; queueing theory; real-time systems; specification languages VL - 6 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.23129
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.
Index Terms:
real-time multitasking system; timed PQ net; timed Petri nets; queueing networks; real-time systems; graphical modeling tool; TPQN; textual specification language; TPQL; simulator; TPQS; performance analysis; multitasking scheduler; SunOS; Sun-3; queueing network topology; multiprogramming; performance evaluation; Petri nets; queueing theory; real-time systems; specification languages
Citation:
Carl K. Chang, Young-Fu Chang, Lin Yang, Ching-Roung Chou, Jong-Jeng Chen, "Modeling a Real-Time Multitasking System in a Timed PQ Net," IEEE Software, vol. 6, no. 2, pp. 46-51, March-April 1989, doi:10.1109/52.23129
Usage of this product signifies your acceptance of the Terms of Use.