• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.147-151
• /
• 2001

Based on flight software modeling experiences on satellite simulator developments so far, three different approaches for modeling the flight software within the satellite simulator such as utilization of a processor emulator executing the actual flight software image, re-compilation of the flight software sources within the simulator infrastructure, and development of a set of abstract models representing the required flight software functionality are presented.

• Journal of Astronomy and Space Sciences
• /
• 제19권2호
• /
• pp.97-106
• /
• 2002

The design feature of KOMPSAT-2 simulator based on object oriented design methodology in terms of unified modeling language (UML) has been discussed in this paper. Also, we present how to embed flight software into the simulator. Flight software em-bedding for KOMPSAT-2 simulator is compared to that of the KOMPSAT-1 simulator.

• 항공우주기술
• /
• 제11권1호
• /
• pp.49-56
• /
• 2012

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

• 한국위성정보통신학회논문지
• /
• 제12권3호
• /
• pp.93-97
• /
• 2017

위성의 임무 수행 도중에 발생하는 소프트웨어 버그는 치명적인 문제점을 야기하여 위성 전체의 임무 실패를 초래할 수도 있다. 이를 막기 위해 개발단계부터 수많은 테스트와 검증을 수행하여 비행소프트웨어가 높은 신뢰도를 지니도록 만들어 준다 [1]. 하지만 위성이 발사 후 궤도에 올라갔을 때 하드웨어 측면에서의 문제, 혹은 미 발견 버그 등의 예상치 못한 문제들이 발견될 수도 있다. 이 경우 비행소프트웨어를 궤도 상에서 수정해야만 위성이 지속적으로 임무를 수행할 수 있다. 본 논문에서는 저궤도 위성의 reprogramming capability를 확인하고 reprogramming 절차에 대해 알아보고 검증한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• pp.364-367
• /
• 2004

This paper presents the flight software of KoDSat (KSLV-l Demonstration Satellite) which performs demonstrating the KSLV-l (Korea Space Launch Vehicle-l)'s satellite launch capability. The KoDSat Flight Software executes in a single-processor, multi-function flight computer on the spacecraft, the OBC (On Board Computer). The flight software running on the single processor is responsible for all real-time processing associated with: processor startup and hardware initialization, task scheduling, RS422 handling function, command and data handling including uplink command and down-link telemetry, attitude determination and control, battery state of charge monitoring and control, thermal control processing.

• 한국위성정보통신학회논문지
• /
• 제7권2호
• /
• pp.80-86
• /
• 2012

기존 하드웨어 기반의 소프트웨어 검증 플랫폼이 가지는 제한 조건을 해결하는 방안으로 위성 개발 초기부터 소프트웨어 기반의 위성 시뮬레이터 개발이 함께 시작되며, 위성 시뮬레이터를 활용할 경우 탑재소프트웨어 개발이 지속적으로 이루어 질 수 있는 큰 장점을 가지게 된다. 위성 시뮬레이터는 탑재컴퓨터, 위성의 전자장비 그리고 탑재체까지 모두 모사해주며 소프트웨어 개발자들이 사용할 수 있도록 쉽게 복제, 배포가 가능하며 위성 하드웨어 형상이 변경되더라도 적용 및 변경이 용이하다. 그리고 실제 하드웨어에서 동작하는 탑재소프트웨어를 별도의 수정 없이 로딩할 수 있으며, 개발자를 위한 디버깅 채널과 테스트 환경을 제공하며 실제 수행시간 보다 빠르게 가속화 할 수 있는 기능을 제공한다. 본 논문에서는 현재 개발 중인 정지궤도복합위성의 특징인 Hot-Standby 잉여구조를 지원하기 위한 위성 시뮬레이터의 구조와 개발방안을 제시하고, 시뮬레이터 기반에서 탑재소프트웨어 개발 및 테스트 방안을 제시한다.

• Journal of Astronomy and Space Sciences
• /
• 제27권4호
• /
• pp.407-412
• /
• 2010

Software reusability is one of key factors which impacts cost and schedule on a software development project. It is very crucial also in satellite simulator development since there are many commercial simulator models related to satellite and dynamics. If these models can be used in another simulator platform, great deal of confidence and cost/schedule reduction would be achieved. Simulation model portability (SMP) is maintained by European Space Agency and many models compatible with SMP/simulation model interface (SMI) are available. Korea Aerospace Research Institute (KARI) is developing hardware abstraction layer (HAL) supported satellite simulator to verify on-board software of satellite. From above reasons, KARI wants to port these SMI compatible models to the HAL supported satellite simulator. To port these SMI compatible models to the HAL supported satellite simulator, simulation scheduler is preliminary designed according to the SMI standard.

• 한국항공우주학회지
• /
• 제44권11호
• /
• pp.997-1005
• /
• 2016

비행소프트웨어는 지상국으로부터의 명령을 처리하고 위성의 제어, 미션 데이터 처리 등 위성운영에 있어서 핵심적인 역할을 담당한다. 비행소프트웨어는 그 특성상 신뢰성의 확보가 가장 중요하고 이를 위해서는 수많은 검증과 테스트를 필요로 한다. 이는 개발 비용과 기간 증가의 주요 요인이 된다. 이에 NASA에서는 모듈화 및 재사용성이 강조되는 비행소프트웨어 플랫폼을 개발하여 위성 프로젝트에 적용을 하였는데 그 결과물이 CFS(Core Flight System)이다. 본 연구에서는 NASA CFS 에 기반하여 초소형위성용 비행소프트웨어의 개발을 진행하였다. CFS에서 제공되는 핵심적인 서비스 및 기능을 테스트하였고 이를 적용하여 소프트웨어 설계 및 구현을 진행하였다.

• Journal of Astronomy and Space Sciences
• /
• 제28권3호
• /
• pp.241-252
• /
• 2011

A simulated network protocol provides the capability of distributed simulation to a generic simulator. Through this, full coverage of management of data and service handling among separated simulators is achieved. The distributed simulation environment is much more conducive to handling simulation load balancing and hazard treatment than a standalone computer. According to the simulated network protocol, one simulator takes on the role of server and the other simulators take on the role of client, and client is controlled by server. The purpose of the simulated network protocol is to seamlessly connect multiple simulator instances into a single simulation environment. This paper presents the development of a simulated network (simNetwork) that provides the capability of distributed simulation to a generic simulator (GenSim), which is a software simulator of satellites that has been developed by the Korea Aerospace Research Institute since 2010, to use as a flight software validation bench for future satellite development.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.706-710
• /
• 2003

In this paper, we will present brief design feature, implementations, and tests for verification of KOMPSAT-2 simulator, which is a subsystem of KOMPSAT-2 MCE. SIM is implemented on PC server to minimize costs and troubles on embedding onboard flight software into SIM, OOA/OOD methodology is employed to maximized S/W reusability, and XML is used for S/C characteristics, TC, TM and Simulation data instead of commercial DB. Consequently, we can reduce costs for the system, efforts embedding flight software, and maximize software reusability. SIM subsystem test was performed successfully.