한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

실시간 시스템의 Fault Tolerance를 위한 모니터링 기법

Monitoring Method for Fault Tolerance of Real-time System

  • 심재환 (고려대학교 컴퓨터학과 정형기법 연구실) ;
  • 김진현 (고려대학교 컴퓨터학과 정형기법 연구실) ;
  • 양진석 (고려대학교 컴퓨터학과 정형기법 연구실) ;
  • 최진영 (고려대학교 컴퓨터학과 정형기법 연구실)
  • 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)
  • 발행 : 2005.07.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

안전성이 강조되는 실시간 시스템에서 시스템이 시간의 제약을 만족해야만 한다. 실시간 시스템에서 오류는 잘못된 응답 뿐 만이 아니라 시간적으로 늦은 응답에 대해서도 오류로 분류를 할 수가 있다. 이런 오류들을 모니터하기 위해서 본 논문에서는 커널에 Timed Conformance Monitor를 모듈로 추가하였다. Timed Conformance Monitor를 통해서 실시간 태스크가 시간의 제약을 만족하는지를 분석하고 또한 분석 결과에 따라 오류를 처리할 수 있는 Fault Handler를 추가하여 실시간 시스템에 대한 Fault Tolerance를 보장해 줄 수 있다.

키워드