• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.10
• /
• pp.3885-3892
• /
• 2010

Safety-Critical systems, such as Plant Protection Systems in nuclear power plant, plays a key role that the facilities can be operated without undue risk to the health and safety of public and environment, and those systems shall be designed, fabricated, installed, and tested to quality standards commensurate with the importance of the functions to be performed. Computer-based Instrumentation and Control Systems to perform the safety-critical function have Real Time Operating Systems to control and monitoring the sub-system and executing the application software. The safety-critical Real Time Operating Systems shall be designed, analyzed, tested and evaluated to have capability to maintain a high integrity and quality. However, local nuclear power plants have applied the real time operating systems on safety critical systems through Commercial Grade Item Dedication method, and this is the reason of lack of detailed methodology on assessing the safety of real time operating systems, expecially to the new developed one. This paper presents the methodology and experiences of safety evaluation on safety-critical Real Time Operating Systems based upon design requirements. This paper may useful to develop and evaluate the safety-critical Real Time Operating Systems in other industry to ensure the safety of public and environment.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.7
• /
• pp.12-19
• /
• 2020

The clustered heterogeneous wireless sensor network is comprised of sensor nodes and cluster heads, which are hierarchically organized for different objectives. In the network, we should especially take care of managing node resources to enhance network performance based on memory and battery capacity constraints. For instances, if some interesting events occur frequently in the vicinity of particular sensor nodes, those nodes might receive massive amounts of data. Data congestion can happen due to a memory bottleneck or link disconnection at cluster heads because the remaining memory space is filled with those data. In this paper, we utilize drones as mobile sinks to resolve data congestion and model the network, sensor nodes, and cluster heads. We also design a cost function and a congestion indicator to calculate the degree of congestion. Then we propose a data congestion map index and a data congestion mapping scheme to deploy drones at optimal points. Using control variable, we explore the relationship between the degree of congestion and the number of drones to be deployed, as well as the number of drones that must be below a certain degree of congestion and within communication range. Furthermore, we show that our algorithm outperforms previous work by a minimum of 20% in terms of memory overflow.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.20 no.2
• /
• pp.513-525
• /
• 2018

A 3 dimensional numerical analysis for shield TBM tunnel should take into account various characteristics of the shield TBM excavation, such as gap, tail void, segment installation, and backfill injection. However, analysis method considering excavation characteristics are generally mixed with various method, resulting in concern of consistency and reliability degradation of the analytical results. In this paper, a parametric study is carried out by using actually measured ground settlement data on various methods that can be used for 3 dimensional numerical analysis of shield TBM tunneling. As a result, we have analyzed and arranged an analytical method to predict similarly the behavior of ground settlement and tunnel face pressure at the design stage. Skin plate pressure, backfill pressure and soil model have been identified as the most significant influences on the ground settlement. The grout pressure model is considered to be applicable when there is no volume loss information on the excavated ground, such as seabed tunnels, or when it is important to identify the behavior around a tunnel, such as surface settlement as well as face pressure. And it is considered that designers can use these guidelines as a base material to perform a reasonable 3 dimensional numerical analysis that reflects the ground conditions and the features of the shield TBM tunneling.

• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

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

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• Journal of Korea Water Resources Association
• /
• v.38 no.4 s.153
• /
• pp.271-280
• /
• 2005

The goal of this study is to recommend a new type of stage-discharge rating curve ($Q=p(h-e)^{\beta}-{\gamma}$) useful for satisfying divergence, and one other seemingly irresolvable problem related to exited rating curves, while also extending this rating curve model. The problem of divergence is that during the finding of the CZF (cease-to-zero flow) parameter e and while minimizing the sum of total errors of the estimated curve, the exponential parameter ${\beta}$ become an abnormally large value. The insoluble problem is that when the value e is greater then the recorded minimum at the gauged stage, it is impossible to have a negative logarithm value (h-e). The two problems above can be satisfied by adapting the control value ${\gamma}$, which affects the reduction of ${\gamma}$ and gives us the possibility of controlling (h-e) over zero. The study results show that the effects of parameter ${\gamma}$ are very similar to that of e when conducting physical and sensitivity analyses. This system can be used towards developing a new stage-discharge rating curve for river discharge, for use in evaluating the acceptability of existing stage-discharge rating curves generated by using hydrologic analyses at all stations.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.31 no.5
• /
• pp.227-234
• /
• 2018

Researches regarding measurement and control of the dynamic behavior of liquid such as sloshing have been actively on undertaken in various engineering fields. Liquid vibration is being measured in the study of tuned liquid dampers(TLDs), which attenuates wind motion of buildings even in building structures. To overcome the limitations of existing wave height measurement sensors, a method of measuring liquid vibration in a TLD using a laser Doppler vibrometer(LDV) and galvanometer scanner is proposed in this paper: the principle of measuring speed and displacement is discussed; a system of multi-point measurement with a single point of LDV according to the operating principles of the galvanometer scanner is established. 4-point liquid vibration on the TLD is measured, and the time domain data of each point is compared with the conventional video sensing data. It was confirmed that the waveform is transformed into the traveling wave and the standing wave. In addition, the data with measurement delay are cross-correlated to perform singular value decomposition. The natural frequencies and mode shapes are compared using theoretical and video sensing results.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.4
• /
• pp.483-488
• /
• 2015

This paper implements a long-term monitoring system (LMS) for ship's engine performance analysis (SEPA) based on the web, for the purpose of the communication speed and engine maintenance. This system is composed of a simulator, monitoring module with a multi channel A/D converter, monitoring computer, network attached storage (NAS), RS485 serial and wireless internet communication system. The existing products monitor the information transmitted from pressure sensors installed in the upper parts of each of engines in the local or web computer, but have a delay in the communication speed and errors in long-term monitoring due to the large volume of sampling pressure data. To improve these problems, the monitoring computer saves the sampling pressure data received from the pressure sensors in NAS, monitors the long-term sampling data generated by the sectional down sampling method on a local computer, and transmits them to the web for long-term monitoring. Because this method has one tenth of the original sampling data, it will use memory with small capacity, save communication cost, monitor the long-term sampling data for 30 days, and as a result, make a great contribution to engine maintenance.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.70-74
• /
• 1999

발전소 시뮬레이션 시스템 기술은 종합적인 지식을 바탕으로 자료수집 및 분석, 소프트웨어 개발 환경, 수학적 모델, 전산기 구성, 각종 계기류 설계 및 구매 장착 등의 노하우를 알아야만 제작할 수 있는 종합적인 기술이다. 또 지시기반의 기술이며 부가가치가 높은 기술이기 때문에 선진 각국에서는 계측제어 시스템의 기술개발 및 시장 확대를 위하여 힘을 쓰는 동시에 타국으로의 기술정보 유출을 경계하는데 신경을 곤두세우고 있다. 현재 복잡화되어 가고 있는 산업 사회의 전력 수요에 대한 대폭적인 증가 추세에 따라 발전소에서는 보다 효율적이며 합리적이고 경제적인 전력 공급을 위해서 전력 생산에 대한 신뢰성 향상 및 안정성 확보는 물론, 효율성 높은 운전이 절실히 요구되고 있다. 한편, 국내의 시뮬레이션 시스템 분야 기술은 아직도 완벽한 수준에는 미치지 못하며, 이 분야의 기술력 확보 및 신기술 개발은 향후 미래의 모든 시스템산업의 성쇄를 판가름하는 아주 중요한 척도가 될 것이다. 이 중에서 접지 분야는 고전압 혼촉에 의한 저압측 선로의 전압상승 방지, 모선(Bus)이나 전력 기기의 절연보호 및 회로전압의 안정등으로 시스템 성능을 한층 증가 시켜줄 뿐아니라 기기의 오동작이나 낙뇌등으로 인명피해 발생을 없애주는 아주 중요한 분야임에도 불구하고 이 분야의 국내 관련법규등이 미비한 사항이다. 그래서 발전소 분산제어 시스템분야의 장기간 신뢰성 및 안정성을 가지고 있고, 국내에서 많이 사용하는 미국 Bailey의 infi-90 및 독일 ABB의 Procontrol-P를 비교 분석하여 발전소 시뮬레이션 시스템의 접지에 응용 하고져 한다.상호 발생기를 이용한 다양한 시스템 검증 및 분석에 이용할 수 있을 것이다. 본 논문은 가상호 발생기의 구조와 최대 용량 시험 방법을 소개하고, 더 나아가 호 Traffic에 대한 최대 용량 시험뿐 아니라 QoS를 향상시키기 위한 교환 시스템의 제반 성능 시험 및 분석에 이를 이용하기 위해 개선이 필요함을 서술하고자 한다.textrm{m}$~3.4$\mu\textrm{m}$ 범위에서의 투과 및 흡수 스펙트럼을 측정하였다. 결정 성장 결과 B3+, Er3+, Cr3+ 이온은 Ti4+ 이온과 이온의 크기 차이가 심하여 결정의 정상적인 성장을 방해하는 물성을 나타냈고, V5+, Cr3+ 이온은 흑색의 결정, Fe3+ 이온은 적갈색의 결정으로 성장되었다. Al3+, Zr4+, Al3+의 순서로 투과도가 높아지는 것이 관찰되었다. 불순이온의 농도에 따른 영향으로서 Al3+ 이온의 경우 주입농도가 높아질수록 low angle boundary와 oxygen deficiency가 감소하였고, 투과율은 조금 감소하거나 큰 차이가 없는 것으로 나타났다. 반면에 Cr3+ 이온을 주입한 경우 0.003 atomic%에서 최적의 물성을 보였으며, 주입농도가 높아질수록 결정성장이 어려워지고 광의 투과도가 급격히 저하되었다.은 1.3을 나타내었다.로 보인다.하면 수평축과 수직축의 분산 장벽의 비에 따라 cluster의 두께비가 달라지는 성장을 볼 수 있었고, 한 축 방향으로의 팔 넓이는 fcc(100) 표면의 경우 동일한 Ed+Ep값에 대응하는 팔 넓이와 거의 동일한 결과가 나타나는 것을 볼 수 있다. 따라서 이러한 비대칭적인

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.4
• /
• pp.145-152
• /
• 2009

Domestic Kori-1 MCR was partially modified in 2007 and will be renovated entirely in 2013. Digital devices partially replacing original analog devices have been introduced and standard alone computer systems such as SPDS have been integrated into the plant computer. Upgrading KSNP's MCR based on the ditalization is planned for 2015. However, the site engineers and operators are reluctant to the advanced systems. Therefore, a prototype for the KSNP's advanced MCR has been developed to increase the acceptance level of the operators and field engineers and also, to evaluate user interfaces and I&C architecture. For enhancing support of the operators' work, a P&ID based display system composed of multi-layers, which are linked through a context sensitive menu each other, has been adopted. The $1^{st}$ layer displays a simplified P&ID, the $2^{nd}$ layer control related diagrams such as controllers and logic diagrams, the $3^{rd}$ layer trends, etc. The end point view of MCR for KSNP is also suggested considering reliability and operability of the digital systems. Additionally, modernization strategies over the overhaul periods, that do not have much impact on operation and configuration efforts are suggested.