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

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

DOI QR Code

Graphic-based Formal Specification for Real-time Control System

실시간 제어시스템의 그래픽 기반 정형명세

  • Yoon, Sang-Ho (Dept. of Software Engineering, Korea University) ;
  • Shim, Jae-Hwan (Department of Computer and Communication Engineering, Korea University) ;
  • Choi, Jin-Young (Dept. of Software Engineering, Korea University)
  • 윤상호 (고려대학교 소프트웨어 공학과) ;
  • 심재환 (고려대학교 컴퓨터통신공학부) ;
  • 최진영 (고려대학교 소프트웨어 공학과)
  • Published : 2010.11.12
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문은 전자제어 시스템들의 소프트웨어의 설계 및 구현 과정에서 나타날 수 있는 의사 전달의 애매모호함을 줄여 요구사항 명세와 구현 시스템 사이의 불일치를 없애기 위한 실시간 제어 소프트웨어의 정형 명세 기법을 제안한다. 실시간 제어 시스템 이론은 미적분학에 바탕을 두고 있는 반면, 실제 동작은 대다수 임베디드 프로세서에 의해 동작함에 따라 제어기의 설계 시 고안된 연속적인 미분 방정식의 이산화 과정을 거쳐 소프트웨어로서 구현이 된다. 이 때, 시스템 설계 엔지니어와 소프트웨어 구현 엔지니어 사이의 이해도의 불일치와 구현 엔지니어의 시스템 이론의 이해 부재로 시스템에 심각한 오류를 야기할 수 있다. 이에 본 논문에서는 이러한 실시간 제어 시스템의 기능 및 동작에 대한 그래픽 기반 정형적 명세 기법을 제안하여 요구사항 명세 과정에서 구현 방식을 구체화하는 방향을 제시한다.

Keywords