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

  • 2004.10b
  • /
  • Pages.340-342
  • /
  • 2004
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Time bounder : WCET Analysis tool

Time bounder : WCET 분석 도구

  • 박수현 (한국과학기술원 전자전산학과 전산학전공) ;
  • 방호정 (한국과학기술원 전자전산학과 전산학전공) ;
  • 김태효 (한국과학기술원 전자전산학과 전산학전공) ;
  • 차성덕 (한국과학기술원 전자전산학과 전산학전공) ;
  • 이종인 (한국항공우주연구원)
  • Published : 2004.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

인공위성과 원자력발전소와 같은 안전필수시스템의 경우, 각 작업이 주기 안에 완료되어야 하는 실시간적 특성을 가진다. 시스템이 이와 같은 요구사항을 만족하는가를 판단하기 위해서는 프로그램의 최장수행시간을 분석하는 것이 필수적이다 본 논문에서는 프로그램을 직접 실행하지 않고 최장수행시간을 분석하기 위해 구현한 Time bounder 도구를 소개하며, 다목적실용위성 2호에 탑재되는 프로그램을 대상으로 수행한 실험 결과를 분석한다.

Keywords