• 한국컴퓨터정보학회논문지
• /
• 제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.

• 정보처리학회논문지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.

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

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

• 정보과학회 논문지
• /
• 제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.

• 시스템엔지니어링학술지
• /
• 제8권2호
• /
• pp.19-25
• /
• 2012

As modern weapon systems have evolved into embedded software systems, the capability to develop, install, and maintain high-quality software products is becoming increasingly valuable in today's competitive aerospace and defense industry. It is desirable, especially for government-contracted projects whose end-users are military personnel, that specific types of software quality elements are assured early during product development; namely, functionality and usability. Motivated by this need to approach improving software quality from a user's perspective, this paper presents a case study that analyzes system-level software integration testing results for a weapon system indigenously developed in the Republic of Korea. Quantitative data, such as software defect ratios and configuration change rates, are computed to observe meaningful trends with respect to functionality - represented by tests designed to verify the system's electrical signal interfaces - and usability, which is evaluated in terms of how often the initial human-computer interface had to be re-designed. Insights gained from these exercises are subsequently presented as a set of "lessons learned" to take into account when developing new software items for complex weapon systems.

• 대한임베디드공학회논문지
• /
• 제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.

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

The engagement control software embedded in the weapon control computer of the fire control center for air defense missile system is large-scale real-time software. The use of typical software development methodologies is not appropriate to develop such large-scale embedded software in terms of reusability, reliability, and productivity for the reason that it is significantly complicated, and highly dependent on hardware platforms and developers. In this paper, a model-based software architecture using components based on UML 2.0 for the engagement control software is presented in order to solve these problems. This software architecture is verified using the black-box test, the scenario-based test, and the Ethernet packet monitoring test methods. The results demonstrate that the developed software architecture can be employed to enhance reusability, maintainability, and productivity of large-scale embedded software.