• 한국컴퓨터정보학회논문지
• /
• 제14권11호
• /
• pp.123-134
• /
• 2009

국방 무기체계에 내장되는 소프트웨어가 무기체계 핵심요소로 부각되면서 내장형 소프트웨어를 체계적으로 관리하고 이에 대한 기술정보를 제공할 수 있는 정보체계의 필요성이 제기되고 있다. 하지만 무기체계 기술정보자료 및 관련정보들이 각 군 및 국방과학연구소 또는 방위산업체에서 기술정보를 대부분 개별적으로 관리하고 있으므로 기술정보 공유 및 통합정보서비스가 어려운 실점이다. 본 논문에서는 무기체계의 핵심기술인 내장형 소프트웨어를 체계적으로 관리하기 위해 기존 정보체계의 문제점을 분석하고 기술정보 관리에 대한 현행 법 제도의 문제점을 파악하여 제도 개선방안을 제시한다. 또한 체계적인 관리를 위해 방위사업 관련 법령들에 명기된 각 산출물들을 분석하여 내장형SW 기술정보를 식별하고 정보서비스 현황과 각 군 및 군 관련연구기관의 요구사항들을 분석한다. 이를 통해 무기체계 내장형 소프트웨어 통합관리체계 구축방안을 제시함으로써 국방 소프트웨어 기술정보 관리의 효율성을 높이고 기술정보 공유를 통해 소프트웨어 활용도 및 재사용성을 높임으로써 국방 소프트웨어 개발비용 절감과 소프트웨어 기술발전에 기여하고자 한다.

• 대한임베디드공학회논문지
• /
• 제13권6호
• /
• pp.305-312
• /
• 2018

Software has been used to develop many functions of the modern weapon systems which has a high mission criticality. Weapon system software must consider multi-threaded processing to satisfy growing performance requirement. However, developing multi-threaded programs are difficult because of concurrency faults, such as unintended data races. Especially, it is important to prepare analysis for debugging the data races, because the weapon system software may cause personal injury. In this paper, we present an efficient framework of analysis, called ConDeWS, which is designed to determine the scope of dynamic analysis through using the result of static analysis and fault analysis. As a result of applying the implemented framework to the target software, we have detected unintended data races that were not detected in the static analysis.

• 융합보안논문지
• /
• 제19권4호
• /
• pp.67-75
• /
• 2019

최근 국방부는 무기체계를 사이버보안의 영역에서 무기체계를 포함하였다. 기존 정보화영역에 한정되었던 사이버보안의 대상에서 확대되고 진화된 개념이 적용되었다. 무기체계는 소프트웨어의 비중이 점차 늘어나고 있고, 사이버위협의 대상임에는 분명하다. 따라서, 사이버보안 측면에서 무기체계 수명주기간 문제점을 진단하여 무기체계 사이버보안 발전방향을 제시하고자 한다. 무기체계 사이버보안 발전을 위해서는 무기체계 소프트웨어 관리제도를 포함하여 종합적인 정책수립이 이루어져야 하고, 이와 관련된 이해관계자들의 적극적인 참여가 필요하다.

• 정보처리학회논문지D
• /
• 제13D권5호
• /
• pp.717-724
• /
• 2006

무기체계 획득 사업에 있어서 소프트웨어의 비중이 높아감에 따라 비용추정의 중요성이 증대되고 있으나, 무기체계 내장형 소프트웨어의 비용에 대한 추정은 일반 소프트웨어 비용 추정 방법을 따르며 주로 PRICE S 모델을 도구로 사용하고 있다. 그렇지만, PRICE S 모델에서 내장형 소프트웨어에 대한 개발규모 산정에 따른 추정 비용의 타당성에 대한 검증 결과는 알려져 있지 않다. 따라서 본 연구에서는 PRICE S 모델을 이용하여 무기체계 내장형 소프트웨어의 산정 규모를 통한 비용 추정 기법을 제안한다. 이를 위하여 PRICE S 모델의 규모 산정 도구를 이용하여 코드라인과 기능점수 방식으로 소프트웨어의 규모를 추정한다. 최종적으로는 제작사에서 제공하는 실제 비용 자료와 비교한다. 결과적으로 객관적으로 추정이 어려웠던 무기체계 내장형 소프트웨어의 규모 및 비용을 추정하는 방안을 제시함으로써, 앞으로 무기체계 획득 사업에서 소프트웨어의 비용 검증 및 협상에 활용할 수 있을 것이다.

• 문화기술의 융합
• /
• 제10권5호
• /
• pp.189-193
• /
• 2024

국방 분야에서 사이버 위협이 증대되면서 무기체계 소프트웨어의 보안이 중요해지고 있고, 현재 국내 무기체계 탑재 임베디드 소프트웨어의 대부분은 보안성이 없는 외산 실시간 운영체제(RTOS) 기반으로 동작하고 있다. 이에 따라 무기체계 임베디드 소프트웨어의 국산화와 보안 강화가 시급한 과제로 대두되고 있다. 본 연구에서는 보안 RTOS의 무기체계 적용 및 발전 방안을 제시하고자 한다. 이를 위해 국내외 RTOS 및 보안 RTOS 기술 동향을 살펴보고, 현 무기체계 임베디드 소프트웨어의 문제점을 분석하였다. 그 결과 국산화 저조, 사이버 공격 취약성, 유지보수 어려움, 비용 증가, 기술력 축적 기회 상실 등이 주요 문제점으로 도출되었다. 현존 무기체계에 적용된 임베디드 소프트웨어 현황을 조사한 결과, 기동, 화력, 방호, 지휘통제·통신, 함정, 항공 등의 분야에 임베디드 SW가 운용 중이며, 이 중 99%이상이 VxWorks 등 외산 RTOS에 의존하고 있는 것으로 파악되었다. 보안 RTOS의 핵심 기능과 무기체계 적용 가능성을 검토한 결과, 현존 및 미래 무기체계의 사격통제, 항법장치, 비행제어 등 핵심 분야에서 실시간 성과 보안성이 요구되는 영역을 중심으로 적용이 가능할 것으로 전망된다. 다만 성능과 신뢰성 확보, 검증 및 호환성 확보, 정부의 체계적 지원 등이 선결 과제로 제기되었다.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.923-930
• /
• 2006

본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z) 로 구성되며, 'X' 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, 'Y' 에서는 Sequence Diagram과 관련된 객체를 식별하고, 'Z'에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 W:M 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 한국군사과학기술학회지
• /
• 제17권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.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.860-867
• /
• 2015

국방 분야에서 무기체계가 첨단화 되면서 무기체계 내장형 소프트웨어의 중요성이 증대되고 있으며, 현대의 전장상황이 네트워크 중심전(NCW)으로 전개됨에 따라 무기체계 내장형 소프트웨어의 신뢰성 및 품질 확보가 중요시 되고 있다. 또한 내장형 소프트웨어의 문제점이 개발단계에서 양산단계로 이관되어 막대한 손실이 발생되고 있으며, 개발업체에서는 소프트웨어 신뢰성 시험에 대한 체계적인 활동이 이루어지지 않고 있다. 본 연구에서는 다양한 소스코드 신뢰성 검증사례 분석을 바탕으로 소프트웨어 소스코드 품질검증체계 확립에 대한 접근방안을 제시한다. 방위사업청의 "무기체계 소프트웨어 개발 및 관리 매뉴얼"의 동적분석 평가항목 및 코드실행률 목표값 기준을 제시하고, 개발업체의 소프트웨어 개발능력 향상을 유도하기 위한 방안을 제안한다.

• 한국군사과학기술학회지
• /
• 제10권4호
• /
• pp.116-124
• /
• 2007

As NCW has appeared, the importance of interoperability in modern warfare has been also increased. Korean Defense has constructed and used the Systems Interoperability Test & Evaluation System based on LISI, in order to increase interoperability between Defense Information Systems. However, its evaluating targets are limited to only the information systems, so that it is difficult to apply it to weapon systems. This paper proposes an integrated interoperability assessment framework for korean embedded software of weapon systems based on reviewing the limitations of SITES and the other interoperability assessment models.

• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.