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

  • 2001.10a
  • /
  • Pages.568-570
  • /
  • 2001
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Estimation of Real-Time Systems′Dynamic Execution Using Probabilistic Abstract Timed Machine

확률 추상 시간 기계를 이용한 시스템의 동적 실행 예측

  • 이철 (전북대학교 컴퓨터과학과) ;
  • 박지연 (전북대학교 컴퓨터과학과) ;
  • 이문근 (전북대학교 전자정보공학부)
  • Published : 2001.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

정형 기법으로 명세된 시스템이 구현되어 실제 물리적 환경에서 실행될 때는 시스템 행위들의 성공과 실패가 다양한 환경 요인에 의해 영향을 받는다. 본 논문에서는 PATM(Probabilistic ATM)을 이용하여 시스템의 행위에 영향을 주는 요인의 정도를 확률로써 명세하고, 명세 단계에서 시스템의 실행을 예측할 수 있는 방법을 제시한다. PATM은 실행시간에 변화하는 요인을 가변 확률로 명세하여 실행 시 발생할 수 있는 상황에 대한 능동적인 분석과 예측을 가능하도록 한다.

Keywords