• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• 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
• /
• v.19 no.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.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.49-56
• /
• 2012

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.

• Journal of Satellite, Information and Communications
• /
• v.12 no.3
• /
• pp.93-97
• /
• 2017

In satellites, even a small error in flight software could cause a failure of missions. Therefore, there are strict development and verification processes for a high reliability of flight software. However, satellites on orbits could meet unexpected situations including hardware malfunction. In this case, it is necessary for flight software to be updated to cope with the unexpected situations and to continue their missions. This paper reviews reprogramming capability of next generation LEO satellites.

• Bulletin of the Korean Space Science Society
• /
• 2004.10b
• /
• 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.

• Journal of Satellite, Information and Communications
• /
• v.7 no.2
• /
• pp.80-86
• /
• 2012

The software-based satellite simulator has been developed from the start of the project to resolve the restriction and limitation of using hardware-based software development platform. It enables the development of flight software to be performed continuously since initial phase. The satellite simulator emulates the on-board computer, I/O modules, electronics and payloads, and it can be easily adapted and changed on hardware configuration change. It supports the debugging and test facilities for software engineers to develop flight software. Also the flight software can be loaded without any modification and can be executed as faster than real-time. This paper presents the architecture and design of software-based GEO satellite simulator which has hot-standby redundancy mechanism, and flight software development and test under this environment.

• Journal of Astronomy and Space Sciences
• /
• v.27 no.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.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.11
• /
• pp.997-1005
• /
• 2016

Flight software plays an important role in operating satellites, such as processing commands from ground station, controlling satellites and processing mission data. Reliability is the most important thing in flight software and many verifications and tests are needed for assuring it. this causes an increase of cost and period of development. So NASA has developed a reusable flight software platform to apply to their satellite projects. The CFS(Core Flight System) is the very result. We are developing our flight software for a nano-satellite based on NASA CFS. We have tested core services and functions provided in CFS and we have designed and implemented flight software based on these.

• Journal of Astronomy and Space Sciences
• /
• v.28 no.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.10a
• /
• 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.