Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2002.10d
- /
- Pages.34-36
- /
- 2002
- /
- 1598-5164(pISSN)
Translation statecharts to ACSR for Real-Time System with shared resource
실시간 시스템의 효과적 명세를 위한 Statecharts의 ACSR 변환
Abstract
Statecharts는 복잡한 Reactive System의 행위적인 부분을 가시적으로 명세하는데 효과적이다. CCS에 근간을 둔 ACSR은 실시간 시스템을 명세하기 위하여 시간, 우선순위, 자원의 개념을 추가하여 엄격한 명세가 가능하다. 본 논문에서는 Statecharts와 ACSR의 공통점과 차이점을 보이고, 동기적인 시간을 적용한 Statecharts를 ACSR로 변환할 수 있음을 보인다. 또한, 변환된 ACSR에 공유자원에 대한 명세를 추가함을 보인다.
Keywords