Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2012.11a
- /
- Pages.1535-1538
- /
- 2012
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
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
Abstract
항공, 자동차, 로봇 등 안전-필수 분야에서 IT 융합 기술이 널리 사용되고 있다. 이들 분야에서 사용되는 IT 핵심 요소 중의 하나가 컨트롤러이다. 컨트롤러의 오 동작은 안전과 매우 밀접하기 때문에, 개발된 컨트롤러의 기능이 정확하다는 것을 입증해야 한다. 본 논문에서는 정형 기법을 이용하여 기능적으로 정확한 컨트롤러 개발 사례를 보인다.
Keywords