Browse > Article

Design and Implementation of Integrated Verification Facility for Satellite Flight Software  

Shin, Hyun-Kyu (한국항공우주연구원 위성비행소프트웨어팀)
Lee, Jae-Seung (한국항공우주연구원 위성비행소프트웨어팀)
Choi, Jong-Wook (한국항공우주연구원 위성비행소프트웨어팀)
Cheon, Yee-Jin (한국항공우주연구원 위성비행소프트웨어팀)
Publication Information
Aerospace Engineering and Technology / v.11, no.1, 2012 , pp. 49-56 More about this Journal
Abstract
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.
Keywords
software verification; integrated verification facility; software reliability;
Citations & Related Records
연도 인용수 순위
  • Reference
1 최종욱, "Development of High Performance ERC32 Processor Emulator based on Dynamic Translation Emulation Method", JC-SAT, 2010, pp.91-96
2 이재승, "다목적실용위성 2호에서의 탑재소프트웨어 검증시험환경", 한국정보처리학회 춘계학술발표논문집, 제10권, 제1호, 2003, pp.1197-1200
3 최종욱, "Development of Software-based Spacecraft Simulator for LEO Flight Software Development & Verification", APISAT-2010, 제1권, 2010, pp.489-493