Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2005.07b
  • /
  • Pages.334-336
  • /
  • 2005
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

Keywords