위성비행소프트웨어 통합검증환경의 설계 및 구축

Design and Implementation of Integrated Verification Facility for Satellite Flight Software

  • 신현규 (한국항공우주연구원 위성비행소프트웨어팀) ;
  • 이재승 (한국항공우주연구원 위성비행소프트웨어팀) ;
  • 최종욱 (한국항공우주연구원 위성비행소프트웨어팀) ;
  • 천이진 (한국항공우주연구원 위성비행소프트웨어팀)
  • 투고 : 2012.05.21
  • 심사 : 2012.07.01
  • 발행 : 2012.07.01

초록

위성의 기본적인 상태를 모니터링하며 자세 제어 및 위성 고유의 임무를 수행하는 위성비행소프트웨어는 운용 환경 및 그 특수성으로 인하여 매우 높은 수준의 신뢰성이 요구된다. 이를 위하여 개발 과정에서 다양한 활동이 이루어지게 된다. 실제 하드웨어 또는 하드웨어를 모사하는 시뮬레이터를 통해 위성비행소프트웨어를 동작시키고 지상 명령의 전송, Telemetry의 수신을 통한 검증의 경우, 매우 다양한 지원환경이 요구된다. 위성비행소프트웨어팀에서는 이러한 검증 활동을 보다 효과적으로 수행하고 이를 통해 소프트웨어의 신뢰성을 향상하고, 다양한 위성 개발에 공통으로 사용될 수 있는 위성 비행 소프트웨어 통합 검증 시스템을 구축하고 있다. 본 논문에서는 위성비행소프트웨어의 효과적인 검증을 위한 통합 검증 시스템의 설계 및 구축 방안에 대하여 소개한다.

The flight software monitors the status of the satellite and performs attitude control and its own mission. Due to the operating environments and its uniqueness, the high level of reliability is required for the flight software. To this end, a variety of activities to meet the given requirements and improve the safety and reliability are made during the development of flight software. A variety of development environments should be provided to support execution of flight software on hardware or satellite simulator and dynamic verification of flight software through command/telemetry interface. The satellite flight software team has been developing the IVF to be applied to various satellite projects more effectively and to improve the reliability of flight software. In this paper, the design and configuration method of IVF for the effective verification of flight software is introduced.

키워드

참고문헌

  1. 이재승, "다목적실용위성 2호에서의 탑재소프트웨어 검증시험환경", 한국정보처리학회 춘계학술발표논문집, 제10권, 제1호, 2003, pp.1197-1200
  2. 최종욱, "Development of Software-based Spacecraft Simulator for LEO Flight Software Development & Verification", APISAT-2010, 제1권, 2010, pp.489-493
  3. 최종욱, "Development of High Performance ERC32 Processor Emulator based on Dynamic Translation Emulation Method", JC-SAT, 2010, pp.91-96