• Journal of Astronomy and Space Sciences
• /
• v.26 no.1
• /
• pp.99-110
• /
• 2009

The main purpose of the current research is to developments a real-time Hardware In-the-Loop (HIL) simulation testbed for the satellite formation flying navigation and orbit control. The HIL simulation testbed is integrated for demonstrations and evaluations of navigation and orbit control algorithms. The HIL simulation testbed is composed of Environment computer, GPS simulator, Flight computer and Visualization computer system. GPS measurements are generated by a SPIRENT GSS6560 multi-channel RF simulator to produce pseudorange, carrier phase measurements. The measurement date are transferred to Satrec Intiative space borne GPS receiver and exchanged by the flight computer system and subsequently processed in a navigation filter to generate relative or absolute state estimates. These results are fed into control algorithm to generate orbit controls required to maintain the formation. These maneuvers are informed to environment computer system to build a close simulation loop. In this paper, the overall design of the HIL simulation testbed for the satellite formation flying navigation and control is presented. Each component of the testbed is then described. Finally, a LEO formation navigation and control simulation is demonstrated by using virtual scenario.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.70-72
• /
• 2002

본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.687-690
• /
• 2008

오늘날 산업계에서 시스템 통합은 IT를 계획하는데 있어서 비용을 줄이고 효율성을 향상 시키기 위한 중요한 방법으로 부각되고 있다. 가상화의 장점은 단일서버에 다중의 운영체제를 통합할 수 있는 환경을 제공해 준다. 그러나 올바른 가상화 기술과 시스템 통합을 위한 가상화 구성방법 선택은 중요한 과제이다. 따라서 이 연구의 목적은 유닉스 시스템 가상화 기술을 설명하고 유닉스시스템 기반 상에서 벤치마킹 테스트 도구를 활용하여 HP 가상화 기술인 nPars, vPars, VM 의 성능을 비교테스트를 하고자 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.2C
• /
• pp.143-149
• /
• 2002

Complexity of the hardware system grows larger, the fault testing becomes more difficult. As we divide system into the functional sub-modules and analyze reliability of a sub-modules on the system, We improve the system test performance. And the analysing results help us to set up the effective strategies for the system test. Also describing the system to a formalized sub-modules, we can analyze the logical accuracy and the characteristics of system. So we can predict the reliability of the system based on execution characteristics. In this paper we propose a reliability analysis method of a system based on the execution characteristics of sub-module.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.12
• /
• pp.618-629
• /
• 2007

In this paper, we propose an effective memory test environment, called a virtualized kernel, for 64bit multi-core computing environments. The term of effectiveness means that we can test all of the physical memory space, even the memory space occupied by the kernel itself, without rebooting. To obtain this capability, our virtualized kernel provides four mechanisms. The first is direct accessing to physical memory both in kernel and user mode, which allows applying various test patterns to any place of physical memory. The second is making kernel virtualized so that we can run two or more kernel image at the different location of physical memory. The third is isolating memory space used by different instances of virtualized kernel. The final is kernel hibernation, which enables the context switch between kernels. We have implemented the proposed virtualized kernel by modifying the latest Linux kernel 2.6.18 running on Intel Xeon system that has two 64bit dual-core CPUs with hyper-threading technology and 2GB main memory. Experimental results have shown that the two instances of virtualized kernel run at the different location of physical memory and the kernel hibernation works well as we have designed. As the results, the every place of physical memory can be tested without rebooting.

• Journal of Advanced Navigation Technology
• /
• v.19 no.5
• /
• pp.411-416
• /
• 2015

The service size of an IoT environment is determined by the various types of sensors. A gateway for relaying sensor information from various sensors is a representative middleware system, and an infographics showing the information with a graphical presentation of data and information is a client system for representing real-time information efficiently, it is necessary a similar test bed with IoT environment to develop a real-time infographics displaying a large amount of information effectively. The testing tools used in developing the existing network systems are mostly made to be suitable for functional testing and performance testing of the driven unit. In this paper, we proposed a mean which is web-based simulation framework to create a variety of information required for real-time infographics development, and evaluate the function of the system proposed by the test function of the comparison with the previous network test tool.

• The Journal of the Korea Contents Association
• /
• v.10 no.2
• /
• pp.481-489
• /
• 2010

Due to the increase of the attention on relation extraction systems, the construction of test collections for assessing their performance has emerged as an important task. In this paper, we propose semi-automatic framework capable of constructing test collections for relation extraction on a large scale. Based on this framework, we develop a test collection which can assess the performance of various approaches to extracting relations between technical terminologies in scientific literatures. This framework can minimize the cost of constructing this kind of collections and reduce the intrinsic fluctuations which may come from the diversity in characteristics of collection developers. Furthermore, we can construct balanced and objective collections by means of controlling the selection process of seed documents and terminologies using the proposed framework.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.52-59
• /
• 2007

Telecommunication satellite consists of a bus system and an RF payload system with high efficiency and high gain reflector antennas. Antenna measurement and also RF system performance (antenna under test, payload and satellite level) have to be evaluated enough before launching in the far-field range or equivalent test range. Basically far-field range is required in a range from two hundred meters to several kilo meters, and it is highly constrained to the externa1 environment, like the RF and the whether environment So the compact antenna test range is developed and used efficiently without external environments as in-door facility. This paper describes the configuration of the compact antenna test range, the range error, and the physical concept of the plane wave illumination Also, it provides a overall design of the anechoic chamber and range parameter values to accommodate the precision measurements in antenna test range.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.233-235
• /
• 2012

해저보행로봇 CR200은 여러 개의 관절로 이루어진 6개의 다리를 이용하여 해저면에서 보행으로 이동하며 해저 정밀탐사 및 작업을 수행하는 로봇으로, 케이블로 연결된 선상제어실에서 원격 제어된다. CR200 시스템에서는 16개의 카메라가 장착될 예정이며, 취득된 카메라의 영상은 선상제어실의 비디오 컴퓨터로 전송되어 모니터링 및 녹화된다. 설계된 비디오 시스템에서 영상 전송은 전자기 간섭에 의한 화질 열화를 최소화하기 위하여 기가비트의 대역폭을 가진 이더넷과 광케이블을 통하여 디지털 형태로 전송되며, 아날로그 카메라의 영상은 비디오 인코더를 사용하여 디지털 영상으로 변환된 후에 전송된다. 본 논문에서는 CR200의 비디오 시스템의 설계를 소개하고, 실제로 제작하기 전에 설계된 비디오 시스템을 검증하기 위하여 테스트베드를 사용한 통합 테스트 결과를 제시한다. 아직 준비되지 않은 카메라에 대해서는 아이패드의 아날로그 영상 출력을 비디오 인코더의 입력으로 전달하여, 설계된 모든 카메라들이 동작하는 상황을 테스트베드로 실험하였다. 16개 카메라의 영상이 모니터링 및 녹화되는 상황을 테스트베드로 실험한 결과에 따르면, 압축률 10%의 H.264 동영상 압축 알고리즘을 사용할 경우에 30fps 영상의 모니터링 및 녹화에 각각 60Mbps의 전송량으로 비디오 시스템이 정상적으로 동작하는 것을 확인할 수 있었다. 비디오 데이터의 전송은 센서 및 제어 데이터의 전송과 같은 네트워크를 사용하지만, 비디오 데이터의 기가비트 네트워크 사용률은 평균 12%이기 때문에 비디오 데이터 전송으로 인하여 데이터 통신은 거의 영향을 받지 않는다.

• Journal of KIISE
• /
• v.43 no.6
• /
• pp.662-667
• /
• 2016

As electric and electronic control systems have sharply increased in vehicles, safety accident has emerged as an important issue. Therefore, in order to ensure safety of the vehicle, engineers are required to identify the hazards utilizing PHA and HAZOP, etc. in the early phase of development and implement safety mechanisms to prevent them. HAZOP has been widely used in a systematic manner based on guidewords. However, HAZOP identifies malfunctions from the top-level functionality provided by the system, so it cannot sufficiently identify hazards during the system operation. This leads to restrictions in designing testcases, because the safety requirements are derived from only some of the hazards. This research aimed to provide a hazard identification method utilizing Use case description, which defines operation procedure of the system and HAZOP and a testcase design method based on safety requirements. We introduced a case study on Smart Key Control System in vehicles and compared with hazards identification results based on HAZOP, to demonstrate the effectiveness of this study. The result of this study could potentially reduce development cost and increase system quality by adequately identifying hazards and safety requirements and designing the related testcase.