Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2005.07b
- /
- Pages.334-336
- /
- 2005
- /
- 1598-5164(pISSN)
A Development Methodology for Reliability Improvement of ESTEREL based Embedded Software
Esterel 기반 임베디드 소프트웨어의 신뢰성 향상을 위한 개발 기법
- YANG Jin-Seok (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
- SIM Jae-Hwan (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
- KIM Jin-Hyun (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
- KANG In-Hye (Dept. of Mechanical and Information Engineering, University of Seoul) ;
- CHOI Jin-Young (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University)
- 양진석 (고려대학교 컴퓨터학과 정형기법 연구실) ;
- 심재환 (고려대학교 컴퓨터학과 정형기법 연구실) ;
- 김진현 (고려대학교 컴퓨터학과 정형기법 연구실) ;
- 강인혜 (서울시립대 공과대학 기계정보 공학과) ;
- 최진영 (고려대학교 컴퓨터학과 정형기법 연구실)
- Published : 2005.07.01
Abstract
본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.
Keywords