• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.467-478
• /
• 1999

실시간 태스크의 최악 실행시간을 예측할 때 과예측이 발생하는 원인은, 첫째 프로그램의 동적인 최악 실행 행태를 정적으로 분석하는 것이 근본적으로 어렵기 때문이며, 둘째 최근의 RISC 형태 프로세서에 포함되어 있는 파이프라인 실행 구조와 캐쉬 등이 그러한 정적 분석을 더욱 어렵게 만들기 때문이다. 그런데 기존의 연구에서는 각각의 과예측 원인을 해결하기 위한 방법에 대해서만 언급하고 있을 뿐 분석의 정확도에서 각 원인이 차지하는 비중에 대해서는 언급하고 있지 않다. 이에 본 연구에서는 최악 실행시간 예측시 과예측을 유발하는 원인들, 즉 분석 요소들의 영향을 정량적으로 조사함으로써 기존의 최악 실행시간 분석 기법들이 보완해야 할 방향을 제시하고자 한다. 본 연구에서는 실험이 특정 분석 기법에 의존하지 않도록 하기 위하여 시뮬레이션 방법에 기반한다. 이를 위해 분석 요소별 스위치가 포함된 MIPS R3000 프로세서를 위한 시뮬레이터를 구현하였는데, 각 스위치는 해당 분석 요소에 대한 분석의 정확도 수준을 결정한다. 모든 스위치 조합에 대해서 시뮬레이션을 반복 수행한 다음 분산 분석을 수행하여 어떤 분석 요소가 가장 큰 영향을 끼치는지 고찰한다.Abstract Existing analysis techniques for estimating the worst case execution time (WCET) of real-time tasks still suffer from significant overestimation due to two types of overestimation sources. First, it is unavoidably difficult to predict dynamic behavior of programs statically. Second, pipelined execution and caching found in recent RISC-style processors even more complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the timing analysis for the corresponding overestimation source. After repeating simulation for all of the switch combinations, we perform the variance analysis and study which factor has the largest impact on the accuracy of the predicted WCETs.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.1706-1709
• /
• 2010

Sewerage Treatment Plants(STPs) are complexes systems in which a range of physical, chemical and biological processes occur. Since Activated Sludge Model(ASM) No.1 was published, a number of new mathematical models for simulating biological processes have been developed. However, these models have disadvantages in cost and simplicity due to the laboriousness and tediousness of their procedures. One of the major difficulties of these mathematical model based tools is that the field-operators mostly don't have the time or the computer-science skills to handle there models, so it mainly remains on experts or special engineers. In order to solve these situations and help the field-operators, the $KM^2BM$(K-water & More-M Mass Balance Model) based on the dynamic-mass balance model was developed. This paper presents $KM^2BM$ as a simulation tools for STPs design and optimization. This model considers the most important microbial behavioral processes taking place in a STPs to maximize potential applicability without increasing neither model parameter estimation nor wastewater characterization efforts.

• Journal of KIISE:Information Networking
• /
• v.29 no.3
• /
• pp.286-298
• /
• 2002

The Remote Procedure Call(RPC) has been traditionally used for Inter Process Communication(IPC) among precesses in distributed computing environment. As distributed applications have been complicated more and more, the Mobile Agent paradigm for IPC is emerged. Because there are some paradigms for IPC, researches to evaluate and compare the performance of each paradigm are issued recently. But the performance models used in the previous research did not reflect real distributed computing environment correctly, because they did not consider the evacuation elements for providing security services. Since real distributed environment is open, it is very vulnerable to a variety of attacks. In order to execute applications securely in distributed computing environment, security services which protect applications and information against the attacks must be considered. In this paper, we evaluate and compare the performance of the Remote Procedure Call with that of the Mobile Agent in IPC paradigms. We examine security services to execute applications securely, and propose new performance models considering those services. We design performance models, which describe information retrieval system through N database services, using Petri Net. We compare the performance of two paradigms by assigning numerical values to parameters and measuring the execution time of two paradigms. In this paper, the comparison of two performance models with security services for secure communication shows the results that the execution time of the Remote Procedure Call performance model is sharply increased because of many communications with the high cryptography mechanism between hosts, and that the execution time of the Mobile Agent model is gradually increased because the Mobile Agent paradigm can reduce the quantity of the communications between hosts.

• Journal of Navigation and Port Research
• /
• v.38 no.4
• /
• pp.373-378
• /
• 2014

In order to prepare for recapitalization of differential GNSS (DGNSS) reference station and integrity monitor (RSIM) due to GNSS diversification, this paper focuses on differential correction algorithm using GPS/Galileo pesudorange. The technical standards on operation and broadcast of DGNSS RSIM are described as operation of differential GPS (DGPS) RSIM for conversion of DGNSS RSIM. Usually, in order to get the differential corrections of GNSS pesudorange, the system must know the real positions of satellites and user. Therefore, for calculating the position of Galileo satellites correctly, using the equation for calculating the SV position in Galileo ICD (Interface Control Document), it estimates the SV position based on Ephemeris data obtained from user receiver, and calculates the clock offset of satellite and user receiver, system time offset between GPS and Galileo, then determines the pseudorange corrections of GPS/Galileo. Based on a platform for performance verification connected with GPS/Galileo integrated signal simulator, it compared the PRC (pseudorange correction) errors of GPS and Galileo, analyzed the position errors of DGPS, DGalileo, and DGPS/DGalileo respectively. The proposed method was evaluated according to PRC errors and position accuracy at the simulation platform. When using the DGPS/DGalileo corrections, this paper could confirm that the results met the performance requirements of the RTCM.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.1
• /
• pp.11-23
• /
• 2014

Wireless Mesh Network(WMN) has drawn much attention due to easy deployment and good scalability. Recently, major power utilities have been focusing on R&D to apply WMN technology in Smart Grid Network. Smart Grid is an intelligent electrical power network that can maximize energy efficiency through bidirectional communication between utility providers and customers with ICT(Information Communication Technology). It is necessary to guarantee QoS of some important data in Smart Grid system such as real-time data delivery. In this paper, we suggest QoS enhancement method for WMN based Smart Grid system using IEEE 802.11s. We analyze Smart Grid Application characteristics and apply IEEE 802.11s WMN scheme for Smart Grid in domestic power communication system. Performance evaluation is progressed using NS-2 simulator implementing IEEE 802.11s. The simulation results show that the QoS enhancement scheme can guarantee stable bandwidth irrespective of traffic condition due to IEEE 802.11s reservation mechanism.

• International Journal of Highway Engineering
• /
• v.10 no.2
• /
• pp.101-113
• /
• 2008

VMS are installed in many Korean highways in oder to give drivers informations such as travel time to destination, congestion and Incident situation. However, some guidelines for install VMS are restricted in only geometric factors although human factors considering driver behavior are very important to affect the VMS installation. Therefore, this paper are focusing on developing and verifying the discriminant model for VMS installation considering human factors. As a result, following outputs are obtained ; (1) developing the discriminant model using human factors of driving simulation experiments in oder to predict driver reading VMS messages safely detour highway. (2) proving that driving experiences in highway, personal driving history, vehicle speed orderly affects VMS installation (3) verifying predictability of developed model by comparing the real values with predicted values. (4) suggesting that VMS should be installed off 3.2Km from the I.C. of rural highway.

• Journal of Korea Multimedia Society
• /
• v.10 no.11
• /
• pp.1460-1471
• /
• 2007

A 3-Dimensional engine in a mobile embedded device is divided into a C-based OpenGL/ES and a Java-based JSR184 which interprets and executes a byte code in a real-time. In these two standards, the JSR184 supporting Java objects uses more processor resources than an OpenGL/ES and thus has a constraint when it is used in an embedded device with a limited computing power. On the other hand, 3-Dimensional contents employed in existing personal computer are created by utilizing advantages of Java and secured numerous users in European market, due to the good quality in contents and extensive service in a commercial network, GSM. Because of the reason, a mobile embedded device used in a GSM network needs a JSR184 which can provide an existing Java-based 3-Dimensional contents without extra conversion processes, but the current version of Java-based 3-Dimensional engine has drawbacks in application to commercial products because it requires more computing power than the mobile embedded device. This paper proposes a binding technique with the advantages of Java objects to improve a processing speed of 3-Dimensional contents in limited resources of a mobile embedded device. The technique supports a JSR184 standard interface in the upper layer to utilize 3-Dimensional contents using Java, employs a different code-conversion language, KNI(Kilo Native Interface), in the middle layer to interface between OpenGL/ES and JSR184, and embodies an OpenGL/ES standard in the lower layer. The validity of the binding technique is demonstrated through a simulator and a FPGA embedding an ARM.

• Journal of Korean Society of Transportation
• /
• v.33 no.5
• /
• pp.478-487
• /
• 2015

This study proposed a Variable Speed Limits(VSL) algorithm to use traffic information based on Cumulative Demand-Capacity Analysis and evaluated its performance. According to the analysis result, the total of delay consisted of 3 separate parts. There was no change in total travel time although the total of delay decreased. These effects was analysed theoretically and then, evaluated through VISSIM, a microscopic simulator. VISSIM simulation results show almost same as those of theoretical analysis. Furthermore in SSAM analysis with VISSIM simulation log, the number of high risk collisions decreased 36.0 %. However, the total delay decrease effect is not real meaning of decrease effect because the drivers' desired speed is same whether the VSL model is operated or not. Nevertheless this VSL model maintains free flow speed for longer and increases the cycle of traffic speed fluctuation. In other words, this is decrease of delay occurrence and scale. The decrease of speed gap between upstream and downstream stabilizes the traffic flow and leads decrease number of high risk collision. In conclusion, we can expect increase of safety through total delay minimization according to this VSL model.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.10
• /
• pp.15-23
• /
• 2017

This paper reports a SOC(State-of-Charge) estimation method using the extended Kalman filter(EKF) algorithm, which can allow real-time implementation and reduce the error of the model and be robust against noise, to accurately estimate and evaluate the charging/discharging state of the EV(Electric Vehicle) battery. The battery was modeled as the first order Thevenin model for the EKF algorithm and the parameters were derived through experiments. This paper proposes the changed method, which can have the SOC to 0% ~ 100% regardless of the aging of the battery by replacing the rated capacity specified in the battery with the maximum chargeable capacity. In addition, This paper proposes the EKF algorithm to estimate the non-linearity interval of the battery and simulation result based on Ah-counting shows that the proposed algorithm reduces the estimation error to less than 5% in all intervals of the SOC.

• Journal of Biomedical Engineering Research
• /
• v.25 no.2
• /
• pp.119-127
• /
• 2004

In this paper, an automatic external biphasic defibrillator that removes ventricular fibrillation efficiently with a low discharging energy has been developed. The system is composed of software including a fibrillation detection algorithm and a system control algorithm, and hardware including a high voltage charging/discharging part and a signal processing part. The stability of the developed system has been confirmed through continuous charging/discharging test of 160 times and the detection capability of the real-time fibrillation detection algorithm has been estimated by applying a total of 30 various fibrillation signals. In order to verify the clinical efficiency and safety, the system has been applied to five pigs before and after fibrillation inductions. Also, we have investigated the system efficiency in removing fibrillation by applying two different discharging waveforms, which have the same energy but different voltage levels.