Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2005.07a
- /
- Pages.772-774
- /
- 2005
- /
- 1598-5164(pISSN)
Monitoring Method for Fault Tolerance of Real-time System
실시간 시스템의 Fault Tolerance를 위한 모니터링 기법
- SIM Jae-Hwan (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
-
KIM Jin-Hyun
(The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
- YANG Jin-Seok (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
-
CHOI Jin-Young
(The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University)
- 심재환 (고려대학교 컴퓨터학과 정형기법 연구실) ;
-
김진현
(고려대학교 컴퓨터학과 정형기법 연구실) ;
- 양진석 (고려대학교 컴퓨터학과 정형기법 연구실) ;
-
최진영
(고려대학교 컴퓨터학과 정형기법 연구실)
- Published : 2005.07.01
Abstract
안전성이 강조되는 실시간 시스템에서 시스템이 시간의 제약을 만족해야만 한다. 실시간 시스템에서 오류는 잘못된 응답 뿐 만이 아니라 시간적으로 늦은 응답에 대해서도 오류로 분류를 할 수가 있다. 이런 오류들을 모니터하기 위해서 본 논문에서는 커널에 Timed Conformance Monitor를 모듈로 추가하였다. Timed Conformance Monitor를 통해서 실시간 태스크가 시간의 제약을 만족하는지를 분석하고 또한 분석 결과에 따라 오류를 처리할 수 있는 Fault Handler를 추가하여 실시간 시스템에 대한 Fault Tolerance를 보장해 줄 수 있다.
Keywords