• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.1070-1073
• /
• 2013

위성 비행 소프트웨어의 개발 과정에는 소프트웨어의 신뢰성을 향상하기 위한 다양한 검증 활동이 이루어진다. 이러한 검증 활동에는 효율적으로 설계된 검증 환경이 필수적이다. 위성 비행 소프트웨어 개발 전반에 검증 환경을 효과적으로 적용하기 위해서는 사용 가능한 검증 환경이 보다 빠르게 구현되어야 한다. 검증 환경은 개념적으로 궤도 상의 위성과 통신하는 지상 시스템의 역할을 기본으로 하고 있으므로 Command 송신과 Telemetry 수신을 위성 비행소프트웨어와의 상호 작용으로 정의할 수 있다. 따라서 위성 비행소프트웨어의 동작을 Command와 Telemetry 관점에서 모델링하고 이를 모사하는 시스템을 이용함으로써 위성 개발 초기부터 위성 비행 소프트웨어 검증 환경 구현에 사용할 수 있고, 또한 위성 개발 과정에서 발생하는 다양한 변경 사항을 보다 효과적으로 반영할 수 있다. 본 논문에서는 위성 비행 소프트웨어의 검증 환경 구현을 위한 Command Telemetry Simulator의 설계 및 그 구현에 대하여 소개한다.

• Annual Conference of KIPS
• /
• 2011.11a
• /
• pp.76-79
• /
• 2011

천리안 위성은 우리나라 최초의 정지궤도 복합 지구관측 위성으로 기상관측, 해양관측과 통신서비스 임무를 수행하는 중대형위성으로 2011년 6월 27일에 성공적으로 발사되어 약 6개월간의 시험운영기간을 거쳐 현재는 실시간 서비스를 제공하고 있다. 천리안 위성은 한국항공우주연구원(KARI) 총괄 주관하에 2003년 9월 개발을 시작으로 프랑스의 EADS-Astrium과 공동 개발되었다. 천리안 위성은 이미 EADS-Astrium에 의해 통신 위성 본체 플랫폼으로 우주 인증된 Eurostar3000(이하 E3000) 플랫폼을 근간으로 제작되었다. 본 논문에서는 천리안 위성 플랫폼 탑재컴퓨터에 탑재되어 위성체 전반을 운영하는 비행소프트웨어의 구성 및 기능에 대해 기술한다. 또한 기존의 EADS-Astrium사의 E3000 비행소프트웨어 생산라인을 바탕으로 천리안 위성 비행소프트웨어를 개발하기 위한 개발 절차 형상을 소개한다. 본 논문에서 기술한 재생산을 위한 개발 절차에 대한 접근 방법은 위성 임베디드 소프트웨어 시스템과 같은 mission critical 시스템이면서 이미 검증된 소프트웨어를 재사용하고 사용자의 요구사항을 만족시키기 위해 일부 기능을 변경 및 추가 개발하여 통합된 소프트웨어를 생산해야하는 소프트웨어 개발체계의 실질적인 한 예를 보여주고 있다.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.844-847
• /
• 2012

인공위성의 개발은 오랜 기간에 걸쳐 다양한 분야의 전문가들에 의해 개발된 결과물들이 통합되어 완성될 수 있다. 위성개발과 같이 많은 개발자가 공동으로 작업하여 하나의 결과물을 생산하는 경우 개발과정에서 방대한 양의 문서작업이 수반된다. 특히 비행소프트웨어와 같이 서로 다른 개발자에 의해 작성된 코드들이 하나의 이미지로 통합되어 빌드될 경우 발생하는 문제점들을 해결하고 요구되는 기능들을 디버깅하기 위해서는 개발과정 및 소스코드에 대한 문서들이 필수적이다. 이러한 소프트웨어 설계에 대한 문서는 그 양이 방대하고 소스코드와의 연계성이 필요하기 때문에 소스코드를 작성한 각 개발자들이 직접 수작업으로 문서를 작성하였다. 예를 들면, 기존의 위성비행소프트웨어 개발과정에서는 이러한 문서들 중 전체 위성비행소프트웨어의 단위 코드별 입출력, 수행기능 등의 상세 설계 내용을 기록하는 SDD(Software Design Description)는 개발자가 작성한 코드를 기반으로 수작업을 통하여 작성되었다. 이러한 작성방식은 작성자의 입력오류가 발생할 수도 있으며 소프트웨어 개발과 별도로 수작업이 요구되어 문서작성에 소요되는 시간적 손해가 발생하게 된다. 유럽에서는 이러한 문제점을 보완하기 위하여 C, C++, C#, JAVA, VHDL 등 다양한 언어를 사용하는 소프트웨어 개발에 적용 가능한 자동적 문서작성 도구인 Doxygen을 설계 및 개발문서 작성에 활용하고 있다. Doxygen은 PDF, HTML, Latex, RTF 등 다양한 출력 포맷도 지원한다. 본 논문에서는 Doxygen을 활용하여 위성비행소프트웨어 개발문서의 작성 시 소요시간을 단축하고 소스코드로부터 해당 설계 내용을 추출하여 자동적으로 문서를 작성할 수 있는 방안에 대하여 소개한다.

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

위성비행소프트웨어는 위성의 하드웨어와 임무 탑재체 및 서브시스템이 통합되어 궤도상에서 위성임무를 수행할 수 있도록 원격명령 및 측정데이터의 처리, 자세 및 궤도제어, 열제어, 전력제어 등의 기능을 수행한다. 위성비행소프트웨어의 개발과 같이 규모가 큰 소프트웨어는 여러 개발자가 참여해야 하고 각각의 개발자들이 작성 코드를 통합하여 빌드하고 문제 발생 시 대처하기 위하여 세부적인 설계 및 개발내용을 단계별로 문서화하는 작업이 수반되어야 한다. 기존의 위성비행소프트웨어 개발과정에서는 이러한 문서들 중 전체 위성비행소프트웨어의 단위 코드별 입출력, 수행기능 등의 상세 설계 내용을 기록하는 SDD(Software Design Description)는 개발자가 작성한 코드를 기반으로 수작업을 통하여 작성되었다. 이러한 작성방식은 작성자의 입력오류가 발생할 수도 있으며 소프트웨어 개발과 별도로 수작업이 요구되어 문서작성에 소요되는 시간적 손해가 발생하게 된다. 유럽에서는 이러한 문제점을 보완하기 위하여 C, C++, C#, JAVA, VHDL 등 다양한 언어를 사용하는 소프트웨어 개발에 적용 가능한 자동적 문서작성 도구인 Doxygen이 널리 활용되고 있다. Doxygen은 PDF, HTML, Latex, RTF 등 다양한 출력 포맷도 지원한다. 본 논문에서는 Doxygen을 활용하여 위성비행소프트웨어 개발문서의 작성 시 소요시간을 단축하고 소스코드로부터 해당 설계 내용을 추출하여 자동적으로 문서를 작성할 수 있는 방안에 대하여 소개한다.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.921-924
• /
• 2010

정지궤도 위성을 제외한 대부분의 저궤도 위성 및 심우주 관측용 위성은 임무를 수행하면서 하루동안에도 제한된 시간동안만 지상국과의 통신이 가능하다. 따라서 위성 운영에 고수준의 자율적 제어기능이 요구된다. OBCP(On-Board Control Procedures)는 별도로 개발된 언어로 작성한 작은 용량의 스크립트 프로그램을 통해 위성을 제어하는 기능을 제공한다. 이러한 방법을 통해 지상관제 시에 위성의 임무수행동안 수행되어야 하는 다양하고 복잡한 운영 시퀀스를 용이하게 준비하고 업로드할 수 있다. OBCP는 위성비행소프트웨어와는 분리된 별도의 서브시스템으로 수행되기 때문에 새로운 위성운영 프로시져의 생성을 위해 위성비행소프트웨어의 수정, 재검증, 코드업로드 등의 절차가 요구되지 않으며 지상에서 개발 및 검증시험을 완벽하게 수행할 수 있다. 본 논문에서는 기존의 저궤도 관측위성에서 사용되었던 위성의 자율적 제어 시퀀스 기능과 OBCP의 기능을 비교하여 설명하고, 실제 Herschel and Plank 위성에 활용된 예를 통해 OBCP의 개념 및 설계 방안에 대하여 소개한다.

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

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

위성에 탑재되어 위성의 상태를 모니터링하며, 지상으로부터 명령을 받아 위성 본연의 임무 수행이 가능하게 하는 위성비행소프트웨어는 그 개발단계에서 다양한 검증활동이 이루어진다. 설계 검증 및 리뷰, 인스펙션을 거쳐 소스 코드로 구현된 후, 단위 시험을 통해 가장 낮은 수준의 검증을 거치게 된다. 이러한 단위 시험은 개별 함수에 대해 입력에 따른 해당 출력 및 동작 여부를 검사하게 된다. 단위 시험이 하나의 함수에 대한 시험 항목이라는 점은 검증대상의 스코프가 좁다는 장점이 있으나, 다른 모듈과 연동되었을 경우에 발생할 수 있는 다양한 경우를 고려하여 테스트 케이스를 작성해야 하는 어려움이 있다. 이러한 문제점을 해결하기 위하여 단위 시험과 함께, 연관된 함수가 이미 구현되어 있는 경우, Stubbing을 하기보다는 직접 해당 함수를 사용하며, 또한 동등한 수준의 개별 함수들을 주어진 시나리오에 따라 동작하는 Compound Test를 활용, 그 결과를 확인하는 방법을 도입하였다. 이를 이용하면 단위 시험에서는 검증하기 어려운 상황별 시나리오에 따른 검증 활동을 수행할 수 있고, 또한 전체 위성비행소프트웨어를 빌드할 필요없이 테스트의 대상이 되는 함수만을 이용, 나머지 부분은 기존의 방식을 그대로 적용할 수 있어, 위성비행소프트웨어의 안전성 및 신뢰성을 보다 향상시킬 수 있다.

• Aerospace Engineering and Technology
• /
• v.10 no.1
• /
• pp.141-148
• /
• 2011

LEO satellites have many heaters for thermal control, such as bus module heaters, payload heaters and battery internal heaters. Some of these heaters are controlled by thermisters, and others can be controlled by flight software. These heaters are divided into various types of group according to the location, telemetry variables, flight software logic, power distribution, etc. Thus, it is difficult to find out which heaters are included in a certain group and modify heater control logic for a new/other software developers. This document describes about the general/special control logic for satellite heaters and groups/arrays for heaters.

• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.58-58
• /
• 2003

과학위성 1호의 컴퓨터 시스템은 지상국 명령 및 데이터 처리, 위성 자세 제어, 위성체 운용, 상태 감시, 탑재체 운용, 배터리의 충방전 제어 등을 담당하며, 우리별 3호 위성을 통하여 검증된 컴퓨터 시스템을 기반으로 개발되었다 과학위성 1호의 컴퓨터 시스템은 탑재 컴퓨터(On-board Computer)와 비행 소프트웨어(Flight Software)로 구성된다. 과학위성 1호의 탑재 컴퓨터는 우리별 3호의 탑재 컴퓨터에 비하여 FPGA를 사용함으로써 크기 및 무게의 소형화를 추구하였고, 네트워크 제어기를 내장함으로써 통신 성능의 개선을 이루었다. 그리고 EEPROM을 장착하여 위성 운용 기간 도중에 발생할 수 있는 소프트웨어의 변경에도 대응하였다 과학위성 1호의 비행 소프트웨어는 우리별 3호의 비행 소프트웨어를 기반으로 하여 과학위성 1호의 명령 및 데이터 처리 시스템과 임무에 적합하도록 개발되었다.

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