한국정보처리학회논문지 (The Transactions of the Korea Information Processing Society)
- 제6권10호
- /
- Pages.2797-2808
- /
- 1999
- /
- 1226-9190(pISSN)
TCPN을 이용한 실시간 시스템의 스케쥴가능성 분석 및 회복기법
A Schedulability analysis and Recovery Technique of Real-Time System using TCPN
- Kim, Chun-Bae (Dept.of Compute Engineering, Graduate School of Pukyong National University) ;
- Park, Heung-Bok (Dept.of Computer Science, Pukyong National University)
- 발행 : 1999.10.01
초록
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.
키워드