Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2003.10a
- /
- Pages.310-312
- /
- 2003
- /
- 1598-5164(pISSN)
ACSR을 이용한 실시간 운영 체제의 Time Partitioning 분석
Abstract
다중 쓰레드를 지원하는 실시간 운영체제 스케줄러의 time partitioning 속성을 프로세스 알제브라 언어인 ACSR을 이용하여 분석한다. 본 논문에서는 먼저 실시간 운영체제의 전반적인 스케줄러 동작에 대한 ACSR 모델을 작성하고, 이를 두 가지 시나리오에 대해 분석한다. 이러한 방법을 사용함으로써 실시간 시스템의 설계 및 구현 작업을 보다 쉽고 정확하게 수행할 수 있다.
Keywords