• Journal of Aerospace System Engineering
• /
• v.17 no.1
• /
• pp.33-41
• /
• 2023

As seen in the case of the Boeing 737 Max accident, the proportion of aircraft software is rapidly increasing. However, it is vulnerable to safety issues. In case of domestic aircraft software, to operate a Light Unmanned Aerial Vehicle (LUAV) less than an empty weight of 150 kg, safety certification is required for an Ultra-Light Vehicle (ULV). However, software certification procedure is not included. Since the use of LUAVs has increased recently, software verification is required. This paper proposed a checklist of LUAV software that could be applied to LUAV referring DO-178C, an aviation software certification standard. A case study of applying the proposed checklist to the Model-based Development-based Helicopter Flight Control Computer (FCC) project currently used by domestic and foreign advanced companies and institutions was conducted.

• Smart Media Journal
• /
• v.12 no.4
• /
• pp.41-46
• /
• 2023

UWB is a type of technology used for indoor positioning and is characterized by higher accuracy than RSSI-based schemes. Mobile equipment operating based on ROS can monitor the environment around the equipment using lidar and cameras. When applying the loop closing technique to determine the starting position in this monitoring process, the existing method has a problem of low accuracy because the closing operation occurs only when there are feature points on the image. In this paper, to solve this problem, we designed a system that increases the accuracy of loop closing work by providing location information by mounting a UWB tag on a mobile device. In addition, the accuracy of the UWB-based indoor positioning system was evaluated through experiments, and it was verified that it could be used for loop closing techniques.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.739-746
• /
• 2013

Variability of the software product line that differentiates member products within a product line must be described with precise meaning and visualized so as easy to select. Moreover, it should be easy to manage. Variability description approaches can largely be divided into two approaches, integrated variability description approach and orthogonal variability description approach. Orthogonal Variability Description Language (OVDL) was developed for clear and precise description of variability without ambiguity. This paper validates the variability description capability of OVDL by translating the variability models of Inter-Working Function (IWF) product line described by using Orthogonal Variability Model (OVM) notations into variability descriptions in OVDL.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.2
• /
• pp.226-231
• /
• 2007

This paper describes a development of ultrasonic examination analysis software to analyze steam generator of nuclear power plant. The developed software includes classical analysis method such as A, B, C and D-scan images. This software provides the information of shape, depth, size and position of flaws. To do such, we obtain raw data from specimens and/or real pipeline of power plants and, modify the obtained ultrasonic 1-dimensional data according to prepared software design schedule. The developed analysis software is applied to specimens containing various flaws with known dimensions. The results of applications showed that the developed software provided accurate and enhanced images of flaws on various specimens.

• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1491-1498
• /
• 2004

Successful project planning relics on a good estimation of the manpower required to complete a project, together with the schedule options that may be available. Despite the extensive research done developing new and better models, existing software manpower estimation models are present only the total manpower or instantaneous manpower distribution according to the testing time for the software life-cycle. This paper suggests the manpower estimating models for software testing phase as well as testing process and debugging process in accordance with de-tected faults. This paper presents the polynomial model for effort based on testing and debugging faults. These models are verified by 5 different software project data sets with coefficient of determination and mean magnitude of relative error for adaptability of model.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.403-405
• /
• 2005

IT산업이 발달하고 고도화 됨에 따라 소프트웨어가 차지하는 비중이 점차 높아지고 있다. 국내의 경우 정보통신부가 2001년 하반기부터 소프트웨어업체 사업자 평가제도를 도입/시행 중으로 이에 따라 소프트웨어 개발/관리 조직들은 소프트웨어 품질 평가 심사모형인 5티CE 및 CMM의 등급 인증획득과 등급 상향을 위해 큰 관심과 노력을 기울이고 있다. 그러나 이중 SPICE 인증의 신뢰성이나 효과에 대한 충분한 검증 및 연구가 이루어 지고 있지 않아, 본 논문에서는 특히 SPICE 등급을 인증받은 조직이 비인증 조직과 비교하여 품질 및 성과에 차이를 보이는지 조사하였다. 자료수집의 한계에도 불구하고 본 논문을 통해 SPICE 인증 조직이 비인증 조직보다. 프로젝트 품질 성과 및 조직성과 측면에서 어떤 개선효과를 거두고 있는지 특히 피심사부서의 담당관련자들을 중심으로 조사, 분석하여 그 결과를 요약하였다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2003.05a
• /
• pp.70-74
• /
• 2003

Recently, many kinds of satellites are developed in many countries. The satellite contains various data, such as hardware status data attitude date an information, etc. And the ground station must check these data for successful operation These data is called as telemetry. Flight software is responsible for the telemetry processing. In KOMPSAT(Korea Multi-Purpose Satellite)-2, the telemetry processing logic takes the table-driven method to make satellite data flow efficient In this paper, the telemetry processing in KOMPSAT-2 is described Verification test and integration test are being carried out for the FSW of KOMPSAT-2.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.5
• /
• pp.303-310
• /
• 2013

Agile software development methodology is a lightweight software development method, plays an important role in the software development team. In this paper, we propose programs that in when agile development co-operation, team management, team collaboration and project management tasks can be high efficiency and allocation of human resources. The proposed model, the use of 6-Sigma priority assignment, established a mathematical model of the operation and distribution of human resources is the most reasonable people go to work. Cooperation makes team-based agile development can improve efficiency. This method improve staff efficiency by teamwork to improve the productivity of software development.

• KIPS Transactions on Computer and Communication Systems
• /
• v.7 no.4
• /
• pp.99-102
• /
• 2018

Caffe is a neural net learning software which is widely used in academic researches. The GPU memory capacity is one of the most important aspects of designing neural net architectures. For example, many object detection systems require to use less than 12GB to fit a single GPU. In this paper, we extended Caffe to allow to use more than 12GB GPU memory. To verify the effectiveness of the extended software, we executed some training experiments to determine the learning efficiency of the object detection neural net software using a PC with three GPUs.

• Journal of Advanced Navigation Technology
• /
• v.17 no.3
• /
• pp.346-353
• /
• 2013

The dominant trend in software development is the globalisation of the software industry. This development is faced with diverse problems, which require solution by the adoption of new processes and development techniques. eXtreme Programming (known as XP) is one methodology which is now at the leading edge of software development. This recent trend in XP allows organisation members to cooperate towards the development of new software independently of the existing developers. This is achieved functionally between the members by the development of distributed pair programming, this is not IDE plug-in shape of text, simple screen sharing or chatting function based.