• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.1070-1073
• /
• 2013

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.844-847
• /
• 2012

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

• 한국항공우주학회지
• /
• 제40권6호
• /
• pp.548-554
• /
• 2012

항공기 비행조종컴퓨터 탑재 소프트웨어는 항공기의 손실뿐만 아니라 조종사의 생명에도 직결되는 비행안전 필수 소프트웨어로서 정확성과 무결성을 입증하기 위한 검증 및 확인(Verification & Validation)이 요구된다. 특히 비행안전 필수 소프트웨어는 검증을 위해 통합시험 단계에서 실제 환경과 유사한 운용 환경에 노출하여 소프트웨어 내부 상태를 실시간으로 모니터링하기 위한 환경이 요구된다. 본 논문에서는 표준 디버깅 인터페이스인 NEXUS 5001을 이용한 비행안전 필수 소프트웨어의 검증환경 개발에 대하여 기술하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.76-79
• /
• 2011

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

• 천문학회보
• /
• 제37권2호
• /
• pp.158.1-158.1
• /
• 2012

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

• 융합정보논문지
• /
• 제7권5호
• /
• pp.75-82
• /
• 2017

최근에 무인비행체의 역할과 활용이 다양해짐에 따라 고 난이도의 임무 수행 요구가 증가하고 있으며 이를 해결하기 위하여 복수 소형무인비행체의 운용 및 관련 시스템 개발에 관한 연구가 활발히 수행되고 있다. 복수 소형 무인비행체 기반 응용 시스템은 관제요원이 여러 대의 소형무인비행체를 지속적으로 제어, 관리해야 하기 때문에 관제요원의 업무 복잡성이 증대되는 문제를 지닌다. 따라서 복수 소형무인비행체 기반 응용 시스템의 성공적인 구현을 위해서는 효율적인 관제를 수행할 수 있는 소프트웨어 플랫폼 개발이 필요하다. 본 논문에서는 복수 소형무인비 행체를 이용한 응용 시스템에 효과적인 지상관제 소프트웨어 플랫폼을 제안한다. 본 논문에서는 먼저 소프트웨어 플랫폼 개발에 필요한 요구사항들을 분석하고 이를 기반으로 소프트웨어를 설계, 구현한다. X-plane 비행시뮬레이터를 이용한 모의실험을 통하여 복수의 비행데이터들이 화면에 효과적으로 출력됨을 확인하고 다수의 소형무인비행체에서 전송되는 영상데이터들이 실시간으로 통합 시현됨을 보인다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2006년도 한국우주과학회보 제15권1호
• /
• pp.117-120
• /
• 2006

HAUSAT-2 비행소프트웨어 개발은 HAUSAT-2의 요구 조건을 분석하였고, 분석 결과에 따라서 HAUSAT-2 비행소프트웨어를 설계하였다. 설계 완료 후 소프트웨어 코딩 및 컴파일을 수행하고, 개별 시험과 통합 시험을 거쳐 비행소프트웨어의 알고리즘을 검증한다. 현재 HAUSAT-2의 개발 상황은 시험 모델에 대한 통합 시험을 마쳤고, 시험 결과를 분석하여 비행소프트웨어의 수정 및 운영 체제 추가 개발을 진행 중에 있다. 본 논문에서는 HAUSAT-2 비행소프트웨어(flight software)의 아키텍처와 전반적인 개발 과정 그리고 개발 환경에 대하여 설명한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권1호
• /
• pp.7-18
• /
• 2014

비행 소프트웨어는 인공위성의 탑재 컴퓨터에서 사용되는 소프트웨어로, 실시간성과 고신뢰성이 요구된다. 이와 같은 요구사항으로 인해 비행 소프트웨어는 동작 환경에 대한 종속성을 갖게 된다. 이러한 문제는 새로운 시스템을 구축할 때마다 매번 다시 개발하여야 하는 상황을 초래한다. 따라서 비행 소프트웨어와 동작 환경 사이의 종속성을 제거할 필요가 있으며, 이는 비행 소프트웨어의 이식성 향상을 통해 달성할 수 있다. 본 논문에서는 이를 위해 IMA 아키텍처 기반의 플랫폼 아키텍처를 제안한다. 이 아키텍처는 이식성을 극대화하기 위해 두 가지의 IMA 아키텍처 실현 방안을 기반으로 구축된 혼합형 아키텍처이다. 또한 혼합형 아키텍처의 검증을 위해 혼합형 아키텍처 기반의 시스템을 구현하고 동작 결과를 분석한다. 본 논문에서 제안한 아키텍처를 통해서 비행 소프트웨어와 동직 환경 사이의 종속성을 제거할 수 있다. G망을 활용하여 끊김없는 서비스를 지원할 수 있는 방안을 제안하였으며, 테스트베드 구현을 통하여 제안 방안의 우수성을 검증하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제61차 동계학술대회논문집 28권1호
• /
• pp.131-132
• /
• 2020

본 논문에서는 OpenCV의 Marker Detection 기술을 이용하여 특정지점의 마커를 영상처리기술로 인식하여 드론의 자동 이착륙 및 주변 위기상황, 미션수행 등을 마커를 통해서 드론에게 전달하여 비행 제어할 수 있는 체계를 개발한다. 드론은 OpenCV Aruco모듈을 이용하여 Marker ID별로 특정 명령어를 데이터 베이스와 비교하여 비행제어 명령을 수행한다. 지상에서는 마커의 변경을 통해서 실시간으로 미션변경을 할 수 있다. 이를 통해 드론은 제어용 송수신 채널을 통해서 통신을 하고는 있으나, 주파수 채널수가 제한이 되어 있으므로 구체적인 비행 제어 명령을 마커를 통해 이착륙시 추가적이며, 자동적인 진행이 가능하다.

• 인터넷정보학회논문지
• /
• 제15권1호
• /
• pp.1-17
• /
• 2014

비행 소프트웨어는 인공위성의 탑재 컴퓨터에서 사용되는 소프트웨어로, 실시간성과 고신뢰성이 요구된다. 이와 같은 요구사항으로 인해 비행 소프트웨어는 동작 환경에 대한 종속성을 갖게 된다. 이러한 문제는 새로운 시스템을 구축할 때마다 매번 다시 개발하여야 하는 상황을 초래한다. 따라서 비행 소프트웨어와 동작 환경 사이의 종속성 문제를 해결할 필요가 있으며, 이는 비행 소프트웨어의 이식성 향상을 통해 해결할 수 있다. 이식성을 향상시키기 위해서는 이식 비용의 최소화가 요구된다. 따라서 본 논문에서는 이식성 달성 방안으로부터 이식성을 분류한다. 또한 분류된 이식성의 종류를 이용하여 다양한 이식성을 제공하는 IMA 아키텍처 기반의 플랫폼 아키텍처를 제안한다. 본 논문에서 제안한 아키텍처를 통해서 비행 소프트웨어의 개발 문제를 해결할 수 있다.