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