Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2006.10a
- /
- Pages.443-448
- /
- 2006
- /
- 1598-5164(pISSN)
Specification, verification, and implementation of an embedded system with SCADE/Lustre
SCADE/Lustre를 이용한 임베디드 시스템의 명세, 검증 및 구현
- Song, Gwan-Ho (Dept. of Computer Science and Engineering, Korea University) ;
- Sim, Jae-Hwan (Dept. of Computer Science and Engineering, Korea University) ;
- Ahn, Young-Jung (Dept. of Computer Science and Engineering, Korea University) ;
- Choi, Jin-Young (Dept. of Computer Science and Engineering, Korea University)
- Published : 2006.10.20
Abstract
본 논문은 safety critical 실시간 반응형 시스템 하에서의 임베디드 소프트웨어 개발에 적합한 방법을 찾기 위해서 여러 가지 정형기법에 대해 논의하고 그 중 하나인 SCADE를 이용해 실제 임베디드 시스템을 직접 명세하고 검증한 후 구현한 내용을 서술한다. 본 논문에서는 data flow synchronous 언어인 Lustre를 소개하고, 소개된 언어가 실시간 반응형 시스템의 검증과 구현에 왜 적합한지를 논의하며, 하나의 시스템을 SCADE를 이용해서 명세하고 검증한 후 구현 한다. 수행된 실험을 통해서 data flow synchronous 언어는 실시간 반응형 시스템의 명세, 구현 그리고 검증에 적합한 언어라는 것을 언급하고, 이 언어의 사용이 복잡한 임베디드 시스템 개발에 효과적으로 사용될 수 있음을 제시한다.
Keywords