• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.11a
• /
• pp.301-304
• /
• 2006

본 논문은 컴포넌트 기반의 무기체계 임베디드 소프트웨어 개발방법론을 제안한다. 이를 위해 먼저 국방 소프트웨어 개발 관련 규정, 무기체계 임베디드 소프트웨어, 컴포넌트 기반의 개발 방법 그리고 임베디드 소프트웨어 개발방법의 특징을 바탕으로 기존 CBD 방법론을 분석한다. 그런 다음 개발방법론 설계 고려요소를 도출하고, 고려요소를 바탕으로 컴포넌트 기반의 소프트웨어개발(CBSD)과 컴포넌트 개발(CD)에 대해 어떻게 설계를 할 것인가, 산출물간에 어떤 상호작용을 하는지를 설명하는 컴포넌트 기반의 무기체계 임베디드 소프트웨어 표준 개발방법론을 제시한다.

• Convergence Security Journal
• /
• v.22 no.1
• /
• pp.99-111
• /
• 2022

With current battlefield environment relying heavily on Network Centric Warfare(NCW), existing weaponary systems are evolving into a new concept that converges IT technology. Majority of the weaponary systems are implemented with numerous embedded softwares which makes such softwares a key factor influencing the performance of such systems. Furthermore, due to the advancements in both IoT technoogies and embedded softwares cyber threats are targeting various embedded systems as their scope of application expands in the real world. Weaponary systems have been developed in various forms from single systems to interlocking networks. hence, system level cyber security is more favorable compared to application level cyber security. In this paper, a secure real-time operating system has been designed, implemented and measured to protect embedded softwares used in weaponary systems from unknown cyber threats at the operating system level.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.10
• /
• pp.271-281
• /
• 2009

In this paper, we propose the enhanced Assessment Model of the Embedded Software Process(MND-ESPAM) which is suitable for the development work of weapons in Korea. In 2008. We developed the MND-ESPAM which is the assessment criteria of software process, but this model is inefficient to apply to Korean military area. Therefore, we elicit and analyze the problems of MND-ESPAM through tow methods. One is to research on the actual condition of the domestic defense industry about software process management. And the other is to apply MND-ESPAM to the defense companies acquiring CMMI level. In order to overcome these problems elicited above, we provide solutions to make MND-ESPAM linked with Software Development Process Guide of Defense Acquisition Program Administration(DAPA) and to systematically strengthen testing activities and to reduce the number of process areas. The proposed model was proved by two objective methods such as checking the coverage with CMMI and whether it is satisfied or not by modified requirements ISO/IEC 14598-3. At last, experts in the field of software process confirmed the effect of MND-ESPAM through applying MND-ESPAM to the defense industry company.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.334-336
• /
• 2005

유비쿼터스 시대에 진입하면서 임베디드 소프트웨어의 개발에 대한 관심이 높아지고 있다. 국방 분야에서는 국방무기 및 비무기 내장형 소프트웨어 관리지침과 공군에서 운영되는 항공무기 소프트웨어 개발 프로세스 등이 운용되고 있으며, 국방 CBD 방법론은 주로 응용체계 개발을 위한 컴포넌트 기반의 구체적인 방법론이다. 이러한 국방 CBD 방법론을 임베디드 소프트웨어 개발에 적용가능 여부는 발표되지 않았다. 따라서 본 논문에서는 임베디드 소프트웨어개발을 위한 국방 CBD 프로세스 테일러링 방안을 고찰하고자 한다. 이를 위하여 국방 무기 및 비무기 내장형 소프트웨어 관리지침에 근거한 조정, 임베디드 소프트웨어 개발 방식에 따른 조정 컴포넌트 및 객체 지향기술, 그리고 UML 기술 적용으로 구분하여 테일러링 방안을 제시한다. 그 결과 국방 CBD 방법론의 적용 범위의 확대 및 개발 프로세스의 표준화에 기여할 것으로 기대된다.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.923-930
• /
• 2006

In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.25 no.9
• /
• pp.29-37
• /
• 2007

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.3069-3071
• /
• 2005

정밀 유도무기체계는 매우 큰 복잡도를 가지는 탄재 소프트웨어와 다양한 입출력을 가지는 하드웨어로 구성된다. 이에 대한 시험장비는 유도무기체계에 탑재되는 소프트웨어에 대한 검증 및 모든 입출력 신호를 수용할 수 있는 성능을 보유하여야 한다. 시험장비에 요구되는 일반적인 조건은 고속처리, 다양한 입출력 기능, 신호 변환 장치 등을 포함하고 Hard Real Time 실행성능을 만족하여야 하며, 각각의 하위 시스템을 통합 운영하기 위한 실시간 인프라 구조 소프트웨어가 구축되어야 한다. 본 논문에서는 실시간 운영체제를 탑재하고 다중 프로세서를 장착한 VME 기반의 임베디드 시스템 설계 방안 및 개발 장비에 관하여 기술하였다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.13 no.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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.8
• /
• pp.1965-1972
• /
• 2015

The Missile Flight Test Launch Control System is to operate in conjunction with the Fire Control System during flight test to guided weapons. Also, this is a system for the test control and situation monitoring depending on the type of guided weapons and testing purposes. Message structure, communication protocols, such as data types for interworking with the fire control system and the Missile Flight Test Launch Control System are defined in the Launch Control ICD(Interface Control Document). ICD are composed differently of each guided weapons system and each test object. Previously, in order to interwork with the Fire Control System, the interlocking software was developed, which had a variety of problems. Therefore, we developed a new parsing algorithm in order to recognize the variety of Launch Control ICD and verified that the algorithm operates normally by checking transmitting and receiving various message in conjunction with the fire control system.

• The Journal of the Korea Contents Association
• /
• v.8 no.8
• /
• pp.37-46
• /
• 2008

Launch control system controls the sequence for launching missile in weapon systems. This system have to generate the engagement plan, input information and launch the missile in timeliness requirement. Such a system may fail to operate correctly either due to errors in hardware and software or due to violation of timing constraints. We presented fault-tolerant ethernet for embedded real-time system like launch control system. This approach is designed to handle network faults using dual commercial-off-the-shelf(COTS) network devices. To support fault-tolerant ethernet each node is composed dual channel ethernet and designed the communication middleware for network fault detect and recovery. Especially for time-critical system, the middleware is being developed to achieve that no point of network failure shall take down or cause loss of communication to network nodes.