• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.653-662
• /
• 2016

This paper describes a test case generation algorithm for Simulink/Stateflow models based on the Rapidly exploring Random Tree (RRT) algorithm that has been successfully applied to path finding. An important factor influencing the performance of the RRT algorithm is the metric used for calculating the distance between the nodes in the RRT space. Since a test case for a Simulink/Stateflow (SL/SF) model is an input sequence to check a specific condition (called a test target in this paper) at a specific status of the model, it is necessary to drive the model to the status before checking the condition. A status maps to a node of the RRT. It is usually necessary to check various conditions at a specific status. For example, when the specific status represents an SL/SF model state from which multiple transitions are made, we must check multiple conditions to measure the transition coverage. We propose a unique distance calculation metric, based on the observation that the test targets are gathered around some specific status such as an SL/SF state, named key nodes in this paper. The proposed metric increases the probability that an RRT is extended from key nodes by imposing penalties to non-key nodes. A test case generation algorithm utilizing the proposed metric is proposed. Three models of Electrical Control Units (ECUs) embedded in a commercial vehicle are used for the performance evaluation. The performances are evaluated in terms of penalties and compared with those of the algorithm using a typical RRT algorithm.

• Journal of KIISE:Software and Applications
• /
• v.37 no.12
• /
• pp.882-891
• /
• 2010

Many automated dynamic test data generation technique have been proposed. The techniques evaluate fitness of test data through executing instrumented Software Under Test (SUT) and then generate new test data based on evaluated fitness values and optimization algorithms. Previous researches and experiments have been showed that these techniques generate effective test data. However, optimization algorithms in these techniques incur much time to generate test data, which results in huge test case generation cost. In this paper, we propose a technique for reducing the time of evaluating a fitness of test data among steps of dynamic test data generation methods. We introduce the concept of Fitness Evaluation Program (FEP), derived from a path constraint of SUT. We suggest a test data generation method based on FEP and implement a test generation tool, named ConGA. We also apply ConGA to generate test cases for C programs, and evaluate efficiency of the FEP-based test case generation technique. The experiments show that the proposed technique reduces 20% of test data generation time on average.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1964_1965
• /
• 2009

최근 경제성장과 함께 생활수준의 향상으로 인하여 홈 게이트웨이는 디지털 홈 가전기기에 초고속 통신망 접속 기능을 제공하며 각종 기기들을 하나로 네트워크화 하는 중요한 기능을 담당하게 된다. 전력선 통신은 전력선을 매체로 하기 때문에 신규선로의 포설 없이 가전기기 및 정보화 서비스 모뎀들의 네트워크화에 용이할 뿐만 아니라 커버리지 확장에도 뛰어나서 디지털 가전, 원격검침, 전력설비 감시제어, 국가 재난 감시 시스템 등의 기본 통신 방식으로 가장 유력한 기술로써 디지털 가전을 포함한 유비쿼터스 전기설비 네트워크 구성에서 필수적 기술로 채택되고 있기 때문에 지능형 홈 네트워크, 전력IT 부가 서비스, 설비감시 네트워크, 유비쿼터스 네트워크 관련 기술에 대한 파급 효과가 매우 크며, 디지털 가전의 기본 통신 방식으로 가장 유력한 기술로써 디지털 가전 구성에서 필수적 기술로 채택되고 있다. 본 연구에서는 전력선통신모뎀을 이용하여 가전기기의 전력 소비를 감지할 수 있는 센서를 내장한 전력선 통신기반의 전력 감시 모듈을 개발하여 실시간 원격 모니터링을 통해 소비전력 패턴을 작성한다. 그리고 전력감시 모듈에 연결된 가전기기의 소비전력 패턴 분석을 통해 전력소비 이상 유무를 감지할 수 있는 알고리즘을 개발, 탑재하여 이상 유무를 판단하고 전력소비가 급증할 시 자동으로 전력을 차단하여 화재나 누전의 위험을 방지한다. 이에 본 연구는 전력감시 및 이상전력 차단기능을 갖는 저전력 전력선통신 모뎀 개발에 관한 것이다.

• Journal of Broadcast Engineering
• /
• v.8 no.3
• /
• pp.250-258
• /
• 2003

Recently, the transition from conventional analog broadcasting to digital broadcasting has been proceeding as a result of the advance in digital multimedia broadcasting technique. In radio broadcasting, Eureka-147 DAB(Digital Audio Broadcasting) was decided as the standard system of digital radio broadcasting in Korea. In addition to CD quality audio, a variety of data services and excellent performance in mobile reception can be served by DAB, and DAB was evolved into DMB(Digital Multimedia Broadcasting) in Korea for the purpose of emphasizing moving picture multimedia service by DAB. In case of digital broadcasting, it is absolutely essential to measure the BER(Bit Error Rate) in the received signal in order to evaluate the coverage obtained by a transmitter and the quality of the received signal. In this paper, we propose efficient subchannel data structure and BER measurement algorithm. and then verify it by laboratory experiments. With a proposed method, the synchronization for BER measurement is easily obtained and especially the exact results can be obtained by classifying the lost bits which are included in the reception-failed CIFs(Common Interleaved Frame) into errors. This makes the proposed BER measurement system especially appropriate to DMB in which the frequent changes in channel status caused by mobile reception environment exist.

• Proceedings of the IEEK Conference
• /
• 2009.05a
• /
• pp.279-280
• /
• 2009

최근 경세성장과 함께 생활수준의 향상으로 인하여 에너지 수요는 매년 증가하고 있으며 그 중에서 하나인 전력수요도 역시 급격히 늘어나고 있는 추세이다. 이와 더불어 투자자원 및 입지확보의 어려움, 환경제약의 문제로 전력 공급의 어려움은 날로 증가되고 있다. 따라서 수요증가를 전력공급 능력의 증진뿐만 아니라 수요관리 측면에서도 필요성이 대두되고 있다. 전력선 통신은 전력선을 매체로 하기 때문에 신규선로의 포설 없이 가전기기 및 정보화 서비스 모뎀들의 네트워크화에 용이할 뿐만 아니라 커버리지 확장에도 뛰어나서 디지털 가전, 원격검침, 전력설비 감시제어, 국가 재난 감시 시스템 등의 기본 통신 방식으로 가장 유력한 기술로써 디지털 가전을 포함한 유비쿼터스 전기설비 네트워크 구성에서 필수적 기술로 채택되고 있기 때문에 지능형 홈 네트워크, 전력IT 부가서비스, 설비감시 네트워크, 유비쿼터스 네트워크 관련 기술에 대한 파급 효과가 매우 크며, 디지털 가전의 기본 통신 방식으로 가장 유력한 기술로써 디지털 가전 구성에서 필수적 기술로 채택되고 있기 때문에 지능형 홈 네트워크 관련 기술에 대한 파급 효과가 매우 크다. 본 연구에서는 전력선통신모뎀을 이용하여 가전기기의 전력 소비를 감지할 수 있는 센서를 내장한 전력선 통신기반의 전력 감시 모듈을 개발하여 실시간 원격 모니터링을 통해 소비전력 패턴을 작성한다. 그리고 전력감시 모듈에 연결된 가전기기의 소비전력 패턴 분석을 통해 전력소비 이상 유무를 감지할 수 있는 알고리즘을 개발, 탑재하여 이상유무를 판단하고 전력소비가 급증할 시 자동으로 전력을 차단하여 화재나 누전의 위험을 방지한다. 이에 본 연구는 전력선통신을 이용하여 전력소비감시 및 이상전력차단에 관한 연구에 관한 것이다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.6
• /
• pp.712-716
• /
• 2010

In this paper, we propose a novel shape-based approach to detect CNV regions (CNVR) by analyzing the coverage graph obtained by aligning the giga-sequencing data onto the human reference sequence. The proposed algorithm proceeds in two steps: a filtering step and a post-processing step. In the filtering step, it takes several shape parameters as input and extracts candidate CNVRs having various depth and width. In the post-processing step, it revises the candidate regions to make up for errors potentially included in the reference sequence and giga-sequencing data, and filters out regions with high ratio of GC-contents, and returns the final result set from those candidate CNVRs. To verify the superiority of our approach, we performed extensive experiments using giga-sequencing data publicly opened by "1000 genome project" and verified the accuracy by comparing our results with those registered in DGV database. The result revealed that our approach successfully finds the CNVR having various shapes (gains or losses) in HLA (Human Leukocyte Antigen) region.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.9A
• /
• pp.758-766
• /
• 2011

Cooperative communications are adopted as a promising solution to achieve high data rate over large areas in the future 40 wireless system and the relay station (RS) is the key concept in cooperative communications. However, most existing works in this area focus only on optimal RS selections. In addition, there are only few works consider another crucial issue: how many relay stations we need to place. Only when the number of relay stations is defined, the relay station selection can be performed well. In this paper we derive a formula which describes the impact of varying number of RS on end-to-end link throughput assuming a clustering scheme which is based on Voronoi tessellation. In addition to mathematical analysis on the feasibility of the formula, we also examine its performance through a set of simulations under the Erceg path loss model. Simulation results verify that the link throughput gain of our proposed scheme is promising.

• Journal of Satellite, Information and Communications
• /
• v.5 no.2
• /
• pp.57-63
• /
• 2010

Many efficient frequency sharing methods are issued in present because of increasing users with various wireless communication terminals. In the satellite communications, the service coverage is generally very wide so frequency sharing with terrestrial system is essentially needed, and the research is progressing dynamically related on this frequency sharing method. But if we adopt the terrestrial system which is commonly used, it can't avoid the interference from terrestrial service to satellite service. Therefore, this paper will introduce methods for reducing the interference from terrestrial station to earth station using cognitive radio system Satellite system is guaranteed with decreasing interference from terrestrial stations using Genetic Algorithm based power control method. Furthermore, terrestrial systems can have increased QoS because the frequency reuse factor in proposed method is higher than existing methods.

• Spatial Information Research
• /
• v.19 no.6
• /
• pp.111-121
• /
• 2011

In this paper, we proposes a sensor node positioning algorithm that utilizes the geo-spatial elements and considers the factors to represent the propagation loss generated by the various obstacles in the urban wireless environments. First, we measures the propagation loss about the radio frequencies in major road of the urban, and defines the correlation between the measured loss and the environment information for the road and its surrounding get from Urban GIS. Secondly, through the utilization of the loss-environment correlation, we describes the detailed instruction for requiring the radio coverage decision and deploy system implementation for the wireless sensor node in urban. By the consideration of interference factor by the building and the linear structure of road, we can evaluate the path loss below 5dB RMS error. And, we proposes the way to revise the sensor node deployment based on the corelation and the measured path loss.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39A no.5
• /
• pp.280-292
• /
• 2014

Recently, heterogeneous networks consisting of small-cells on top of traditional macro-cellular network has attracted much attention, because traditional macro-cellular network is not suitable to support more demanding mobile data traffic due to its limitation of spatial reuse. However, due to the transmit power difference between macro- and small-cells, most users are associated with macro-cells rather than small-cells. To solve this problem, enhanced inter-cell interference coordination (eICIC) has been introduced. Particularly, in eICIC, the small-cell coverage is forcibly expanded to associate more users with small-cells. Then, to avoid cross-tier interference from macro-cells, these users are allowed to receive the data during almost blank subframe (ABS) in which macro-cells almost remain silent. However, this approach is not sufficient to balance the load between macro- and small-cells because it only expands the small-cell coverage. In this paper, we propose a load balance scheme improving proportional fairness for heterogeneous networks employing eICIC. In particular, the proposed scheme combines the greedy-based user association and the ABS rate determination in a recursive manner to perform the load balance.