• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 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
• /
• 제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.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2006년도 Proceedings of ISRS 2006 PORSEC Volume I
• /
• 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
• /
• 제13권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.

• 대한원격탐사학회지
• /
• 제15권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.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1999년도 Proceedings of International Symposium on Remote Sensing
• /
• 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.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
• /
• 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
• /
• 제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.

• 한국항공우주학회지
• /
• 제37권9호
• /
• pp.923-930
• /
• 2009

본 논문에서는 위성의 개념설계와 교육목적에 활용할 수 있는 위성 시스템 개념설계 소프트웨어 개발에 관한 내용을 담고 있다. 이 소프트웨어는 상용도구인 MATLAB, STK, Excel을 이용하여 구성되었다. MATLAB은 기본연산, GUI 구성, 엑셀 데이터베이스 관리 및 STK의 제어를 담당한다. AGI사에서 개발한 궤도 시뮬레이션 소프트웨어인 STK는 위성의 정밀 궤도정보의 산출을 담당한다. 마이크로소프사의 엑셀은 기존 위성들의 데이터 베이스 와 본 개념설계 소프트웨어의 임시적 및 최종 결과의 저장장소로 사용된다. 위성의 개념설계는 위성의 대략적인 전력시스템과 질량계를 추정하는 것이다. 전력시스템 설계과정에서는 태양전지판과 배터리의 크기를 결정한다. 기존 위성들의 데이터베이스를 기반으로 목표 위성의 부시스템의 질량 분할을 추정할 수 있다. 개발된 소프트웨어의 입증을 위해 아리랑 1호 및 2호에 대한 개념설계결과를 포함하였다.

• ETRI Journal
• /
• 제27권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.