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

  • 2000.04a
  • /
  • Pages.531-533
  • /
  • 2000
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Formal Specification for Real-Time Systems Using TSCR

TSCR를 이용한 실시간 시스템의 정형 명세

  • 최수진 (숭실대학교 대학원 컴퓨터학과) ;
  • 강인혜 (숭실대학교 정보과학대학 컴퓨터학부) ;
  • 양승민 (숭실대학교 정보과학대학 컴퓨터학부)
  • Published : 2000.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

실시간 시스템은 신뢰성이 중요하므로 실시간 시스템을 설계하는데 있어서 각 태스크의 기능적인 정확성의 검증은 물론 모든 태TM크에 대한 시간적인 요구사항들을 보장해야만 한다. 본 논문에서는 이러한 조건 즉, 실시간 시스템의 정확성과 시간성 보장을 위하여 기존의 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 TSC(Timed State Chart)에 자원(resource)의 개념을 추가한 TSCR(Timed State Chart with Resource)를 제안한다. TSCR을 통하여 실시간 시스템의 다양한 요구 사항을 명세하며, 태스크들의 시간성 보장을 위한 스케줄링 가능성 분석(schedulability analysis)을 할 수 있다. 실시간 시스템의 대표적인 예로 철도 건널목 제어 시스템을 TSCR를 이용하여 명세한다.

Keywords