• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제9권11호
• /
• pp.357-366
• /
• 2020

항공기 탑재 소프트웨어의 비중 및 복잡성 증가에 따라, 소프트웨어 고장으로 인한 임무수행이나 기능 실패 및 성능 미달 등의 위험요인 또한 증가하고 있다. 항공기 탑재 소프트웨어처럼 미션 크리티컬 도메인의 대규모 소프트웨어에서 최소한의 기간과 비용으로 유지보수를 진행하기 위해서는 요구사항 추적관리가 필수적이다. 하지만, 개발업체에서는 개발비용이나 개발일정 등의 여러 사유로 인해 요구사항 추적관리 지침을 정확히 준수하지 못하고 있으며, 체계적으로 추적성 수립 활동을 수행하기란 쉽지 않다. 논문에서는 체계적인 추적성 수립 활동의 부재에 따른 요구사항 추적성 실패사례가 실제로 존재하는지 항공분야 소프트웨어의 실제 시험사례를 요구사항 추적성 관점에서 분석하고, 추적성 실패사례의 유형과 사안 경중에 따른 위험을 확인한다. 총 7개의 항공기 탑재 소프트웨어를 대상으로 분석을 진행한 결과, 실패사례는 총 3가지 유형인 요구사항 누락, 요구사항-시험절차 연계부족, 시험절차 누락으로 나눌 수 있었다. 실패사례는 총 18건으로 각 유형별 6건씩 있었으며, 각 사안에 따른 Risk는 High, Middle, Low 순으로 각각 1건, 13건, 4건으로 중간 수준의 위험이 가장 많았다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권7호
• /
• pp.568-572
• /
• 2010

Mission-critical 시스템의 경우 자가 치유는 신뢰성을 보장하기 위한 기술 중 하나이다. 자가치유는 오류 탐지와 오류 회복으로 이루어져 있으며 오류 탐지는 오류 회복을 가능하게 하는 자가 치유의 중요한 첫 단계이지만 시스템에 과부하를 주는 문제가 있다. 모델 기반의 방법 등으로 오류를 탐지할 수 있는데 시스템의 모든 행위를 통지하고 정상 행위 모델과 통지된 시스템의 행위를 비교하여야 하므로 그양이 많고 부하가 크기 때문이다. 본 논문에서는 모델 기반의 오류 탐지 방법을 보완하는 아키텍처 기반의 다계층적 자가적응형 모니터링 방법을 제안한다. 소프트웨어 아키텍처 상에서 오류 탐지의 중요도는 컴포넌트 마다 다르다. 각 컴포넌트마다 발생하는 오류의 심각도와 빈도가 다르기 때문이다. 모니터링 중요도가 높은 컴포넌트에는 강도가 높고 모니터링 중요도가 낮은 컴포넌트에는 강도가 낮도록 모니터가 적응한다면 오류 탐지의 부하는 줄이고 효율은 유지시킬 수 있다. 또한 소프트웨어의 환경 변화 및 아키텍처상의 변화 등에 따라 오류 발생 빈도가 변화하여 컴포넌트의 오류 탐지 중요도가 변화하기 때문에 학습을 통해 이를 추적하여 자가적응적으로 중요도가 높은 컴포넌트를 집중 모니터링 한다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1998년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.325-330
• /
• 1998

The first Korean remote sensing satellite, Korea Multi-Purpose Satellite (KOMPSAT-1), is going to be launched in 1999. This will carry a 7m resolution Electro-Optical Camera (EOC) for earth observation. The primary mission of the KOMPSAT-1 is to acquire stereo imagery over the Korean peninsular for the generation of 1:25,000 cartographic maps. For this mission, research is being carried out to assess the possibilities of automated or semi-automated mapping of EOC data and to develop, if necessary, such enabling tools. This paper discusses the issue of automated DEM generation from EOC data and identifies some important aspects in developing a for DEM generation system from EOC data. This paper also presents the current status of the development work for such a system. The development work has focused on sensor modelling, stereo matching and DEM interpolation techniques. The performance of the system is shown with a SPOT stereo pair. A DEM generated from a commercial software is also presented for comparison. The paper concludes that the proposed system creates preferable results to the commercial software and suggests future developments for successful generation of DEM for EOC data.

• Journal of Multimedia Information System
• /
• 제2권1호
• /
• pp.187-192
• /
• 2015

The aim of this study was to develop and analyze a short course educating App Inventor and Arduino that showed the importance of software for youth. The course consists of a total of 10 missions for a 4 hour course divided into 2 parts, each 2 hours respectively. We conducted a basic course of Arduino for hardware and software, Processing for server programming, and App Inventor for programming for smartphones. The final mission was to send a signal to a server with a smartphone and to control light connected to a relay which passes Arduino connected with a server and serial communication. Participants completed 95% of missions, and we found the course had an educational effect for improving creativity and realization of software importance.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제5권4호
• /
• pp.243-248
• /
• 2005

The UAV (Unmanned Aerial Vehicle) systems like unmanned autonomous helicopters are used in various missions of flight navigation and used to collect the environmental information of the surroundings. To realize the full functionalities of the UAV, the software part becomes a challenging problem. In this paper embedded real-time software architecture for unmanned autonomous helicopter is proposed that guarantee real-time performance of hard-real time tasks and re-configurability of soft-real time and non-real time tasks. The proposed software architecture has four layers: hardware, execution, service agent and remote user interface layer according to the reactiveness level for external events. In addition, the layered separation of concurrent tasks makes different kinds of mission reconfiguration possible in the system. An Unmanned autonomous helicopter system was implemented (Kyosho RC Helicopter) in our lab to test and evaluate the performance of the proposed system.

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

This is a study on controlling a drone (DJI Mavic Air) with simple hand gesture using Leap Motion controller. Four component involve are MacBook, Leap Motion controller, Android device, and DJI Mavic Air. All of this component are connected through USB, Bluetooth, and Wi-Fi technology. The studies main purpose are to show that by controlling a drone through Leap Motion, drone amateur user can easily learn how to control a drone, and because of longer drone control range can be archived things such as search and rescue mission will be possible.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2024년도 제69차 동계학술대회논문집 32권1호
• /
• pp.281-282
• /
• 2024

본 논문에서는 사용자들의 운동 능력과 영어 학습 능력 향상을 위한 앱을 개발한다. 지정한 시간에 알람을 울리고, 운동 및 학습을 완료하는 경우에만 알람이 종료한다. 알람이 활성화되면 사용자가 강제적으로 종료할 수 없는 기능을 선택할 수 있다. TTS 기능을 적용하여 알람이 활성화되었을 때, 안내 음성이 나오도록 설계하였다. 학습 기능에 STT를 적용하여 영어 단어와 문장을 마이크에 인식하는 방식의 영어 문제를 제시하였다. 또한, OpenAI를 활용하여 매일 자정 새로운 영어 문제를 생성하고 서버에 저장한다. 이러한 기능들은 사용자의 선택권을 보장하며 건강 증진 및 자기 주도적인 학습에 도움을 줄 것이다.

• 우주기술과 응용
• /
• 제3권3호
• /
• pp.257-279
• /
• 2023

한국항공우주연구원에서는 심우주 탐사를 위한 핵심 기술 개발을 위해 6U급 초소형 위성인 HiREV(high resolution video and image)를 개발하였다. 6U HiREV 초소형 위성의 임무는 지구 관측을 위한 고해상도 영상 및 동영상 촬영이며, 임무 수행 시 고온의 카메라 모듈로 인해 렌즈와 모듈 간의 열 지향 오차가 발생할 수 있다. 열 지향 오차는 해상도에 큰 영향을 미치므로, 이를 해결하기 위해 열 설계가 필요하다. 또한 HiREV 광학 카메라는 지상에서 쓰이는 상용제품(COTS, Commercial Off The Shelf)을 이용하여 개발한 것이므로 상온에서 가장 좋은 성능을 가지며, 고온/저온 환경인 우주에서 활용되기 위해 별도의 열 설계가 적용되어야 한다. 본 논문에서는 임무 카메라 탑재체를 위해 3가지의 수동 열 설계가 수행되었으며, 궤도열 해석을 통하여 열 설계가 효과적임을 확인하였다.

• 융합보안논문지
• /
• 제12권6호
• /
• pp.3-10
• /
• 2012

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구 하였다. 소프트웨어의 결함을 제거하거나 수정 작업과정에서 학습요인을 고려한 유한고장수를 가진 비동질적인 포아송 과정에 기초하였다. 수명강도는 다양한 형상모수와 척도모수에 이용 할 수 있기 때문에 신뢰성 분야에서 많이 사용되는 로그 선형 모형을 이용한 방출시기에 관한 문제를 제시하였다. 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 최적 소프트웨어 방출 정책에 대하여 논의 되었다. 본 논문의 수치적인 예에서는 고장 시간 자료를 적용하였으며 모수추정 방법은 최우추정법을 이용하고 최적 방출시기를 추정하였다.