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

  • 2002.04b
  • /
  • Pages.424-426
  • /
  • 2002
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords