• 제목/요약/키워드: Weapon System Software

검색결과 116건 처리시간 0.025초

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

  • 김종복;조인준
    • 한국콘텐츠학회논문지
    • /
    • 제18권8호
    • /
    • pp.459-468
    • /
    • 2018
  • 무기체계 관련 어플리케이션과 국방 관련 기관에서 활용하는 정보시스템이 사이버 공격을 받을 경우 국가의 안보가 위험해지는 결과를 초래한다. 이러한 위험을 줄이기 위해 개발 단계에서부터 시큐어 코딩을 적용하거나, 발견된 취약점들을 체계적으로 관리하기 위한 노력이 지속적으로 행해지고 있다. 또한 다양한 분석 도구를 이용하여 취약점을 분석, 탐지하고 개발 단계에서 취약점을 제거하거나, 개발된 어플리케이션에서 취약점을 제거하기 위해 노력하고 있다. 그러나 취약점 분석 도구들은 미탐지, 오탐지, 과탐지를 발생시켜 정확한 취약점 탐지를 어렵게 한다. 본 논문에서는 이러한 문제점 해결방안으로 분석 대상이 되는 어플리케이션의 위험도를 평가하고 이를 기반으로 안전한 어플리케이션을 개발 및 관리할 수 있는 취약점 탐지기법을 새롭게 제안하였다.

요구사항 기반 소프트웨어 신뢰성 인증의 국내 군용 항공기 적용방안 연구 (Research on Application of Requirements-based Software Reliability Verification to Domestic Military Aircraft)

  • 정상규;서영진;장민욱;이윤우
    • 한국항행학회논문지
    • /
    • 제22권4호
    • /
    • pp.264-270
    • /
    • 2018
  • 최근에 미국 또는 유럽 등에서 개발되거나 해당 국가의 영공에 취항하기 위한 민간 항공기에는 RTCA (radio technical commission for aeronautics)에서 발표하고 미연방항공국 (Federal Aviation Administration)에서 인정한 DO-178에 따른 탑재 소프트웨어 신뢰성 검증이 요구된다. 이는 각 분야에서 소프트웨어에 대한 의존이 날로 심화되는 가운데 사고 발생시 경제적, 사회적으로 치명적인 영향이 발생하는 민간 항공 분야에서 먼저 소프트웨어 신뢰도 향상을 위한 노력이 진행되었기 때문이다. 이 논문에서는 소프트웨어 신뢰도 향상을 위해 DO-178에서 요구하고 있는 요구사항 기반의 신뢰성 검증을 위해 선결되어야 할 요건들을 파악하고, 현재 방위사업청의 무기체계 획득 절차에 기반 하여 각 획득 단계에 맞는 점검 요소들을 분석하여 제시하였다. 또한 해외에서 축적된 정보를 바탕으로 식별된 주요 점검요소를 국내 항공기 개발 사업에 적용하고 적용결과를 분석하였다. 본 연구 결과 현재의 무기체계 획득 절차에 개발 단계별 소프트웨어 점검 요소를 추가하고 객관적 점검 기준을 제시하는 것으로 DO-178에 따른 요구사항 기반 소프트웨어 신뢰성 점검에 대한 개발관리가 가능한 것으로 확인되었다.

모델 기반 내장형 소프트웨어의 효율적 신뢰성 시험 기법 (An Efficient Software Reliability Testing Method for the Model based Embedded Software)

  • 박장성;조성봉;박현룡;김도완;김성균
    • 한국시뮬레이션학회논문지
    • /
    • 제27권1호
    • /
    • pp.25-32
    • /
    • 2018
  • 본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

모델기반 테스트 기법 및 무장통제장치 적용 사례 (A Model-based Test Approach and Case Study for Weapon Control System)

  • 배정호;장부철;구봉주
    • 한국군사과학기술학회지
    • /
    • 제20권5호
    • /
    • pp.688-699
    • /
    • 2017
  • Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

무기체계 소프트웨어 GUI에 대한 사용성 평가 체크리스트 개발 (Usability Evaluation Checklisks of Software GUI on Weapon System)

  • 김두정;조현수;강태호
    • 한국산학기술학회논문지
    • /
    • 제17권11호
    • /
    • pp.214-222
    • /
    • 2016
  • 기술의 발달로 인해 정보가 고도화 되면서 소프트웨어의 사용성이 보편적으로 고려되고 있다. 하지만 무기체계 소프트웨어의 경우 GUI에 대한 사용성 연구가 부족한 실정이다. 이에 본 논문에서는 무기체계 소프트웨어 GUI에 대한 사용성 평가 체크리스트를 개발하였다. 사용성 평가 체크리스트를 개발하기 위해 5단계를 거쳤다. 1단계에서는 각종 사용성 설계 가이드라인에 및 소요군에서 제시한 설계 기준을 수집하였으며, 무기체계의 특성을 고려하여 선별 및 통합하였다. 그 결과 정보제공성(Informativity)과 정보접근성(Accessibility) 등의 12가지 항목을 도출하였다. 2단계에서는 요인분석을 위한 설문을 실시했으며, 3단계에서는요인분석을 통해 관련성이 적은 설계 기준을 배제하였다. 이에 따라 심미성(Aesthetics), 유연성(Flexibility)을 제외하였다. 최종적으로 10개의 설계기준이 무기체계 소프트웨어 GUI에 대한 사용성 설계 기준으로 채택되었다. 4단계에서는 구조화된 사용성 평가 요소에 대해 가중치를 부여하기 위해 AHP 설문을 실시하여 설계기준에 대해 가중치를 부여하였다. 5단계에서는 레이아웃 등의 GUI의 설계 요소와 맵핑하여 체크리스트를 작성하였다. 본 연구는 무기체계 소프트웨어 GUI의 사용성 평가에 대한 기반 연구로 활용될 수 있을 것이다.

광대역 교류 자기센서 특성 시험장치 설계에 관한 연구 (A Study on the System Design for Measuring the Property of Broadband AC Magnetic Sensors)

  • 정현주;양창섭;정우진
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2015년도 제46회 하계학술대회
    • /
    • pp.685-686
    • /
    • 2015
  • This paper describes design results of the measurement system to test the properties of broadband AC magnetic field sensors used in weapon system. This measurement system consists of 3-axis helmholtz coil, signal generator, signal amplifier, sensor data acquisition unit and measurement & analysis controller including the operating software. This system is able to measure various properties of AC magnetic field sensor such as sensitivity, linearity and dynamic response in the frequency of 1 Hz to 10 kHz. The performance of this system was verified by measuring and analyzing the property of a MAG 639, standard magnetic field sensor of bartington instruments, with this developed system.

  • PDF

Development of radar cross section analysis system of naval ships

  • Kim, Kook-Hyun;Kim, Jin-Hyeong;Choi, Tae-Muk;Cho, Dae-Seung
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • 제4권1호
    • /
    • pp.20-32
    • /
    • 2012
  • A software system for a complex object scattering analysis, named SYSCOS, has been developed for a systematic radar cross section (RCS) analysis and reduction design. The system is based on the high frequency analysis methods of physical optics, geometrical optics, and physical theory of diffraction, which are suitable for RCS analysis of electromagnetically large and complex targets as like naval ships. In addition, a direct scattering center analysis function has been included, which gives relatively simple and intuitive way to discriminate problem areas in design stage when comparing with conventional image-based approaches. In this paper, the theoretical background and the organization of the SYSCOS system are presented. To verify its accuracy and to demonstrate its applicability, numerical analyses for a square plate, a sphere and a cylinder, a weapon system and a virtual naval ship have been carried out, of which results have been compared with analytic solutions and those obtained by the other existing software.

Clustering Technique for Multivariate Data Analysis

  • Lee, Jin-Ki
    • 한국국방경영분석학회지
    • /
    • 제6권2호
    • /
    • pp.89-127
    • /
    • 1980
  • The multivariate analysis techniques of cluster analysis are examined in this article. The theory and applications of the techniques and computer software concerning these techniques are discussed and sample jobs are included. A hierarchical cluster analysis algorithm, available in the IMSL software package, is applied to a set of data extracted from a group of subjects for the purpose of partitioning a collection of 26 attributes of a weapon system into six clusters of superattributes. A nonhierarchical clustering procedure were applied to a collection of data of tanks considering of twenty-four observations of ten attributes of tanks. The cluster analysis shows that the tanks cluster somewhat naturally by nationality. The principal componant analysis and the discriminant analysis show that tank weight is the single most important discriminator among nationality although they are not shown in this article because of the space restriction. This is a part of thesis for master's degree in operations research.

  • PDF

기업 리파지토리 시스템 : 아키텍쳐 및 ERP 리파지토리 사례 (An Enterprise Repository System : Architecture and ERP Repositiory Case)

  • 이희석;서우종;김태훈;이충석;손명호;백종명;손주찬;박성진
    • 정보기술과데이타베이스저널
    • /
    • 제7권1호
    • /
    • pp.1-15
    • /
    • 2000
  • A repository has been conceived as a critical weapon for managing organizational information resources. The system can help control the heterogeneous data in a variety of CASE (Computer-Aided Software Engineering) tools. However, current repository systems have limitation in creating a synergetic effect by integrating information resources. Therefore, it is important to develop an integrative repository system, called Enterprise Repository System (ERS). This paper (i) defines ERS on the basis of a framework for repository systems, and (ii) suggests an ERS architecture and its detailed components. Finally, a real-life case of developing ERP repository system is illustrated according to the proposed architecture and components. This illustration may demonstrate the usefulness of this research for help developing an advanced repository system.

  • PDF

A Study on Image Labeling Technique for Deep-Learning-Based Multinational Tanks Detection Model

  • Kim, Taehoon;Lim, Dongkyun
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제14권4호
    • /
    • pp.58-63
    • /
    • 2022
  • Recently, the improvement of computational processing ability due to the rapid development of computing technology has greatly advanced the field of artificial intelligence, and research to apply it in various domains is active. In particular, in the national defense field, attention is paid to intelligent recognition among machine learning techniques, and efforts are being made to develop object identification and monitoring systems using artificial intelligence. To this end, various image processing technologies and object identification algorithms are applied to create a model that can identify friendly and enemy weapon systems and personnel in real-time. In this paper, we conducted image processing and object identification focused on tanks among various weapon systems. We initially conducted processing the tanks' image using a convolutional neural network, a deep learning technique. The feature map was examined and the important characteristics of the tanks crucial for learning were derived. Then, using YOLOv5 Network, a CNN-based object detection network, a model trained by labeling the entire tank and a model trained by labeling only the turret of the tank were created and the results were compared. The model and labeling technique we proposed in this paper can more accurately identify the type of tank and contribute to the intelligent recognition system to be developed in the future.