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

  • 2003.10b
  • /
  • Pages.268-270
  • /
  • 2003
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Specification of Real-time Embedded System using STSR

STSR의 실시간 내장형 시스템의 명세

  • Published : 2003.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통합 설계에 유리한 언어를 제시한다. 그리고 그 언어의 의미론을 기술하고, SyncCharts라는 정형명세 언어로 그 행위의 의미론을 부여한다. 이렇게 하여 기존의 Statecharts를 실시간 내장형 시스템에 적합하도록 수정하고 그 의미론을 부여한다.

Keywords