• Annual Conference of KIPS
• /
• 2009.11a
• /
• pp.861-862
• /
• 2009

운영체제의 기본적인 역할은 각종 컴퓨터 하드웨어들을 서로 논리적으로 연결하고 제어하는 것으로 다른역할은 응용프로그램과 컴퓨터 하드웨어를 연결해주는 역할을 한다. 본 연구에서는 운영체제 소프트웨어 분야의 기반기술 및 동향을 조사하고 표준시험환경을 구축해 보았다.

• Journal of Astronomy and Space Sciences
• /
• v.25 no.3
• /
• pp.321-328
• /
• 2008

Software Test Bench should be simulated with maximum quality to real execution environment in order to verify the performance of software which is changed or newly developed. And especially faults detection and recovery are crucial function of the performance test environment. Simulated Software Test Bench based on processor emulator is attractive and can be available prior to hardware Software Test Bench if real time performance aspect is ignored. In this paper, the results of conceptual study for developing the simulated Software Test Bench are presented.

• Annual Conference of KIPS
• /
• 2011.11a
• /
• pp.567-569
• /
• 2011

플러그인 프레임워크는 구성요소 간 높은 종속관계 및 낮은 유연성을 해결하고자 개발된 S/W 기반요소로서, 프레임워크를 구성하는 컴포넌트를 플러그인으로 제공하여 구성요소의 추가 및 변경이 동적으로 이루어지게 한다. 이를 통해 소프트웨어 구성을 위해 필요한 컴포넌트들이 동적으로 추가 혹은 변경하여 소프트웨어를 구현 가능하게 되어 소프트웨어의 확장성 및 재사용성을 증대시킨다. 하지만, 플러그인 프레임워크 기반의 소프트웨어 개발 과정은 낮은 종속관계의 구성요소가 결합되어 이뤄지는 만큼, 개별 구성요소의 인터페이스 및 구성요소 간 통합을 사전에 검증할 수 있는 통합시험환경에 대한 필요성이 제기된다. 이에 본 논문은, 동적 구성요소의 개별 인터페이스 검증 및 구성요소 간 통합검증이 가능한 플러그인 프레임워크 기반에서의 통합시험도구에 대해 제안하고, 이에 대한 개략설계내용을 기술한다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• Annual Conference of KIPS
• /
• 2014.11a
• /
• pp.634-635
• /
• 2014

가상 환경 기반의 시험 수요가 군사 무기체계 분야에서 지속적으로 증가하고 있다. 가상 환경 기반 기술의 증가 이유는 시험 및 평가에서 낮은 비용과 높은 효율을 달성할 수 있기 때문이다. 본 논문에서는 교전환경을 Modeling & Simulation기법으로 가상환경을 만들어 비용을 최소화하고 공간적 제약도 해결할 수 있다. 계측데이터 모의 소프트웨어는 플러그인 아키텍처에 기반을 두어 실 탄도탄 정보를 모의해 탄도탄 요격미사일 시험에 적합한 환경을 구성하도록 설계되었다. 각 기능을 컴포넌트 별로 분리하여 개발해 특정 모델을 Third party 형태로 개발할 때 유용한 구조임을 설명한다.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.9
• /
• pp.105-114
• /
• 2021

ESICD(Electrical Signal Interface Control Document) refers to a document that describes protocols and data for communication between components consist of a system. Each component developer gathers at a specific place to conduct an integrated test for ESICD verification. In this case, it often happens that the integration test is delayed due to a simple mistake of software developers. There are two reasons for this situation: First, software developers do not perform sufficient verification because it is difficult to configure the system environment in a Lab, and second, they do not immediately find the cause of errors occurred during integration tests. Therefore, in this paper, we propose a strategy to effectively perform ESICD verification, which takes a lot of time between the production and implementation stage of the weapon system development stage and the system integration test stage.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.505-513
• /
• 2021

We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.

• Bulletin of the Korean Space Science Society
• /
• 2006.04a
• /
• pp.117-120
• /
• 2006

HAUSAT-2 flight software was developed by first analyzing the satellite requirements, and incorporating the results into the software. Coding and compiling is done after the software is completed, then individual and integrated tests are performed in order to verify the flight software algorithm. Currently, HAUSAT-2 flight software integrated test has been performed and the test result is serving as a basis for code modification nd additional developments. This paper describes the architecture, development process, and development environment of HAUSAT-2 flight software.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.786-789
• /
• 2007

교차-개발환경을 기반으로 한 임베디드소프트웨어 개발은 일반적인 데스크톱 컴퓨터에서의 개발방법론 및 도구와의 차이점이 발생한다. 이러한 문제점들로 인해 난이도가 높은 임베디드 소프트웨어 애플리케이션을 쉽게 개발 해주는 기술에 대한 수요가 확산됨에 따라 다양한 기종과 규격의 임베디드소프트웨어 개발환경에 최적화된 시험검증시스템이 절실히 필요하다. 본 논문은 내장형 시스템 개발자가 쉽고 편리하게 원하는 GUI 형태의 결과 분석도구를 생성할 수 있도록 하기 위한 프로파일 로그 분석 방법을 제안한다. 제안하는 로그 분석 방법에 의한 API를 통해 개발자나 사용자는 자신의 취향에 맞는 GUI 형태의 결과 분석 도구를 쉽고 빠르게 생성하여 내장형 소프트웨어 개발의 효율성을 높일 수 있으며, 고가의 해외 개발도구의 수입대체 효과를 가져와 관련 산업 발전에 크게 기여할 것으로 기대 된다. 또한 국내 시장의 활성화를 통하여 개발업체간 상호교류를 통하여 보다 나은 국내 산업 시장을 형성하여 기존 임베디드 산업의 경쟁력을 강화하고 고난도의 응용 S/W의 개발과 시험 검증을 용이하게 할 수 있어 넓은 신 시장 창출 효과를 불러올 수 있다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.277-283
• /
• 1997

본 논문에서는 고리원자력발전소용 SSILS(Solid State Interposing Logic System)을 소프트웨어의 건전성을 확보하면서 마이크로프로세서로 설계해 가는 과정을 기술하였다 설계 제작된 시제품은 IEEE Std 344-1975에 따라 내진시험을 하였고 IEEE Std. 323-1983에 따라 환경시험을 필하였다. 그리고 소프트웨어의 건전성은 자체적으로 확인하였다.