• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.765-778
• /
• 2013

This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.

• Journal of Communications and Networks
• /
• v.15 no.3
• /
• pp.312-320
• /
• 2013

Home evolved Node-B (HeNB), also called a femtocell or a femto base station, is introduced to provide high data rate to indoor users. However, two main problems arise in femtocell networks: (1) Small coverage area of HeNB, which results in limited cell-splitting gain and ping-pong handover (HO) problems and (2) high inter-femtocell interference because HeNBs may be densely deployed in a small region. In this study, an efficient cooperation mechanism called an HeNB-aided virtual-HO (HaVHO) scheme is proposed to expand the coverage area of femtocells and to reduce inter-femtocell interference. The cooperation among neighbor HeNBs is exploited in HaVHO by enabling an HeNB to relay the data of its neighbor HeNB without an HO. The HaVHO procedure is compatible with the existing long term evolution specification, and the information exchange overhead in HaVHO is relatively low. To estimate the signal to interference plus noise ratio improvement, the area average channel state metric is proposed, and the amount of user throughput enhancement by HaVHO is derived. System-level simulation shows that HaVHO has a better performance than the other four schemes, such as lesser radio link failure, lesser ping-pong handover, lesser short-stay handover, and higher user throughput.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.6
• /
• pp.832-841
• /
• 2016

The voltage-frequency island (VFI) design paradigm has strong potential for achieving high energy efficiency in communication centric manycore system-on-chip (SoC) design called network-on-chip (NoC). However, because of the diminished scaling of wire-dimension and supply voltage as well as threshold voltage in modern CMOS technology, the vulnerability to link failure in VFI NoC is becoming a crucial challenge. In this paper, we propose an energy-optimized topology generation technique for VFI NoC to cope with permanent link failures. Based on the energy consumption model, we exploit the on-chip communication traffic patterns and characteristics of link failures in the early design stage to accommodate diverse applications and architectures. Experimental results using a number of multimedia application benchmarks show the effectiveness of the proposed three-step custom topology generation method in terms of energy consumption and latency without any degradation in the fault coverage metric.

• Journal of Environmental Impact Assessment
• /
• v.21 no.3
• /
• pp.483-501
• /
• 2012

The purpose of this study was to apply a multi-metric model of Lentic Ecosystem Health Assessments(LEHA) for environmental impact assessments of Cheongpyung Reservoir during 2005 - 2006 and assessed the ecological model values. The ecosystem model of LEHA was composed of eleven metrics such as biological parameters($B_p$), physical parameters($P_p$), and chemical parameters($C_p$), and determined the rank of ecological health by the criteria. The variables of $B_p$ were metrics of % sensitive species($M_2$, NMS) and insectivore species($M_5$, % $I_n$), which decrease as the water quality degradates, and these metric values were low as 1.5% and 32.4%, respectively. In contrast, the proportions of tolerant species and omnivore species as the other $B_p$ parameters were 43% and 62%, respectively, which indicate a degradation and disturbance of the ecosystem. Riparian vegetation coverage($M_9$, % $V_c$) as a variable of $P_p$, were higher in the 2nd than 1st survey, and decreased toward the dam site from the headwaters. This was due to a habitat simplification(modifications) by frequent bottom dredging of sand and rocks. The variables of $C_p$ were two metrics of specific conductivity($M_{10}$, $C_I$) as an indicator of ionic contents(cations and anions) and the Trophic State Index(TSI) based on chlorophyll-a($M_{11}$, $TSI_{CHL}$) as an indicator of trophic state. These metric values of $C_p$ had high temporal variations, but low spatial variations on the main axis of the reservoir along with the ecological health of a good condition. The environmental impact assessments using the LEHA multi-metric model indicated that the model values of LEHA averaged 30.7 in 1st survey(fair - poor condition) vs. 28 in 2nd survey(poor condition), indicating a temporal variation of the ecological health. The model values of LEHA showed a minimum(28) in the lacustrine zone(S5) and ranged from 29 to 30 in the other locations sampled, indicating a low longitudinal variation. Overall, environmental impact assessments, based on LEHA model, suggest that chemical water quality conditions were in good, but biological conditions were disturbed due to habitat modifications by frequent dredgings in the system.

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.20 no.2
• /
• pp.37-59
• /
• 2017

The Korean peninsula belongs to the temperate forest biome dominated by many deciduous oaks. We quantitatively and qualitatively studied vertical and horizontal distributions and habitat characteristics on the major oak species such as Quercus mongolica, Q. serrata, Q. variabilis, Q. dentata, Q. aliena and Q. acutissima. A total of 5,278 samples were analyzed with a species coverage and 6 principal environmental variables extracted from public database of nationwide natural environment survey. Correlation analysis was accomplished by the CANOCO using Canonical Correspondence Analysis and the Pearson correlation coefficient using PASW Statistics. The hierarchical distribution tendency of six oaks was finalized using the Goodman-Kruskal lambda coefficient of non-metric multidimensional scaling by SYN-TAX 2000. The utmost factor on the distributional segregation of oak species was the elevation, i.e. temperature. Q. serrata and Q. mongolica show clearly a diametrical distribution patterns with zonal distribution. Q. variabilis was determined as a thermophilic and xerophilous species that is a component of not only natural pseudo-climax forest but also secondary forest. The highest frequency of the dominant forest was found Q. mongolica. Whereas, Q. serrata showed the highest frequency of individual tree but the relatively lower frequency of dominant forest, which is resulted from the original habitat loss. By the benefit of the traditional Soopjeong-E, Q. acutissima dominant forests were remained rather largely. Individuals of Q. dentata occurred horizontally nationwide, but its dominant forest was the poorest. Dominant forest of Q. aliena, which is a natural vegetation, was the most rare due to a limited potential habitat.

• Korean Journal of Construction Engineering and Management
• /
• v.16 no.5
• /
• pp.3-11
• /
• 2015

This paper aims to review and discuss a graph-based approach for the representation and analysis of building circulation using BIM models. To propose this approach, the authors survey diverse researches and developments which are related to building circulation issues such as circulation requirements in Korea Building Act, spatial network analysis, as well as BIM applications. As the basis of this paper, UCN (Universal Circulation Network) is the main reference of the research, and the major goal of this paper is to extend the coverage of UCN with additional features we examined in the survey. In this paper we restructured two major perspectives on top of UCN: 1) finding major factors of graph-based circulation analysis based on UCN and 2) restructuring the UCN approach and others for adjusting to Korean Building Act. As a result of the further studies in this paper, two major additions have demonstrated in the article: 1) the most remote point-based circulation representation, and 2) virtual space-based circulation analysis.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.45 no.6
• /
• pp.131-138
• /
• 2008

Mobile Ad hoc NETworks (MANETs) refer to autonomous networks in which wireless data communications are established between multiple nodes in a given coverage area without a base station or centralized administration. Because of node mobility and limited battery life, the network topology may changes frequently. Selecting the most reliable path during route discovery process is important to improve performance in ad hoc networks. In this paper, an enhanced routing protocol based on AODV(Ad hoc On-demand Distance Vector routing) by monitoring variation of receiving signal strength is proposed. New metric function that consists of node mobility and hops of path is used for routing decision. For preventing route failure by node movement during data transmission, a new route maintenance named as LRC (Local Route Change) is presented. If the node movement is detected, the routing agent switches path to its neighbor node in LRC. Simulation results show that the performance of the proposed routing scheme is superior to previous AODY protocol.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.9
• /
• pp.1665-1671
• /
• 2007

Mobile Ad hoc Networks (MANETs) refer to autonomous networks in which wireless data communications are established between multiple nodes in a given coverage area without a base station or centralized administration. Because of node mobility and limited battery life, the network topology may changes frequently. Selecting the most reliable path during route discovery process is important to improve performance in ad-hoc networks. In this study, we proposed an enhanced routing protocol based on AODV by monitoring variation of receiving signal strength. New metric function that consists of node mobility and hops of path is used for routing decision. From extensive experiments by using NS-2, The performance of the proposed routing scheme has been imp개ved by comparison to AODV protocol.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• The KIPS Transactions:PartB
• /
• v.12B no.6 s.102
• /
• pp.679-684
• /
• 2005

There are a few representative wireless network access technologies used widely. WWAN is celluar based telecommunication networks supporting high mobility, WLAN ensures high data rate within hotspot coverage, and WDMB support both data and broadcasting services correspondingly. However, these technologies include some limitations especially on the mobility, data rate, transmission direction, and so on. In order to overvome these limitations, there are various studies have been proposed in terms of 'Vortical Handoff' that offers seamless connectivity by switching active connection to the appropriate interface which installed in the mobile devices. In this paper, we propose the interface selection algorithm and network architecture to maximize the life time of entire system by minimizing the unnecessary energy consumption of another interfaces such as WLAN, WDMB that are taken in the user equipment. In addition, by using the results of analyzing multiple types of traffic and managing user buffer as a metric for vertical handoff, we show that the energy efficiency of our scheme is $75\%$ and $34\%$ than typical WLAN for WDMB and WLAN preferred schemes, correspondingly.