Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2003.04c
- /
- Pages.34-36
- /
- 2003
- /
- 1598-5164(pISSN)
Specification of Real-time Embedded System using STSR
STSR의 실시간 내장형 시스템 명세
Abstract
원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통할 설계에 유리한 언어를 제시한다. 그리고 그 언어의 특징을 보일 수 있는 프로토콜 예제를 제시하고 기존의 잘 알려진 언어와 비교 분석함으로 실시간 명세 능력을 보인다.
Keywords