• 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.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.

• Proceedings of the KSRS Conference
• /
• v.1
• /
• pp.257-259
• /
• 2006

The Communication Ocean Meteorological Satellite (COMS) is a geostationary satellite being developed by Korea Aerospace Research Institute. Geostationary Ocean Color Imager (GOCI) is one of the payloads embarked on the COMS satellite. It acquires ocean images around Korea in 8 visible spectral bands with a spatial resolution of about 500 m. The acquired data are used to provide forecasting and now casting of the ocean state. The GOCI operations are controlled by the satellite embedded software, i.e. on-board software. This paper introduces the GOCI payload of the COMS satellite and describes the control software for the GOCI.

• International journal of advanced smart convergence
• /
• v.13 no.2
• /
• pp.48-60
• /
• 2024

With the exponential growth of satellite data utilization, machine learning has become pivotal in enhancing innovation and cybersecurity in satellite systems. This paper investigates the role of machine learning techniques in identifying and mitigating vulnerabilities and code smells within satellite software. We explore satellite system architecture and survey applications like vulnerability analysis, source code refactoring, and security flaw detection, emphasizing feature extraction methodologies such as Abstract Syntax Trees (AST) and Control Flow Graphs (CFG). We present practical examples of feature extraction and training models using machine learning techniques like Random Forests, Support Vector Machines, and Gradient Boosting. Additionally, we review open-access satellite datasets and address prevalent code smells through systematic refactoring solutions. By integrating continuous code review and refactoring into satellite software development, this research aims to improve maintainability, scalability, and cybersecurity, providing novel insights for the advancement of satellite software development and security. The value of this paper lies in its focus on addressing the identification of vulnerabilities and resolution of code smells in satellite software. In terms of the authors' contributions, we detail methods for applying machine learning to identify potential vulnerabilities and code smells in satellite software. Furthermore, the study presents techniques for feature extraction and model training, utilizing Abstract Syntax Trees (AST) and Control Flow Graphs (CFG) to extract relevant features for machine learning training. Regarding the results, we discuss the analysis of vulnerabilities, the identification of code smells, maintenance, and security enhancement through practical examples. This underscores the significant improvement in the maintainability and scalability of satellite software through continuous code review and refactoring.

• Korean Journal of Remote Sensing
• /
• v.15 no.4
• /
• pp.339-348
• /
• 1999

To extract value-added products which are important in scientific area and practical life, e.g. digital elevation models, ortho-rectified images and geometric corrected images, Satellite Technology Research Center at Korea Advanced Institute of Science and Technology has developed a satellite image processing software called "Valadd-Pro". In this paper, "Valadd-Pro" software is briefly introduced and its main components such as precise geometric correction, ortho-rectification and digital elevation model extraction component are described. The performance of "Valadd-Pro" software was assessed on 10m resolution 6000 $\times$ 6000 SPOT panchromatic images (60km $\times$ 60km) using ground control points from GPS measurements. The height accuracy was measured by comparing our results with 100m resolution $DTEDs^{1)}$ produced by USGS and 60m resolution DEMs generated from digitized contours produced by National Geography Institute. Also, to show the superior performance of "Valadd-Pro" software, we compared the performance with that of commonly used PCI$\circledR$ commercial software. Based on the results, the geometric correction of "Valadd-Pro" software needs fewer ground control points than that of PCI$\circledR$ software and the ortho-rectification of "Valadd-Pro" software shows similar performance to that of PCI$\circledR$ software. In the digital elevation model extraction, "Valadd-Pro" software is two times more accurate and four times faster than PCI$\circledR$ software.ccurate and four times faster than PCI$\circledR$ software.

• Proceedings of the KSRS Conference
• /
• 1999.11a
• /
• pp.337-342
• /
• 1999

Satellite images without value-added processing may be nothing but artistic painting. That is in order to benefit from satellite images acquired from money-drinking satellites, we should utilize the paramount information in scientific world and practical lift that can be extracted from image. Hence, the Satellite Technology Research Center has developed a integrated software called "Valadd-Pro". In this paper, the main components of the Valadd-Pro are briefly introduced, its value-added product are compared with PCI$^{\circledR}$ commercial software. Based on the results, the performance of the Valadd-Pro is superior to that of PCI$^{\circledR}$ on 6000$\times$6000 SPOT panchromatic images.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1111-1113
• /
• 2003

In this paper, we investigated a method for feature - based classification to develop software which is suitable to the classification of high resolution satellite imagery . So, we developed related algorithm and designed user interfaces of convenience, considering various elements require for the feature - based classification. The software was tested with eCognition software which is unique commercial software for feature - based classification.

• 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.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.9
• /
• pp.923-930
• /
• 2009

In this paper, we introduce a satellite conceptual design software which can be used for outlining a new satellite as well as for educational purpose. This software consists of three commercial tools: MATLAB, STK(Satellite Tool Kit), and Excel. The management of the design software is done by MATLAB which provides basic calculations, GUI(Graphical User Interface), Excel data base management, and STK control. STK, an orbital simulation software developed by AGI, takes a part of obtaining accurate orbital information of a satellite. Excel, a product of Microsoft, is used for the data base of previous satellites and for the saving place of temporary and final results of the software. The conceptual design of a satellite is to roughly estimate power system and mass. In the power system design, the sizes of solar array and battery are determined. Based on the database of existing satellites, we can estimate the subsystems's mass fraction of a target satellite. Design examples for Kompsat 1 and 2 are suggested for verification of the developed software.

• ETRI Journal
• /
• v.27 no.2
• /
• pp.140-152
• /
• 2005

In this paper, we present design features, implementation, and validation of a satellite simulator subsystem for the Korea Multi-Purpose Satellite-2 (KOMPSAT-2). The satellite simulator subsystem is implemented on a personal computer to minimize costs and trouble on embedding onboard flight software into the simulator. An object-oriented design methodology is employed to maximize software reusability. Also, instead of a high-cost commercial database, XML is used for the manipulation of spacecraft characteristics data, telecommand, telemetry, and simulation data. The KOMPSAT-2 satellite simulator subsystem is validated by various simulations for autonomous onboard launch and early orbit phase operations, anomaly operation, and science fine mode operation. It is also officially verified by successfully passing various tests such as the satellite simulator subsystem test, mission control element system integration test, interface test, site installation test, and acceptance test.