The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)
- Volume 6 Issue 10
- /
- Pages.2797-2808
- /
- 1999
- /
- 1226-9190(pISSN)
A Schedulability analysis and Recovery Technique of Real-Time System using TCPN
TCPN을 이용한 실시간 시스템의 스케쥴가능성 분석 및 회복기법
- Kim, Chun-Bae (Dept.of Compute Engineering, Graduate School of Pukyong National University) ;
- Park, Heung-Bok (Dept.of Computer Science, Pukyong National University)
- Published : 1999.10.01
Abstract
Timing Constraint Petri Nets(TCPN) extend petri nets by adding timing constraints, it is provide a formal method for the modeling and analysis of real-time system. A real-time schedulability analysis decide that a set of concurrent 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.
Keywords