Design and Implementation of Integrated Verification Facility for Satellite Flight Software

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

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


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