Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2012.11a
  • /
  • Pages.1535-1538
  • /
  • 2012
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Case Study of Developing Functionally Correct Controllers using Formal Method

정형 기법을 이용하여 기능적으로 정확한 컨트롤러 개발 사례

  • Kim, Taekyun (Dept. of Computer Science, Kyonggi University) ;
  • Kwon, Gihwon (Dept. of Computer Science, Kyonggi University) ;
  • Cho, Jiman (SW Engineering Center, National IT Industry Promotion Agency) ;
  • Jung, Dokyun (SW Engineering Center, National IT Industry Promotion Agency) ;
  • Lee, Sangeun (SW Engineering Center, National IT Industry Promotion Agency)
  • 김태균 (경기대학교 컴퓨터과학과) ;
  • 권기현 (경기대학교 컴퓨터과학과) ;
  • 조지만 (소프트웨어진흥원 SW 공학센터) ;
  • 정도균 (소프트웨어진흥원 SW 공학센터) ;
  • 이상은 (소프트웨어진흥원 SW 공학센터)
  • Published : 2012.11.22
Download PDF
⟨ Previous Next ⟩

Abstract

항공, 자동차, 로봇 등 안전-필수 분야에서 IT 융합 기술이 널리 사용되고 있다. 이들 분야에서 사용되는 IT 핵심 요소 중의 하나가 컨트롤러이다. 컨트롤러의 오 동작은 안전과 매우 밀접하기 때문에, 개발된 컨트롤러의 기능이 정확하다는 것을 입증해야 한다. 본 논문에서는 정형 기법을 이용하여 기능적으로 정확한 컨트롤러 개발 사례를 보인다.

Keywords