• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.9
• /
• pp.104-112
• /
• 2005

This paper presents the technique to develop an operational flight program(OFP) of avionic system computer(ASC) which integrates the avionics control, navigation and fire control and provides informations for flight, navigation and weapon aiming missions. For the development of the OFP of ASC, two i960KB chips are used as central processing units board and standard computer interface library(SCIL) which is built in house is used. The Irvine compiler corporation(ICC) integrated development environment(IDE) and the programming language Ada95 are used for the OFP development. We designed the OFP to a computer software configuration item(CSCI) which consists of to three parts for independency of software modules. The OFP has been verified through a series of flight tests. The relevant tests also have been rigorously conducted on the OFP such as software integrated test, and ground functional test.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2012.11a
• /
• pp.195-198
• /
• 2012

IPTV는 방통융합의 대표적인 매체로 자리 매김하며 2008년 상용서비스를 시작으로 계속 진화하고 있다. 그러나, 초기 서로 다른 방식으로 IPTV 서비스를 시작함으로 인해 상호운용성 문제가 대두 됨에 따라, TTA를 통해 IPTV 분야의 표준화가 시작되어 현재도 다양한 IPTV 분야의 기 제정된 표준의 개정 작업 및 신규 분야의 표준화를 계속 추진하고 있다. 이렇듯 표준화가 진행됨에 따라, IPTV 단말의 사업자 간의 이동성을 보장하기 위한 노력이 계속되고 있으며, 그 중 하나로 IPTV 단말 프로비저닝 절차 표준화가 추진되어 현재까지 2번의 개정 작업을 통해 표준안의 보완/수정 작업 등이 진행되어 2차 개정판이 완료되었다. 이에 TTA에서는 해당 표준을 구현한 STB 등 단말과 서버에 대한 표준적합성 시험을 위한 시험규격을 개발하였다. IPTV 단말 프로비저닝 절차 표준에서는 단말의 네트워크 접속부터 펌웨어/소프트웨어 업그레이드, IPTV 서비스를 탐색하기 위한 정보 전달을 위한 절차를 정의하고 있으며, 각 절차별 데이터 형식 및 프로토콜을 검증하기 위한 시험항목을 개발하였으며, 표준안 검증 및 시험 서비스 제공을 위한 시험환경을 구축하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.6
• /
• pp.95-105
• /
• 2008

Recently use of embedded software has been increased to different areas. The requirements and demands for the embedded software have also been altered. In the past, the embedded system was used in simple task and small portable devices but now, the usage of the embedded software has expanded to do much more complex and precise actions in a variety platform environment. The embedded software enables multiple softwares to be integrated into one and at the same time, control it. Currently the biggest challenges embedded software is facing during its development process is the improvement in product production and quality assurance. Our research team has developed an embedded software based on the component (technology or methodology) which both improves production capabilities as well as quality. Additionally, we also established and constructed a reliability test system which can effectively test the quality of the developed embedded software to further increase its competiveness.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.6
• /
• pp.1351-1359
• /
• 2003

Extreme programming is the most representative methodology among agile software development methodologies which is agile in business environment which change fast. As software industry is matured, usability of software quality characteristics is emphasized gradually, but effort to obtain usability in extreme programming is insufficient. To improve usability of extreme programming, in this thesis, a software life cycle is defined by six phase as exploration, planning, iterations to release, productionizing, maintenance, and death phase. In this thesis, an extreme programming process which can improve usability is proposed by definition of 11 activities including integration testing and acceptance testing for usability testing, The proposed process is validated with four aspects. The proposed process is enhanced to support acceptance testing activity. The proposed extreme programming process is able to support CMM level 4 and quality assurance practice of CMM.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2002.09a
• /
• pp.378-381
• /
• 2002

금정산지역의 수리적인 특성을 파악하기 위하여 27개 지하수 공을 대상으로 순간충격시험(주입, 인양시험)을 실시하였다. 순간충격시험자료는 C-B-P법, Hvorslev법, Bouwer & Rice법을 이용하여 분석하였으며, 분석을 위해서는 AQTESOLV(Version 3.01) 소프트웨어를 이용하였다. 또한, 자료의 해석을 위해서 시추자료와 연관하여 해석하였으며, 이때 시추시 용출심도와 수리전도도와의 관련성 분석으로 dummy의 충격과 심도의 관련성을 고찰해 보았다. 순간충격시험 분석결과 얻어진 수리전도도는 7.69E-8 ~ 2.30E-5m/sec를 보인다.

• Annual Conference of KIPS
• /
• 2011.11a
• /
• pp.1555-1558
• /
• 2011

국방 모델링 및 시뮬레이션(Modeling & Simulation) 소프트웨어 분야에서 분산 시뮬레이션 기술표준인 HLA(High Level Architecture)의 적용이 늘어나고 있으며, 시뮬레이션 요소의 재사용성 및 신뢰성 확보를 위한 개발 프레임워크 제공이 핵심기술로 떠오르고 있다. 특히, 시뮬레이션을 위한 공통 서비스를 제공하는 M&S 프레임워크가 개발되었다. 또한, 가상의 시험 환경을 제공하기 위한 요소 중 시험환경의 구성을 위한 시나리오 모델이 있다. 본 논문에서는 시험 환경을 구성하기 위한 M&S 프레임워크 내의 시나리오의 스키마 설계에 대해서 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.430-432
• /
• 2002

다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 필요하다. 본 논문에서는 구문분석 도구인 FLEX와 BISON을 이용하여 FSW가 실제시스템 상에서 요구조건에 따라 수행되고 있는지를 자동적으로 검증하기 위해 C 언어와 유사한 사용법을 가지며, 다양한 검증시험 환경에 적합한 VTSP를 개발하기 위한 전체적 개발환경 및 VTSP의 기능에 대해 소개한다.

• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.659-666
• /
• 2002

Park, Seo and Kim (12) developed the input domain-based SRGM, which was able to quantitatively assess the reliability of a software system during the testing and operational phases. They assumed perfect debugging during testing and debugging phase. To make this input domain-based SRGM more realistic, this assumption should be relaxed. In this paper we generalize the input domain-based SRGM under imperfect debugging. Then its statistical characteristics are investigated.

• Annual Conference of KIPS
• /
• 2014.11a
• /
• pp.632-633
• /
• 2014

군용장비를 시험하고 훈련하는데 사용되는 모의 소프트웨어는 체계마다, 장비마다 새로이 개발된다. 따라서 모의 소프트웨어를 설계, 개발하는 시간이 길어지고 관리 비용도 늘어난다. 이러한 비용을 줄이고자 본 논문에서는 모의 소프트웨어 개발을 위한 어플리케이션 프레임워크를 제안한다. 먼저 모의 소프트웨어가 공통으로 설계될 수 있는 부분을 추출하고, 이를 어플리케이션 프레임워크에서 미리 만들어진 형태로 제공한다. 여기서 추출한 공통 설계 구조는 다른 장비와의 연동을 위해 메시지를 주고 받는 인터페이스를 구현하는 부분이다. 이 인터페이스를 일관성 있게 개발하기 위하여 코드 생성 프로그램의 형태로 어플리케이션 프레임워크를 설계하였다. 설계된 어플리케이션 프레임워크는 일관된 개발 환경을 제공하여 모의 소프트웨어 개발 시, 설계 및 개발 시간을 줄이고 관리비용을 줄일 것으로 기대된다.

• KIISE Transactions on Computing Practices
• /
• v.21 no.1
• /
• pp.1-12
• /
• 2015

To realize futuristic services with agility, the role of the experimental facility (i.e., testbed) based on integrated resources has become important, so that developers can flexibly utilize the dynamic provisioning power of software-defined networking and cloud computing. Following this trend, an OpenFlow-based SDN testbed environment, denoted as OF@TEIN, connects multiple sites with unique SmartX Racks (i.e., virtualization-enabled converged resources). In this paper, in order to automate the multi-point L2 (i.e., Ethernet) inter-connection of OpenFlow islands, we introduce an automated tool to configure the required Network Virtualization using Generic Routing Encapsulation (NVGRE) tunneling. With the proposed automation tool, the operators can efficiently and quickly manage network inter-connections among multiple OpenFlow sites, while letting developers to control their own traffic flows for service realization experiments.