A Formal Probabilistic Specification Method for Analysis of Real Time Systems

실시간 시스템 분석을 위한 확률 명세 방법

  • Jang, Eun-Min (Real-time Systems Laboratory, Chonbuk National University) ;
  • Lee, Chul (Real-time Systems Laboratory, Chonbuk National University) ;
  • Lee, Moon-Kun (Real-time Systems Laboratory, Chonbuk National University)
  • 장은민 (전북대학교 실시간 시스템실) ;
  • 이철 (전북대학교 실시간 시스템실) ;
  • 이문근 (전북대학교 실시간 시스템실)
  • Published : 2002.04.01

Abstract

PATM(Probabilistic Abstract Timed Machine) [1]은 시스템의 진행 중 다양한 환경 요인에 의해 발생하는 불확실성을 명세하기 위해 개발된 정형 명세 기법이다. PATM으로 명세한 시스템은 도달성 그래프를 분석하게 된다. 본 논문에서는 다양한 물리적 환경 요소를 고려하여 시스템을 분석하는 과정에서 발생하는 실행모델의 복잡도를 줄이기 위한 방법을 제시한다.

Keywords