• Title/Summary/Keyword: 무기체계 소프트웨어

Search Result 130, Processing Time 0.027 seconds

A Case Study on the Weapon System Software Development Appling Test-Driven Development (테스트 주도 개발을 적용한 무기체계 소프트웨어 연구 개발 사례 연구)

  • Nam, Sung-Woo;Rhee, Kye-Jin;Oh, Sun-Taek
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2021.11a
    • /
    • pp.2-5
    • /
    • 2021
  • 테스트 주도 개발(TDD: Test-Driven Development)의 가치와 원칙을 잘 이해하고 있고, TDD 를 적용한 개발 방식이 습관화되어 있으면 TDD 가 제공하는 다양한 장점들을 얻을 수 있다. 하지만 위와 같은 경우가 아니라면 TDD 를 적용하더라도 비용 대비 효과를 얻을 수 없다. 본 논문에서는 비용 대비 효과를 높일 수 있도록 TDD 를 상황에 맞게 테일러링하여 협업에 적용한 사례를 제시한다.

Applied research in formal verification of certificates of airworthiness and aviation software design phase (항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구)

  • Jang, JoonHa;Choi, Jinyoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.10a
    • /
    • pp.433-435
    • /
    • 2016
  • 기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

The Development of a MATLAB-based Discrete Event Simulation Framework for the Engagement Simulations of the Weapon Systems (무기체계 교전 시뮬레이션을 위한 매트랩 기반 이산사건시뮬레이션 프레임워크의 개발)

  • Hwang, Kun-Chul;Lee, Min-Gyu;Kim, Jung-Hoon
    • Journal of the Korea Society for Simulation
    • /
    • v.21 no.2
    • /
    • pp.31-39
    • /
    • 2012
  • Simulation Framework is a basic software tool used to develop simulation applications. This paper describes the development of a discrete event simulation framework based on DEVS(Discrete EVent System Specification) formalism, using MATLAB language which is widely used in technical computing and engineering disciplines. The newly developed framework utilizing MATLAB object oriented programming combines the convenience of MATLAB language and the sophisticated architecture of the DEVS formalism. Hence, it supports the productivity, flexibility, extensibility that are required for the simulation application software development of the weapon systems engagement. Moreover, it promises a simulation application the increased the computation speed proportional to the number of CPU of a multi-core processor, providing the batch simulation functionality based on MATLAB parallel computing technology.

A Test Case Generation Method for Data Distribution System of Submarine (잠수함 데이터 분산 시스템을 위한 테스트 케이스 생성 기법)

  • Son, Suik;Kang, Dongsu
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.8 no.4
    • /
    • pp.137-144
    • /
    • 2019
  • Testing maturity is critical to the system under development with lack of experience and skills in the acquisition of the weapon systems. Defects have a huge impact on important system operations. Sharing real-time information will lead to rapid command and mission capability in submarine. DDS(Data Distribution System) is a very important information sharing system and interface between various manufacturers or data formats. In this paper, we analyze data distribution characteristics of distributed data system to group data-specific systems and proposes a test case-generation method using path search of postorder and preorder which is a tree traversal in path testing method. The proposed method reduces 73.7.% testing resource compare to existing methods.

The Fault Analysis Model for Air-to-Ground Weapon Delivery using Testing-Based Software Fault Localization (소프트웨어 오류 추정 기법을 활용한 공대지 사격 오류 요인 분석 모델)

  • Kim, Jae-Hwan;Choi, Kyung-Hee;Chung, Ki-Hyun
    • Journal of the Korea Society for Simulation
    • /
    • v.20 no.3
    • /
    • pp.59-67
    • /
    • 2011
  • This paper proposes a model to analyze the fault factors of air-to-ground weapon delivery utilizing software fault localization methods. In the previous study, to figure out the factors to affect the accuracy of air-to-ground weapon delivery, the FBEL (Factor-based Error Localization) method had been proposed and the fault factors were analyzed based on the method. But in the study, the correlation between weapon delivery accuracy and the fault factors could not be revealed because the firing accuracy among several factors was fixed. In this paper we propose a more precise fault analysis model driven through a study of the correlation among the fault factors of weapon delivery, and a method to estimate the possibility of faults with the limited number of test cases utilizing the model. The effectiveness of proposed method is verified through the simulation utilizing real delivery data. and weapons delivery testing in the evaluation of which element affecting the accuracy of analysis that was available to be used successfully.

A method of SW development cost estimation for SBA's cost-effectiveness analysis (SBA 효과도 분석을 위한 소프트웨어 개발 비용 산정기법 연구)

  • Choi, Dal-Nim;Kim, Hyung-Jong
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.04a
    • /
    • pp.337-339
    • /
    • 2011
  • M&S 기반의 가상환경 설계운영은 자원절약 및 위험성 감소 등 다양한 측면에서 효율성을 지니고 있다. 국방은 현실세계에서 실시하기 어려운 군사작전 시뮬레이션 운영을 위해 국방 M&S 개념을 도입하고, 이를 기반으로 무기체계의 소요도출부터 전력화 단계까지 프로세스 전반에 걸쳐 가상 환경에서의 설계 운영 및 검증을 수행하는 SBA 를 도입하였다. 그러나 모델링 및 시뮬레이션 과정에서 발생되는 고비용, 위험성 등의 문제점은 SBA 도입 효율성에 대한 논란의 요인이 된다. 따라서 SBA 도입 효과를 입증할 수 있는 지표 제시가 요구되며, 이 연구에서는 입증 지표로서 비용, 시간, 품질 및 위험도의 4 가지 요소를 분석한다. 또한 소프트웨어 개발비용 산정의 어려움 및 SBA의 고비용 가능성을 이유로 SBA 에 대한 개발비용 산정의 필요성을 제기한다. SBA 개발비용 산정을 위해 기존에 제시된 소프트웨어 개발비용 산정 모델 적용을 제안하고, COCOMO 모델, Putnam 모델, FP모델, 전문가의 감정 및 델파이 기법 등 소프트웨어 개발비용 산정모델을 기반으로 SBA 개발비용 산정에 적합한 모델을 분석한다.

Test Headquarter Measurement Emulator Based on Plug-In Architecture For Anti-Ballistic Missile Test (탄도탄 요격미사일 시험을 위한 플러그인 아키텍처 기반 계측데이터 모의 소프트웨어 설계)

  • Jeong, Young-Hwan;Wi, Soung-Hyouk;Kim, Sae-Hwan
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2014.11a
    • /
    • pp.634-635
    • /
    • 2014
  • 가상 환경 기반의 시험 수요가 군사 무기체계 분야에서 지속적으로 증가하고 있다. 가상 환경 기반 기술의 증가 이유는 시험 및 평가에서 낮은 비용과 높은 효율을 달성할 수 있기 때문이다. 본 논문에서는 교전환경을 Modeling & Simulation기법으로 가상환경을 만들어 비용을 최소화하고 공간적 제약도 해결할 수 있다. 계측데이터 모의 소프트웨어는 플러그인 아키텍처에 기반을 두어 실 탄도탄 정보를 모의해 탄도탄 요격미사일 시험에 적합한 환경을 구성하도록 설계되었다. 각 기능을 컴포넌트 별로 분리하여 개발해 특정 모델을 Third party 형태로 개발할 때 유용한 구조임을 설명한다.

A Design of DLL Plug-in Framework for Component Reuse (컴포넌트 재사용을 위한 DLL 플러그인 프레임워크 설계)

  • Shim, Jun-Yong;Lee, Yong-Heon;Kim, Sae-Hwan
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.232-235
    • /
    • 2010
  • 최근 국방 소프트웨어 분야에서는 모델링 및 시뮬레이션 기술이 각광받으면서 무기체계 개발을 위한 시뮬레이션 소프트웨어 개발 사업을 늘리고 있다. 특히, 시뮬레이션 요소의 재사용성 및 신뢰성 확보를 위한 개발 프레임워크 제공이 핵심기술로 떠오르면서, 시뮬레이션을 위한 공통 서비스를 제공하는 M&S 프레임워크가 개발되었다. 하지만 고객의 요구사항이 프레임워크의 기능 변경을 요구하는 경우 프레임워크가 적용된 모든 시뮬레이션 요소의 수정이 불가피하며, 추가 구성요소의 상호작용을 위한 인터페이스 재설계가 요구된다. 본 논문은 이러한 문제점을 해결하기 위해서 프레임워크의 요소를 DLL로 구현하여 기능 구성을 용이하게 하고, 구성요소 간 상호작용을 위해 데이터 기반 Publish-Subscribe 방식을 사용함으로써 프레임워크와 독립적으로 인터페이스를 설계할 수 있도록 한다. 특히, 프레임워크와 DLL 간 교환 메시지 객체에 대한 구조 설계를 제시한다.

An Improvement Plan of the Interactive ROK Army Interactive Electronic Technical Manuals (육군 전자식 기술교범 개선방안 연구)

  • Lee, Pan-Ju;Shim, Sang-Ryul
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.21 no.3
    • /
    • pp.399-406
    • /
    • 2020
  • The R.O.K Army has developed and operated TM to maintain the operation of weapons systems since its establishment. As more modern weapons systems were developed, the more efficient operation was limited by a large quantity. As a countermeasure, the DAPA has operated the IETM using the KAIS TOOL since 2003. However, 16 years later, they were shunned by operators for software instability and other reasons. Based on the results of an operational test and evaluation team of the Army headquarters, the analysis results of software instability, limited compatibility and integration, limited real-time updates, etc. were analyzed. It was confirmed that KAIS development tools were urgently needed. Therefore, in order to solve this current problem for the Army IETM, the first phase of this paper focused on improving the IETM by maintaining the application present, the second of the Army Electronic Technology manual, phase going to propose improvement plans for operational test and evaluation by lining 11 elements of comprehensive logistics support with an electronic technology code.