• 한국컴퓨터정보학회논문지
• /
• 제27권12호
• /
• pp.141-149
• /
• 2022

본 연구에서는 공공 CCTV 함체 관리를 위한 블록체인 기반 함체기록 관리 시스템을 설계하였다. CCTV 영상 기록은 함체를 거쳐 관제센터까지 전송되기 때문에 영상기록의 변조 및 훼손 방지를 위한 함체 관리가 매우 중요하다. 최근 CCTV 함체 관리를 위해 실시간 원격 모니터링 및 개폐 상태 관리 기능을 갖춘 스마트 함체 모니터링 시스템을 사용하고 있으나 CCTV 영상기록의 안전성 확보에는 한계가 있다. 우리가 제안한 시스템은 함체기록을 블록체인에 분산 저장하여 해시값 비교를 통해 위조를 탐지하고 위조된 함체기록을 복구할 수 있다. 또한 관리서버가 수신하는 함체기록의 무결성을 확인할 수 있도록 무결성 검증 API를 제공하여 함체기록의 무결성을 보장한다. 제안 시스템의 효용성을 검증하기 위해 실험을 통해 무결성 검증 정확도와 소요시간을 측정하였다. 실험 결과 함체기록의 무결성(정확도: 100%)을 확인하였고, 검증 소요시간(평균: 73ms)이 모니터링에 영향을 미치지 않을 것으로 확인하였다.

• International Journal of Safety
• /
• 제3권1호
• /
• pp.53-58
• /
• 2004

SMART-P is a promising advanced small and medium category nuclear power reactor. It is an integral type reactor with a sensible mixture of new innovative design features and proven technologies aimed at achieving a highly enhanced safety and improved economics. The enhancement of the safety and reliability is realized by incorporating inherent safety improving features and reliable passive safety systems. The improvement in the economics is achieved through a system simplification, and component modularization. Preliminary safety analyses on selected limiting accidents confirm that the inherent safety improving design characteristics and the safety system of SMART-P ensure the reactor's safety. SMART-P is an advanced integral pressurized water reactor. The purpose of this study is for the safety analysis of the steam generator module pipe break for the SMART-P. The integrity of the fuel rod is the major criteria of this analysis. As a result of this analysis, the safety of the RCS and the secondary system is guaranteed against the module pipe break of a steam generator of the SMART-P.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제54권7호
• /
• pp.309-316
• /
• 2005

In this paper we analyzed a dangerous failure and a safety requirement based on HIA (Hazard Identification and Analysis) of an interface model between CTC (Centralized Traffic Control) system and El (Interlocking) system, and assigned SU (Safety Integrity Level) by way of an risk estimation of the interface, which employed PHA (Preliminary Hazard Analysis) for the interface of the track control system, being managed as separated system between the centralized traffic control system and the interlocking system, An estimation which satisfies a safety reference of the international standard has been achieved through a quantification of the system failure rate and the dangerous failure rate of the interface model.

• 전기학회논문지P
• /
• 제65권4호
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

• 산업공학
• /
• 제25권4호
• /
• pp.422-430
• /
• 2012

In this article, we introduced the estimation method by 'Safety Integrity Level'(SIL) for the criterion of safety assurance and performed a case study on a flame scanner. SIL requires probabilistic evaluation of each set of equipment used to reduce risk in a safety related system. FMEDA(Failure Modes, Effects and Diagnostic Analysis) method is widely used to evaluate the safety levels and provides information on the failure rates and failure mode distributions necessary to calculate a diagnostic coverage factor for a part or a component. Basically, two parameters resulting from FMEDA are used for SIL classification of the device : SFF(Safe Failure Fraction) and PFD(Probability of Failure on Demand). In this case study, it is concluded that the flame scanner is designed to fulfill the condition of SIL 3 in the aspect of SFF and PFD.

• 한국안전학회지
• /
• 제29권3호
• /
• pp.136-142
• /
• 2014

Recently a new version of PRO-LOCA program was released. Using the program, failure probability of pipes can be evaluated considering fatigue and/or stress corrosion crack growth and the effects of various parameters on the integrity of pipes in nuclear power plants can be evaluated quantitatively. The analysis results can be used to establish an inspection plan and to examine the effects of important parameters in a maintenance plan. In this study, sensitivity analyses were performed using the program for several important parameters including sampling method, initial crack size, number of initial fabrication flaws, operation temperature, inspection interval, operation temperature and nominal applied bending stress. The effect of parameters on the leak and rupture probability of pipes was evaluated due to fatigue or stress corrosion crack growth.

• 시스템엔지니어링학술지
• /
• 제17권2호
• /
• pp.114-121
• /
• 2021

Today, it is a time when self-help efforts are being made to increase the demand for international certification by domestic and foreign railway orderers and develop excellent railway systems for railway system and railway construction projects. Since 2011, cases of obtaining international certification related to the domestic railway system/products have been collected and analyzed through literature and Internet data and based on the analysis results, evaluation results on the acquisition of international certification in Korea are presented. Through these results, the government, research institutes, and industries will be practical reference materials for international certification-related work.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1393-1403
• /
• 1999

공간 데이타베이스 시스템을 통하여 공유되는 공간 데이타는 무결성이 적절하게 유지되지 않는 한 전체 응용 시스템의 행위를 예측할 수 없게 되므로 데이타의 무결성 확인 및 유지는 필수적이다. 특히 공공 GIS에 저장된 공간 데이타는 토지 이용도 평가, 도시 계획, 자원 관리, 시설물 관리, 안전 관리, 국방 등 국가 전체 및 지역의 중요한 정책 결정을 위한 다양한 응용 시스템들에 의해 이용되므로 적절한 공간 객체의 무결성 확인이 더욱 더 필요하다. 본 논문에서는 능동(active) DBMS의 능동 규칙(active rule) 기법을 이용하여 공간 객체의 무결성 확인을 지원하기 위한 규칙 관리 시스템을 제시한다. 능동 규칙을 이용한 공간 객체의 무결성 확인은 응용 프로그래머를 무결성 확인에 대한 부담으로부터 자유롭게 할 수 있다. 본 시스템은 특정 DBMS에 종속되지 않는 독립적인 외부 시스템으로 존재하며, 능동 규칙 관리기, 규칙 베이스, 그리고 활성규칙 생성기의 3 부분으로 구성된다. 사용자가 공간 데이타베이스 응용 프로그램을 통해 공간 객체를 조작하고자 할 때, 본 시스템은 데이타베이스 트랜잭션을 단위로 조작되는 모든 공간 객체의 무결성 확인을 위해 응용 프로그램에 삽입될 무결성 제약조건 규칙들을 효율적으로 관리하는 역할을 한다.Abstract It is necessary that the integrity of spatial data shared through the spatial database system is validated and appropriately maintained, otherwise the activity of whole application system is unpredictable. Specially, the integrity of spatial data stored in public GIS has to be validated, because those data are used by various applications which make a decision on an important policy of the region and/or whole nation such as evaluation of land use, city planning, resource management, facility management, risk management/safety supervision, national defense. In this paper, we propose rule management system to support validating the integrity of spatial object, using the technique of active rule technique from active DBMS. Validating data integrity using active rules allows database application programmer to be free from a burden on validation of the data integrity. This system is an independent, external system that is not subject to specific DBMS and consists of three parts, which are the active rule manager, the rule base, and the triggered rule generator. When an user tries to manipulate spatial objects through a spatial database application program, this system serves to efficiently manage integrity rules to be inserted into the application program to validate the integrity constraints of all the spatial objects manipulated by database transactions.

• 한국산학기술학회논문지
• /
• 제20권8호
• /
• pp.23-28
• /
• 2019

본 연구에서는 선박 및 해양플랜트에 사용되어지는 유체기기에 관하여 공동에 의한 손상을 줄이기 위해 표면 금속코팅을 적용할 경우 구조건전성을 평가하고 효율개선을 위한 수치해석적 결과에 대해 기술하였다. 소재 경량화 및 표면 코팅을 통해 날개 두께 등이 얇아지더라도 구조 강도와 성능이 확보됨을 간접적으로 입증하기 위해 코팅 하지 않은 경우, 코팅 후 동일 두께, 코팅 후 두께 3% 경량화 그리고, 코팅 후 두께 5% 경량화 것의 4 가지 모델에 대해 코팅의 유효성을 해석적 방법으로 평가하였다. 코팅 전 후 및 두께를 3% 줄여 무게를 경량화한 경우에 대해 구조해석을 수행한 결과, 응력은 7% 증가하였고 안전율은 2.7%로 나타났으며 기준 안전율인 1보다 큰 값이 도출되었다. 코팅 전 후및 두께를 5% 줄여 무게를 경량화한 경우에 대해 구조해석을 수행한 결과, 응력은 12%까지 증가하였고 안전율은 0.99%로 나타났으며 0.1% 정도 차이로 안전율이 확보되지 않음에 따라 구조건전성이 부족한 것으로 나타났다. 하지만 부족한 안전율은 좀 더 좋은 소재를 선정하거나 코팅두께를 현재보다 두껍게 한다면 충분한 안전율을 확보할 수 있다고 판단된다. 최종적으로 코팅을 함으로 인해 구조건전성이 개선되는 것을 확인하였고, 5% 경량화한 경우에도 코팅의 효과로 인해 충분히 구조건전성이 확보될 수 있음을 확인하였다.

• 한국안전학회지
• /
• 제28권6호
• /
• pp.42-48
• /
• 2013

Forensic engineering is the application of engineering principles covering the investigation of constructed facilities and systems that fail to perform as intended, causing personal injury or damage to property, environmental, economy etc. In the year 2012, two collapsed accidents of the large scaffolding system in national thermal power station occurred one after another, causing many casualties. In this study, we had performed to investigate the collapsed accident of scaffolding system occurred in the a thermal power station of two accidents. First, the investigation about the collapsed accidents site had performed to understand collapsed state and structures of the scaffolding system. Second, reviewing the materials concerning about the applied weight on the scaffolding system had performed. The applied weight is sum of the weights of the 15 workers, additional materials for coating work and dispersed and loaded shot ball on the foothold etc. the applied weight that calculated exceed more three times than the safe working load. Third, we had confirmed the install state of the materials of the scaffolding system by reviewing the quantity of the materials on the manual and the real system. Last, structural analysis had performed to evaluate structural integrity of the scaffolding system using Ansys. Through a series of this processes, the definite accidents causes of the collapsed scaffolding system revealed. Through these studies, the collapse accident that may occur in the scaffolding system in thermal power station can be minimized by performing specialized and systematic investigation on the accidents in terms of Forensic engineering.