• Transactions of the Korean Society of Automotive Engineers
• /
• v.13 no.1
• /
• pp.194-203
• /
• 2005

The process of guaranteeing that a distributed real-time control system will meet its timing constraints, is referred to as schedulability analysis. However, schedulability analysis algorithm cannot be simply used to analyze the system because of complex calculations of algorithm. It is difficult for control engineer to understand the algorithm because it was developed in a software engineer's position. In this paper we introduce a Response-time Analysis Tool(RAT) which provides easy way far system designer to analyze the system by encapsulating calculation complexity. Based on the RAT, control engineer can verify whether all real-time tasks and messages in a system will be completed by their deadline in the system design phase.

• Nuclear Engineering and Technology
• /
• v.31 no.1
• /
• pp.68-79
• /
• 1999

The YGN Units 3&4 plant conditions during shutdown operation were reviewed to identify the possible event scenarios following the loss of shutdown cooling (SDC) event. For the five cases of typical reactor coolant system (RCS) configurations under the worst event sequence, such as unavailable secondary cooling and no RCS inventory makeup, the thermal hydraulic analyses were performed using the RELAP5/MOD3.2 code to investigate the plant behavior following the event. The thermal hydraulic analyses include the estimation of time to boil, time to core uncovery, and time to core heat up to determine the containment closure time to prevent the uncontrolled release of fission products to atmosphere. The result indicates that the containment closure is recommended to be achieved within 42 minutes after the loss of SDC for the steam generator (SG) inlet plenum manway open case or the large cold leg open case under the worst event sequence. The containment closure time is significantly dependent on the elevation and size of the opening and the SG secondary water level condition. It is also found that the containment closure needs to be initiated before the boiling time to ensure the survivability of the workers in the containment. These results will provide useful information to operators to cope with the loss of SDC event.

• Journal of the Korea Society for Simulation
• /
• v.11 no.3
• /
• pp.23-34
• /
• 2002

Dynamic storage allocation (DSA) is a field fairly well studied for a long time as a basic problem of system software area. Due to memory fragmentation problem of DSA and its unpredictable worst case execution time, real-time system designers have believed that DSA may not be promising for real-time application service. Recently, the need for an efficient DSA algorithm is widely discussed and the algorithm is considered to be very important in the real-time system. This paper proposes an efficient DSA algorithm called QSB (quick semi-buddy) which is designed to be suitable for real-time environment. QSB scheme effectively maintains free lists based on quick-fit approach to quickly accommodate small and frequent memory requests, and the other free lists devised with adaptation upon a typical binary buddy mechanism for bigger requests in harmony for the .improved performance. Comprehensive simulation results show that the proposed scheme outperforms QHF which is known to be effective in terms of memory fragmentation up to about 16%. Furthermore, the memory allocation failure ratio is significantly decreased and the worst case execution time is predictable.

• Journal of the Korean Society for Railway
• /
• v.12 no.5
• /
• pp.819-828
• /
• 2009

This paper suggests to standardize railway accident restoration types as the code and standard operation system for efficient railway accident management. First of all, the damage types of have been carefully analyzed and reclassified. This study suggested the combination of 3 distinct code factors: restoration class, restoration object, and restoration location to standardize them. In addition, this study suggested procedures to make the standard operation system of emergency restoration, defined the worst case of emergency restoration and the important events. Therefore, the standard operation system of emergency restoration is developed. It shall play a major role as the database system for railway accident management, minimum of damage and rapid control of accident.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.7C
• /
• pp.670-676
• /
• 2002

The object of ATM network is to the guarantee quality of service(QoS). Therefore, various of traffic management schemes have been proposed. Among these schemes, call admission control(CAC) is very important to provide real-time services and ON-OFF model, which is single source traffic model, has been used. But ON-OFF model differ from GCRA(Generic Cell Rate Algorithm) controlled traffic in ATM network. In this paper, we analyze the traffic, which is controlled as dual GCRA, and propose TWM(Three-state Worst-case Model), which is new single source traffic model. We also proposed CAC to guarantee peak-to-peak CDV(Cell Delay Variation) based on the TWM. In experiments, ON-OFF model and TWM are compared to show that TWM is superior to ON-Off model in terms of QoS guaranteeing.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.541-545
• /
• 2010

AUTOSAR, a standard software platform for automotive, has been developed to manage software complexity and improve software reuseability. However reuse of test system is difficult because it is dependant on implementation language and test phase. In this paper, we suggest a test system generation method for AUTOSAR software component using TTCN-3, a standardized testing language. TTCN-3 test system is generated automatically from AUTOSAR XML containing software design information. The test system consists of TTCN-3 tester and target system and tests functionality and worst case response time of software under simulation environment. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.4
• /
• pp.176-184
• /
• 2002

We provide a checkpointing framework reflecting both the timeliness and the dependability in order to make checkpointing applicable to dependable real-time systems. The predictability of real-time tasks with checkpointing is guaranteed by the worst case execution time (WCET) based on the allocated number of checkpoints and the permissible number of failures. The permissible number of failures is derived from fault tolerance requirements, thus guaranteeing the dependability of tasks. Using the WCET and the permissible number of failures of tasks, we develop an algorithm that determines the minimum number of checkpoints allocated to each task in order to guarantee the schedulability of a task set. Since the framework is based on the amount of time redundancy caused by checkpointing, it can be extended to other time redundancy techniques.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.5
• /
• pp.424-433
• /
• 1991

In the noncoherent FH/FSK system presence of the multitione jamming and noise, in the case random and 송 structures jamming model, the performance analyzed that random and struetured jamming derived error proability. It is found that error probability and performance when error corecting code used Hamming. BCH, Convolutional code under the worst case partial band jamming interference.

• International Journal of Aeronautical and Space Sciences
• /
• v.15 no.1
• /
• pp.63-73
• /
• 2014

For robust stability analysis of parameters uncertainty missiles, the traditional frequency domain method can only analyze each respective channel at several interval points within uncertain parameter space. Discontinuous calculation and couplings between channels will lead to inaccurate analysis results. A method based on the ${\nu}$-gap metric is proposed, which is able to comprehensively evaluate the robust stability of missiles with uncertain parameters; and then a genetic-simulated annealing hybrid optimization algorithm, which has global and local searching ability, is used to search for a parameters combination that leads to the worst stability within the space of uncertain parameters. Finally, the proposed method is used to analyze the robust stability of a re-entry missile with uncertain parameters; the results verify the feasibility and accuracy of the method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.11
• /
• pp.2942-2953
• /
• 1996

This paper studies the effect of intersymbol interference due to sampling-time jitter on the worst-case bit error probability in a digital modultation over an additive white Gaussian noise channel, with the squared-root raised-cosine filters in the transmitter and the receiver. It derives approximation formulas using the Taylor series approximations. the principal results of this paper is the relationship between the worst-casse bit error probability, the degree of jitter, the roll factor of the raised cosine filter, and other quantities. Numerical results show, as expected, that the intersymbol interference decreases as the roll-off factor increases and the jitter decreases. They also show that the approximation formulas are accurate for smally intersymbol interference, i.e., for large roll-noise ratio $E_{b/}$ $N_{0}$.leq.7 dB and begin to lose accuracy for larger signal-to-noise ratio.o.o.