Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2004.10a
- /
- Pages.514-516
- /
- 2004
- /
- 1598-5164(pISSN)
Verification and implementation of RTOS Schduler with ESTEREL
ESTEREL을 이용한 RTOS Scheduler의 검증 및 구현
Abstract
오늘날 RTOS가 운영되는 시스템이 고안정성을 요구할수록 임베디드 소프트웨어인 RTOS의 중요성은 날이 갈수록 증대하고 있다 검증된 RTOS의 개발을 목표로 본 논문에서는 RTOS의 태스크 스케줄러를 정형명세하고, 정형명세된 스케줄러가 가져야 하는 몇 가지의 검증특성들을 모델체킹 기법을 통해서 검증하였다. 또한 에스테럴로 정형 명세된 스케줄러에서 자동 생성된 C 소스를 사용하여 직접 태스크를 스케줄 해 주는 간단한 RTOS를 제작함으로서 검증된 RTOS를 제작 할 수 있는 방법을 제시 하고자 한다.
Keywords