• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.3
• /
• pp.435-440
• /
• 2020

The application of the unmanned vehicles in various fields has been attracting attention, and the development of a service utilizing unmanned vehicles has been proceeding. As the service market using the unmanned vehicles rapidly increases, the demand for the development of software for performing the mission with unmanned vehicles is increasing. In particular, as the demand for unmanned vehicle utilization services for public missions such as fire detection, mail delivery, and facility management increases, the importance of developing mission software for unmanned vehicle is increasing. To develop common mission software, architecture design should be made so that unmanned vehicle service provider can easily develop software using reusable libraries or functions through analysis commonly required by various public institutions. In this paper, we discuss the research trends of mission software for public mission unmanned vehicles. In addition, the architecture design of developing formal mission software is proposed. Finally, we propose a data transfer architecture between mission software and data platform.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.10
• /
• pp.871-877
• /
• 2021

Aircraft defects are important matters directly related to the operation of the aircraft and the life of the pilot. The defects in the mission software that occur during aircraft control seriously affect the pilot's mission performance and safety. Therefore, the organization in charge of aircraft development or software defects are reinforced in the process to identify and eliminate defects in the early stages of development, and a lot of labor and time are spent, but due to the nature of the mission software, strong functional coupling with other avionics and high complexity, so there are restrictions on the identification and removal of software defects through the existing test method. This study analyzes the effect of securing mission software integrity and reducing test cost through data integrity verification by developing a tool that automates the verification of expected value of feedback data among communication data of mission computer interlocking equipment.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.228-231
• /
• 2010

첨단 항공기와 더불어 효과적인 조종사의 임무수행을 지원하는 소프트웨어인 비행임무지원체계의 개발은 많은 시간과 비용이 소요되며 높은 개발 수준을 요구하고 있는 고도의 소프트웨어이다. 이러한 소프트웨어의 개발에 있어 상호 연동성과 재사용성의 도입은 개발에 필요한 많은 시간을 줄이고 보다 효율적인 구조설계를 통해 품질을 보다 향상시킬 수 있다. 하지만 여러 복합적인 기능을 지원하는 항공기 특성상, 새롭고 다양한 기능을 접목한 비행임무지원체계의 개발은 빈번한 기능요구를 반영하기에는 개발 여력상 힘든 것이 현실이다. 따라서 본 논문은 확장 가능한 구조설계를 위해 Plug-In 을 통한 기능 확장을 구현함으로써 보다 효율적인 비행임무지원체계 프레임워크의 설계 및 개발 방향을 제시하고자 한다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.164.1-164.1
• /
• 2012

GMAT(General Mission Analysis Tool)은 위성의 궤적 최적화 및 임무해석을 수행하기 위해 NASA에서 주도적으로 개발 중인 오픈 소스 프로그램이다. 본 소프트웨어는 대학, 정부기관 등이 무료로 사용할 수 있도록 개발된 프로그램으로 원하는 사용자 누구나 지구궤도 및 행성탐사를 위한 임무해석을 위해 사용할 수 있다. 항우연은 2010년부터 NASA와 본 프로그램의 공동개발 가능성 여부를 타진하였고, 최근 들어 공동개발을 위한 MOU를 진행하고 있다. 본 논문은 GMAT의 기본적인 특징 및 본 소프트웨어를 이용한 인공위성의 임무해석 결과를 기술하고, 향후 한국형 달 탐사위성의 임무해석을 위한 사용 가능성을 판단하고자 한다. 한국형 달 탐사위성은 550kg급 위성으로 달궤도에 진입하여 주어진 임무를 수행하도록 개념설계를 진행 중에 있으며, 항우연은 향후 GMAT을 공동개발 뿐만 아니라 이를 이용한 한국형 달 탐사위성의 임무해석에 활용할 예정이다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.505-513
• /
• 2021

We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1197-1200
• /
• 2003

위성의 개발 및 제작에는 많은 비용과 기간이 소요되며, 일반적으로 사용되는 장비들과는 전혀 다른 우주환경에서 임무를 수행하게된다. 위성의 성공적인 임무완수를 위해서는 철저한 사전검증 작업들이 필요하게 된다. 특히, 위성의 궤도, 자세를 제어하고 실제적인 임무수행을 관할하는 위성탑재소프트웨어에 대한 완벽한 검증이 필요하다. 2004년 발사를 목표로 하고있는 다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 소프트웨어의 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 이루어졌다. 본 논문에서는 이러한 STB와 VTSP에 대한 전반적인 소개와 함께 개발된 STB와 VTSP를 이용하여 실제 위성탑재소프트웨어를 검증하기 위한 시험환경에 대해 알아보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.547-549
• /
• 2003

위성의 개발 및 제작에는 많은 비용과 기간이 소요되며. 일반적으로 사용되는 장비들과는 전혀 다른 우주환경에서 임무를 수행하게 된다. 그리고 위성의 경우에는 발사이후에 발생하는 오류들을 수정하는 것이 거의 불가능하므로 위성의 성공적인 임무완수를 위해서는 철저한 사전검증 작업들이 필요하게 된다. 특히, 위성의 궤도, 자세를 제어하고 실제적인 임무수행을 관할하는 위성탑재소프트웨어에 대한 완벽한 검증이 필요하다. 이러한 소프트웨어의 통합 및 조립시험. 검증시험을 위해 저궤도 위성의 FSW(Flight Software) 개발단계에서 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 구문분석프로그램으로 VTSP(Verification Test Script Parser)를 개발하게 된다. 본 논문에서는 이러한 STB와 VTSP에 대한 전반적인 소개와 함께 개발된 STB와 VTSP를 이용하여 실제 위성탑재소프트웨어를 검증하기 위한 시험환경에 대해 알아보고자 한다.

• Aerospace Engineering and Technology
• /
• v.2 no.2
• /
• pp.96-104
• /
• 2003

Geostationary satellite propulsion system provides satellite with the velocity increment for attitude control operations and sationkeeping operations from satellite launch to de-orbit at the end of life. Today, various types of propulsion system and its thrusters are produced by worldwide manufactures. Therefore, geostationary satellite manufacturers give significant modification to the Mission Analysis Software whenever different type of propulsion system type is adopted. Mission Analysis Software is a tool for planning and verification of satellite mission. For the development of the Generalized Mission Analysis Software, many thrusters are carefully investigated and modeled.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.4
• /
• pp.357-367
• /
• 2008

Preparing for future Korean Lunar missions, preliminary Lunar mission design software is developed using a impulsive thrusting method. Developed software is capable of design and analysis every required mission phases to design Lunar mission, including the Earth departure, Lunar transfer, Lunar arrival and mission operation phases. Also, assuming that KSLV-II is selected as a launch vehicle, future Korean Lunar explorer's mass budget is estimated based on driven optimal trajectory characteristics. Tracking analysis is also performed using Deep Space Network including angle geometry analysis between Earth - Moon - Lunar explorer - Sun which are very important for communication, solar panel pointing strategy and eclipse analysis when Lunar missions are under designing phase.