• Journal of Aerospace System Engineering
• /
• v.17 no.6
• /
• pp.108-117
• /
• 2023

Thus far, a mission software component of the KT-1 military fixed-wing aircraft for overseas export has been developed through international joint development with foreign companies. The reliability of the software component could be certified by complying with the development environment and procedures of foreign companies based on DO-178B. However, recently, DO-178C certification is required for overseas exports, and reliability tests to comply with the weapon system software development guidelines are required for domestic military forces. In this paper, we describe the problems in obtaining domestic airworthiness certification in the international joint development of a previously developed KT-1 export-typed aircraft system integration project. To this end, we find a solution to comply with both DO-178C and the Weapon System Software Development and Management Manual and provide the optimal software reliability test method.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.1
• /
• pp.51-59
• /
• 2022

As the weapon system's dependence on software functions increased, software became a key factor in controlling the weapon system. In addition, as software development becomes more important domestically and internationally, software verification becomes an issue. The recent defense market has recognized this point and is demanding a plan for weapon system software maintenance. In this paper, we propose a weapon system software maintenance plan using Automatic Test Equipment. The specific method is to use a simulator to check the software function and identify failure cases. This is an effective way for developers to reduce the Total Corrective Maintenance Time(TCM) of the weapon system by reducing the time it takes to identify failure cases. It has been proven that the proposed Automatic Test Equipment can achieve software maintenance and excellent Maintainability and Operational Availability compared to the existing ones.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.14-20
• /
• 2014

This study, the reliability of weapon systems acquisition and research and development in order to increase the effect of the modeling and simulation method has been studied using computational fluid dynamics. Weapon system acquisition, Test & Evaluation for use in the modeling and simulation can reduce the reliability of the time and cost savings and possible predictions and verification, and can provide useful data. However, the current weapon system acquisition and active use of modeling and simulation and verification do not even use the software are restricted. In this study, using computational fluid dynamics (CFD) modeling and simulation using the GAMBIT and FLUENT modeling and simulation was performed. The result is better than previous research results were confirmed in future weapon systems acquisition and research and development are expected to be actively used.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.465-466
• /
• 2016

다양한 유도무기체계의 개발로 이를 시험하거나 훈련하기 위한 발사체계모의 소프트웨어가 반복되어 개발되고 있다. 이러한 소프트웨어는 개발비는 적으나 높은 신뢰성을 요구한다. 따라서 소프트웨어의 품질 향상과 개발 및 유지보수 비용 절감을 위해서는 소프트웨어 재사용이 필요하다. 본 논문에서는 다양한 접근을 통해 발사체계모의 소프트웨어 개발지원을 위한 프레임워크의 개발방안에 대해 제안한다. 여러 체계마다 공통으로 사용될 수 있는 기능을 추출하고 이들의 집합을 프레임워크로 정의한다. 본 프레임워크를 발사체계 시뮬레이터 개발에 이용 시 개발 및 유지보수 비용절감 및 소프트웨어 품질 향상을 기대할 수 있다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.18 no.6
• /
• pp.1125-1132
• /
• 2023

The importance of networks is gradually expanding in the battlefield environment. As time goes by, the types of tactical data links used in the Korean JTDLS are increasing, and the military's weapon systems equipped with tactical data link systems are increasing. Thorough quality verification is required to provide stable software to the wider battlefield. This study examines how to prepare an environment in which various simulation tests to verify the stability of the Korean JTDLS project can be conducted as diverse as possible using minimal physical space and Hardware resources. Through this, it is possible to improve the completeness of the project and secure the stability of the program, and it is intended to contribute to securing higher stability and reliability by securing maximum test capabilities in a limited test environment even in Linux based system project of a similar environment.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.2
• /
• pp.213-222
• /
• 2014

In this paper, we introduce that MAAB style guideline has effects on the codes generated from Simulink models for static and dynamic software testing, when weapon system embedded software design and implementation are performed using the model based method. As showing the effects, MAAB guideline is helpful for defect prevention related with coding rules and run time errors associated with the DAPA weapon system embedded software guide. Thus, we check related items between MAAB and DAPA software reliability testing including static and dynamic analysis. And then we propose the criterion to select proper items from MAAB for DAPA guideline and show how to verify the relationship and the effects on reliability of models in Simulink. In addition, we show the needs for clear logics in conditional block models or statements and simple complexity models for Simulink model based design.

• Journal of the Korean Society of Systems Engineering
• /
• v.11 no.1
• /
• pp.67-72
• /
• 2015

It has been tested for SW reliability in order to prevent the SW error during the development of weapons systems. According to a recent report, defects such as memory leak, buffer overflow, and null deference occur usually in the development stage, but also in the mass production stage. Although it is intended to enhance the SW test and evaluation to prevent SW failures in the development stage, the non-functional problems like syntax errors are not completely revised due to the limitation of the schedule and costs. In addition, SW failure rate are usually fluctuated by the operational environment through SW upgrade in contrast with HW. In this paper, we propose a method to increase SW reliability in the mass production stage of Korean weapon systems.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.12 no.4
• /
• pp.13-24
• /
• 2016

Defense Acquisition Program Administration's weapon system software development and management guideline specifies the criteria of software reliability tests including static and dynamic tests mainly on C/C++ languages. Recently, Defense Acquisition Program Administration expanded the scope of software reliability test for the various languages including C#, java etc. but specific criteria for them are not established. This study suggests the reliability test procedures and standards on C# programming software in weapon system. For the static test, considering the nature of the C# which depends on .NET framework, this paper introduces applying coding rules recommended by Microsoft Corp. Visual Studio 2012. Block coverage provided by Visual Studio is applied on dynamic tests and the achievement objectives for block coverage according to the software levels(A, B, C) are suggested. Also, the software reliability test procedures and standards proposed by this paper are properly verified through the case study. The result of this study can be used for establishing the specific criteria of the software reliability test for C# programming software in weapon system.