• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.1
• /
• pp.37-48
• /
• 2011

Sensor networks monitor the environment, collect sensed data, and relay the data back to a collection point. Although sensor nodes have very limited hardware resources, they require an operating system that can provide efficient resource management and various application environments. In addition, the wireless sensor networks require the code update previously deployed to patch bugs in program and to improve performance of kernel service routines and application programs. This paper presents EPRCU (Easy to Perform Remote Code Update), a new operating system for wireless sensor nodes, which has enhanced functionalities to perform remote code update. To achieve an efficient code update, the EPRCU provides dynamic memory allocation and program memory management. It supports the event-driven kernel, which uses priority-based scheduling with the application of aging techniques. Therefore, the proposed operating system is not only easy to perform wireless communication with the remote code update but also suitable for various sensor network applications.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.91-99
• /
• 2018

Discrete event simulation environments often need to be modified because additional questions to systems may become apparent while observing the simulation results repeatedly. It leads to increasing development budget and depreciating the effectiveness of the environment. To avoid the modifications and to generate the altered results, this paper applies an Event Control Model (ECM) with control functions that modulate, delete and generate the events at the simulation time. In addition, this paper suggests an easier approach for domain-users, who do not want to program at source code level, by using ECM templates. The simulators with the ECMs can have better extensibility because it becomes more adaptable to possibly unanticipated changes. It prevents increasing development costs due to modifications or development of new models by M&S experts, and it provides a new alternative step to domain users. To support the effectiveness of this approach, this paper describes a relevant example, which is composed of an initial simulation model based on our empirical studies. It will show that there exist the uncountable benefits because the existing simulator is reused by domain users without new projects.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.5
• /
• pp.913-919
• /
• 2011

In this paper, we present a new efficient event detection algorithm for sensor networks with faults. We focus on multi-attributed events, which are sets of data points that correspond to interesting or unusual patterns in the underlying phenomenon that the network monitors. Conventional algorithms cannot detect some events because they treat only their own sensor readings which can be affected easily by environmental or physical problem. Our approach exploits spatio-temporal correlation of sensor readings. Sensor nodes exchange a fault-tolerant code encoded their own readings with neighbors, organize virtual sensor readings which have spatio-temporal correlation, and determine a result for multi-attributed events from them. In the result, our proposed algorithm provides improvement of detecting multi-attributed events and reduces the number of false-negatives due to negative environmental effects.

• IE interfaces
• /
• v.8 no.3
• /
• pp.241-248
• /
• 1995

Fa SI(Sysrem Intergration)분야에 있어서 PLC(Programmable Logic Controller)와 컴퓨터간의 접속은 필수 불가결한 요소기술로 자리잡고 있으며, 이러한 기술변화에 맞춰서 기존 유니트의 기술적 발전뿐 아니라 타 유니트와 접속등의 네트워킹에 관련된 내용이 하드웨어, 소트프웨어적으로 발전되고 있는 추세이다. 시스템통합을 하기 위해서는 기본적으로 PLC Networking을 하드웨어, 소프트웨어적으로 수행하여야 하나, 많은 연구들이 PLC 통신 유니트의 기술적 향상 및 표준화에 대한 부분으로 되어왔었다. 본 논문은 정보시스템을 구축할 때 PLC에서 처리하여야 하는 데이터, 혹은 컴퓨터와 송수신 받아야 하는 자료들에 대한 내용과 이들 자료를 PLC 내부에서 처리하는 방법론에 대해 기술코자 한다. 일반적인 Interface 방법으로 접점연결(Point to Point Connection)과 컴퓨터링크유니트에 대한 내용을 파악해보고, 설비고장진단 및 이상발생에 대한 추적이 가능하도록 PLC Memory내에 PLC접점데이타를 직접접근방식(Direct Accssing Method)과 간접접근방식 (Indirect Accssing Method)으로 구분하고, 간접접근방식을 요소(Element), 동작(Event)에 의한 방법론을 이용하여 PLC DATA를 처리토록 하는 내용을 설명하고자 한다.

• Nuclear Engineering and Technology
• /
• v.50 no.8
• /
• pp.1234-1245
• /
• 2018

The risk of multi-unit nuclear power plants (NPPs) at a site has received considerable critical attention recently. However, current probabilistic safety assessment (PSA) procedures and computer code do not support multi-unit PSA because the traditional PSA structure is mostly used for the quantification of single-unit NPP risk. In this study, the main purpose is to develop a multi-unit Level 2 PSA method and apply it to full-power operating six-unit OPR1000. Multi-unit Level 2 PSA method consists of three steps: (1) development of single-unit Level 2 PSA; (2) extracting the mapping data from plant damage state to source term category; and (3) combining multi-unit Level 1 PSA results and mapping fractions. By applying developed multi-unit Level 2 PSA method into six-unit OPR1000, site containment failure probabilities in case of loss of ultimate heat sink, loss of off-site power, tsunami, and seismic event were quantified.

• International Journal of Automotive Technology
• /
• v.6 no.1
• /
• pp.29-35
• /
• 2005

The structural integrity of either a passenger car or a light truck is one of the basic requirements for a full vehicle engineering and development program. The results of the vehicle product performance are measured in terms of ride and handling, durability, Noise/Vibration/Harshness (NVH), crashworthiness, and occupant safety. The level of performance of a vehicle directly affects the marketability, profitability and, most importantly, the future of the automobile manufacturer. In this study, the Virtual Proving Ground (VPG) approach has been developed to simulate dynamic nonlinear events as applied to automotive ride & handling. The finite element analysis technique provides a unique method to create and analyze vehicle system models, capable of including vehicle suspensions, powertrains, and body structures in a single simulation. Through the development of this methodology, event-based simulations of vehicle performance over a given three-dimensional road surface can be performed. To verify the predicted dynamic results, a single lane change test was performed. The predicted results were compared with the experimental test results, and the feasibility of the integrated CAE analysis methodology was verified.

• Nuclear Engineering and Technology
• /
• v.16 no.2
• /
• pp.97-105
• /
• 1984

A method and computer code for the uncertainty analysis in the top event unavailability are developed and tested by combining Monte Carlo Method and Moments method with fault tree reduction technique. Using system fault trees and unavailability data selected in WASH-1400, the efficiency of the proposed method is tested and these results are compared with those obtained by Monte Carlo method. It is shown that the results are sufficiently good in accuracy and computation time is considerably reduced compared with those by Monte Carlo method.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.23-28
• /
• 1996

The potential for the RELAP5/MOD3.2 was assessed for the loss-of-RHR event during the mid-loop operation and the predictability of major thermal-hydraulic phenomena was also evaluated for the long term transient. The analysis results of the typical two cases(cold leg opening case and pressurizer opening case) were compared with experimental data which was conducted at ROSA-IV/LSTF in Japan. As a result, it was shown that tile code was capable of simulating the thermal-hydraulic transport process with appropriate time step during the reduced inventory operation with the loss-of- RHR system.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.5
• /
• pp.1036-1042
• /
• 2011

This paper presents an algorithm that conducts automatic memory scrubbing operated by dedicated hardwares. The proposed algorithm is designed so that it can scrub entire memory in a given scrub period, while minimally affecting the execution of flight softwares. The scrub controller is constructed in a form of state machines, which have two execution modes - normal mode and burst mode. The deadline event generator and period tick generator are designed in a separate way to support the behavior of the scrub controller. The proposed controller is implemented in VHDL code to validate its applicability. A simple version of the controller is also applied to mass memory modules used in STSAT-3.