• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• 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.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.11
• /
• pp.357-366
• /
• 2020

As the proportion and complexity of software embedded in aircraft increase, risk factors such as mission failure, function failure and performance failure due to software errors also increase. In the mission-critical software systems such as aircraft software, managing requirement traceability is essential to maintain the software systems with minimal period and cost. However, the development company is not accurately complying with the guideline for managing requirement traceability due to various reasons such as development cost and schedule. Therefore, it is not easy to systematically establish and maintain requirement traceability. In the paper, we analyze actual test cases of aviation software systems from the viewpoint of requirements traceability in order to learn if there are failure cases of test cases due to the absence of systematic traceability management activities. We also check the risks associated with the failure cases according to the type and severity of the cases. As a result of analyzing a total of 7 aircraft-mounted software, failure cases could be divided into three types: omission of requirements, lack of connection between requirements and test procedures, and omission of test procedures. There were a total of 18 failure cases, 6 for each type. The numbers of high, middle and low risks were 1, 13 and 4, respectively, where the number of middle risks is largest.

• Journal of KIISE:Software and Applications
• /
• v.37 no.7
• /
• pp.568-572
• /
• 2010

Self-healing is one of the techniques that assure dependability of mission-critical system. Self-healing consists of fault detection and fault recovery and fault detection is important first step that enables fault recovery but it causes overhead. We can detect fault based on model, the detection tasks that notify system's behavior and compare normal behavior model and system's behavior are heavy jobs. In this paper, we propose architecture-based multi-level self-adaptive monitoring method that complements model-based fault detection. The priority of fault detection per component is different in the software architecture. Because the seriousness and the frequency of fault per component are different. If the monitor is adapted to intensive to the component that has high priority of monitoring and loose to the component that has low priority of monitoring, the overhead can be decreased and the efficiency can be maintained. Because the environmental changes of software and the architectural changes bring the changes at the priority of fault detection, the monitor learns the changes of fault frequency and that is adapted to intensive to the component that has high priority of fault detection.

• Proceedings of the KSRS Conference
• /
• 1998.09a
• /
• 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
• /
• v.2 no.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
• /
• v.5 no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.10a
• /
• 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.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2024.01a
• /
• pp.281-282
• /
• 2024

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

• Journal of Space Technology and Applications
• /
• v.3 no.3
• /
• pp.257-279
• /
• 2023

Korea Aerospace Research Institute has developed 6U Nano-Satellite high resolution video and image (HiREV) for the purpose of developing core technology for deep space exploration. The 6U HiREV Nano-Satellite has a mission of high-resolution image and video for earth observation, and the thermal pointing error between the lens and the camera module can occur due to the high temperature in camera module on mission mode. The thermal pointing error has a large effect on the resolution, so thermal design should solve it because the HiREV optical camera is developed based on commercial products that are the industrial level. So, when it operates in space, the thermal design is needed, because it has the best performance at room temperature. In this paper, three passive thermal designs were performed for the camera mission payload, and the thermal design was proved to be effective by performing on-orbit thermal analysis.

• Convergence Security Journal
• /
• v.12 no.6
• /
• pp.3-10
• /
• 2012

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. When correcting or modifying the software, finite failure non-homogeneous Poisson process model, considering learning factor, presented and propose release policies of the life distribution, log linear type model which used to an area of reliability because of various shape and scale parameter. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, the parameters estimation using maximum likelihood estimation of failure time data, make out estimating software optimal release time.