A Schedulability Analysis and Recovery Technique of Real-Time System using TCPN


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 10, pp. 2797-2808, Oct. 1999
10.3745/KIPSTE.1999.6.10.2797,   PDF Download:

Abstract

Timing Constraint Petri Nets(TCPN: extend petri nets by adding timing constraints, it is to provide a formal method for the modeling and analysis of real-time systems. A real-time schedulability analysis decide that a set of concurren: processes will always meet its deadline. In this paper, we present TCPN model for real-time system include timing constraints and propose a schedulability analysis algorithm using them. Also, When the TCPN model is unscheduleable under the imposed timing constraints, we propose a recovery technique that will be scheduleable by the system specification modifying or timing constraints relaxing in the optimized time.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
K. C. Bae and P. H. Bog, "A Schedulability Analysis and Recovery Technique of Real-Time System using TCPN," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 10, pp. 2797-2808, 1999. DOI: 10.3745/KIPSTE.1999.6.10.2797.

[ACM Style]
Kim Choon Bae and Park Hung Bog. 1999. A Schedulability Analysis and Recovery Technique of Real-Time System using TCPN. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 10, (1999), 2797-2808. DOI: 10.3745/KIPSTE.1999.6.10.2797.