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

Search Result 91, Processing Time 0.026 seconds

A Case Study on the Application of RMF to Domestic Weapon System (국내 무기체계에 대한 RMF 적용 실 사례 연구)

  • Cho, Hyun-suk;Cha, Sung-yong;Kim, Seung-joo
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.29 no.6
    • /
    • pp.1463-1475
    • /
    • 2019
  • Unlike the past, modern high-tech weapons systems are complex and many components are combined to form a weapons system. In addition, unlike the past, where hardware was the main component, the proportion of software is increasing every year, making the security assurance activities of weapon systems more difficult than in the past. The United States has been working to ensure the security of the weapons systems they develop since the 1960s. The findings were made to US internal standards, updated regularly, and are now being applied as RMF. In Korea, research activities have been conducted since 2010 based on the RMF of the United States. However, actual RMF application cases in the United States cannot be classified and obtained, and there are no official cases in Korea. In this paper, we apply Korean RMF research that has been studied so far to apply to the recently developed real weapon system. Thus, detailed guidelines for applying the RMF are presented.

A Design and Application of HLA-Based Air Defense Simulation Framework (HLA 기반 대공유도무기 시뮬레이션 프레임워크 설계 및 사례적용)

  • Cho, Byung-Gyu;Kim, Sae-Hwan;Youn, Cheong
    • The KIPS Transactions:PartD
    • /
    • v.12D no.5 s.101
    • /
    • pp.709-718
    • /
    • 2005
  • To correspond with the unpredictable future tactical environment, Ive expanded the application of M&S(Modeling & Simulation) that is more scientific and more economic in a field of weapon system development process. This paper describes experience in development of ADSF(Air Defense Simulation Framework) that supports not only HLA(High Level Architecture) which is an international standard in M&S but also TCP/IP as well as real-time distributed simulation. ADSF has been applied to the M-SAM(Medium Range Surface to Air Missile) System Simulator, and satisfying test results through GPS(Global Positioning System) timer has been acquired. As a result, an ADSF which is able to support HLA and TCP/IP as veil as precise real-time simulation has been successfully made. we were in need or a real-time simulation engine to support Air Defense System Simulators that were consisted of several subsystems.

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 를 상황에 맞게 테일러링하여 협업에 적용한 사례를 제시한다.

A Study on Vulnerability Analysis Techniques for Secure Weapon System Software (안전한 무기체계 소프트웨어를 위한 취약점 분석 기법에 관한 연구)

  • Kim, Jong-Bok;Jo, In-June
    • The Journal of the Korea Contents Association
    • /
    • v.18 no.8
    • /
    • pp.459-468
    • /
    • 2018
  • Cyberattacks on information systems used by applications related to weapon system and organizations associated with national defense put national security at risk. To reduce these threats, continuous efforts such as applying secure coding from the development stage or managing detected vulnerabilities systematically are being made. It also analyzes and detects vulnerabilities by using various analysis tools, eliminates at the development stage, and removes from developed applications. However, vulnerability analysis tools cause problems such as undetected, false positives, and overdetected, making accurate vulnerability detection difficult. In this paper, we propose a new vulnerability detection method to solve these problems, which can assess the risk of certain applications and create and manage secured application with this data.

The Study on Airworthiness Certification Process on Military Airborne Safety Critical Software based on DO-178 (DO-178 기반의 군용항공기 탑재 안전필수 소프트웨어 감항인증 방안에 대한 고찰)

  • Heo, Jin Gu;Kim, Min Sung;Kim, Man Tae;Moon, Yong Ho
    • Journal of Aerospace System Engineering
    • /
    • v.13 no.1
    • /
    • pp.62-68
    • /
    • 2019
  • The software installed on an aircraft is directly related to its safety. Therefore, it shall comply with the standards of the airworthiness certification to ensure safety of flight. Airborne software should be developed in accordance with the DO-178 (Software Consideration in Airborne Systems and Equipment Certification) to comply with the airworthiness certification criterion. However, the military airborne software has been developed in accordance with the DAPA weapons system software development and management manual. In this paper, we completed a questionnaire survey of software experts. We also suggest a military airborne software development/certification process based on DO-178.

Test Process Improvement Based Analysis of MND-TMM and CMMI (시험 프로세스 개선 측면에서의 MND-TMM과 CMMI의 비교 분석)

  • Myung-Muk Kang;Hoyeon Ryu;Jongmoon Baik;Kyu-Hyung Lim
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2008.11a
    • /
    • pp.535-538
    • /
    • 2008
  • 국방에서 사용되는 소프트웨어는 미션 크리티컬(Mission Critical)한 고 품질의 소프트웨어가 요구된다. 이를 위해 많은 조직에서는 전체 개발 프로세스를 개선하기 위한 목적으로 CMMI를 적용하고 있으나 테스트 프로세스를 개선하는 데는 부족함이 있어 고 품질의 소프트웨어를 생산하는데 어려움이 따르고 있다. 더욱이 국방이라는 특수한 도메인에서는 그러한 현상이 빈번히 발생함에 따라 국방 도메인에 적합한 테스트 성숙도 모델의 필요성이 제기되었으며 이를 위해 국방 시험 성숙도 모델(MND-TMM)이 개발되었고 현재 시험 적용 중이다. 본 논문에서는 현재 무기체계 소프트웨어를 개발하는 조직에서 전체 개발 프로세스를 개선하기 위해 CMMI를 적용하고 있기에 테스트 프로세스를 개선하기 위한 모델인 MND-TMM과 CMMI를 비교 분석하여 두 모델의 강점과 약점을 제시하고 상호연계방안을 모색한다. 상호연계를 통해 국방 소프트웨어 개발 조직에서는 두 모델을 적용하는데 있어 비용 및 시간을 줄이고 소프트웨어의 품질을 향상시킬 것으로 기대한다.

An Analysis of Defense Modeling & Simulation Resources (국방 M&S 자원 현황 분석)

  • Kim, sung-chul
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2011.05a
    • /
    • pp.551-552
    • /
    • 2011
  • 한국군은 무기체계획득의 비용, 성능, 일정에 대한 불확실성을 경감하기 위해 모델링 및 시뮬레이션(M&S) 기술과 정보기술을 활용하여, 새로운 전투개념 개발과 무기체계능력을 사전에 검증하고자하는 모의실험기반획득(Simulation Based Acquisition, SBA)을 적극 추진하고 있다. 이를 위해서는 M&S 소프트웨어, 데이터, 문서 등의 M&S 자원(콘텐츠) 확보가 무엇보다 시급하다. 본 논문에서는 2010년 국방 31개 기관을 대상으로 수행한 M&S 자원 보유현황 조사결과를 분석하여 M&S 자원 확보 방향을 제시하였다.

  • PDF

Defense software test procedure improvement measure reflecting the TMMi (TMMi를 반영한 국방 소프트웨어 테스트 절차 발전방안)

  • Park, Yeon-Dong
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.22 no.1
    • /
    • pp.87-93
    • /
    • 2021
  • As the portion of modern weapons systems equipped with electronic components increases, the presence of embedded software has also increased, subsequently drawing interest in quality management and development methods. Unlike mechanical systems, software is logically intangible, hard to troubleshoot, and hard to reuse, making it hard to utilize limited resources when exposed to failures. The United States had successful results in establishing the Capability Maturity Model (CMM) by studying and applying separate processes for development and quality management of defense software. South Korea has also established, and utilizes, a standard of development and quality management for defense software based on international standards. However, some say those standards still remain at a basic level, and should be modified along with the progress in software. If the standard stays at a basic level, compared to software progression, the cost to reuse and restore resources will increase exponentially. This paper discusses improvement in the test processes for defense software through the Test Maturity Model-integration (TMMi)-derived from the CMM-and presents a blueprint for defense software quality management.

Logical Modeling of Base System Model for Tank Engagement Simulation (전차 교전 시뮬레이션을 위한 기본체계모델의 논리 모델링 방법)

  • Lee, Sunju
    • Journal of the Korea Society for Simulation
    • /
    • v.29 no.2
    • /
    • pp.63-72
    • /
    • 2020
  • Tank, which is a representative ground weapon system, is one of the most important weapon systems in each country. For the cost-effective acquisition of a tank based on scientific analysis, the operational concept and effectiveness should be studied based on engagement simulation technology. Besides physical capabilities including maneuver and communication, logical models including decision-making of a tank commander should be developed systematically. This paper describes a method to model a tank for engagement simulation based on Base System Model(BSM), which is the standard architecture of the weapon system model in AddSIM, an integrated engagement simulation software. In particular, a method is proposed to develop logical models by hierarchical and modular approach based on human decision-making model. The proposed method applies a mathematical formalism called DEVS(Discrete EVent system Specification) formalism. It is expected that the proposed method is widely used to study the operational concept and analyze the effectiveness of tanks in the Korean military in the future.

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.