• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• pp.364-367
• /
• 2004

This paper presents the flight software of KoDSat (KSLV-l Demonstration Satellite) which performs demonstrating the KSLV-l (Korea Space Launch Vehicle-l)'s satellite launch capability. The KoDSat Flight Software executes in a single-processor, multi-function flight computer on the spacecraft, the OBC (On Board Computer). The flight software running on the single processor is responsible for all real-time processing associated with: processor startup and hardware initialization, task scheduling, RS422 handling function, command and data handling including uplink command and down-link telemetry, attitude determination and control, battery state of charge monitoring and control, thermal control processing.

• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.7-14
• /
• 2017

Korea Aerospace Research Institute takes part in the vibration control software development for an Active Vibration Control System (hereafter, AVCS) for helicopters with Korea Aerospace Industries Ltd. in the Light Civil Helicopter (LCH) Project. The vibration control software is being developed per RTCA/DO-178C certification regulation and use of configuration management tools for software outputs is required. Redmine, an open source software is for issue or bug tracking and management software. Git, another open source software is a distributed version control software and is developed for Linux OS development. This paper introduces the functionalities of Redmine and Git, the reason why they are selected for the configuration management tool for the software outputs, and how they are being used for AVCS software development.

• Journal of Positioning, Navigation, and Timing
• /
• 제8권2호
• /
• pp.69-77
• /
• 2019

This study introduces MATLAB Graphical User Interface (GUI)-based software to monitor ionospheric disturbances. This software detects ionospheric disturbances using Global Positioning System (GPS) and Global Navigation Satellite System (GLONASS) measurements, and estimates a location of the disturbance source through the detected disturbance. In addition, this software includes a sky plot making function and frequency analysis function through wavelet transform. To evaluate the performance of the developed software, data of 2011 Tohoku earthquake in Japan were analyzed by using the software. The analysis results verified that the ionospheric disturbances were detected through GPS and GLONASS measurements, and the location of the disturbance source was estimated through the detected disturbance.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 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.

• 항공우주시스템공학회지
• /
• 제1권1호
• /
• pp.60-66
• /
• 2007

The importance of software development in the integration of an avionics system is continuously increasing. And we can expect enlarged soft ware portion in the system integration for the more intelligent, reliable, and automated avionics system. For an avionics system software development the selection of a real-time operating system and internal avionics data bus protocol is very important from the viewpoint of the integration with the system hardware. In this paper, we present current trend of an avionics system software development including software development methodology, software development process, and international software process assessment improvement model.

• Journal of Astronomy and Space Sciences
• /
• 제27권4호
• /
• pp.407-412
• /
• 2010

Software reusability is one of key factors which impacts cost and schedule on a software development project. It is very crucial also in satellite simulator development since there are many commercial simulator models related to satellite and dynamics. If these models can be used in another simulator platform, great deal of confidence and cost/schedule reduction would be achieved. Simulation model portability (SMP) is maintained by European Space Agency and many models compatible with SMP/simulation model interface (SMI) are available. Korea Aerospace Research Institute (KARI) is developing hardware abstraction layer (HAL) supported satellite simulator to verify on-board software of satellite. From above reasons, KARI wants to port these SMI compatible models to the HAL supported satellite simulator. To port these SMI compatible models to the HAL supported satellite simulator, simulation scheduler is preliminary designed according to the SMI standard.

• 항공우주기술
• /
• 제11권1호
• /
• pp.111-117
• /
• 2012

애자일(Agile)은 논증 가능한 구체적인 목표(사람, 협조, 반응성, 작동하는 소프트웨어)를 위해서 창시된 소프트웨어 개발 방법론으로, 소프트웨어 엔지니어링뿐만 아니라 여러 전문 분야에 적용되고 있다. ESA (European Space Agency)의 경우 애자일의 대표적인 방법인 스크럼 (Scrum)을 중심으로 지상국 분야의 소프트웨어 개발에 애자일을 적용하였다. 본 논문에서는 애자일 기술의 동향을 살펴보고, 이를 도입한 ESA 지상국 소프트웨어 개발의 최근 사례를 분석한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• pp.54-54
• /
• 2004

• 항공우주시스템공학회지
• /
• 제7권3호
• /
• pp.58-64
• /
• 2013

The paper presents the comprehensive studies of ISTQB(International Software Testing Qualification Board) for the reliable software development system in term of various aspects. It is critical to understand how the software testing is achieved is to efficiently manage the development process, to reduce the development cost, and to ultimately ensure the safety of the entire software system. This study may provide an enriched understanding about the rationale and true intent the behind software development model and testing design methods of ISTQB on software developer, test analysts, test engineers. In addition, this paper may serve as a useful supplementary material for the avionic engineers to establish the new regulations in avionic industries.

• 품질경영학회지
• /
• 제34권3호
• /
• pp.1-18
• /
• 2006

CMMI(Capability Maturity Model Integration) has been recognized as a critical method to validate the competitiveness of software development organization since its introduction. CMMI imposes additional requirements on the software development organization which has been established and certified to the ISO 9001 quality management system. This paper reviews the similarities and differences between CMMI and ISO 9001. This paper also examines what ate required to deploy the CMMI on the aircraft software development organization which has been certified to ISO 9001. The results of this study will help software development organization to provide the direction for implementing CMMI. Some suggestions are presented to identify and strengthen the weak portion of the software process quality management system.