• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.140.2-140
• /
• 1999

• Proceedings of the Korean Geotechical Society Conference
• /
• 2008.03a
• /
• pp.1095-1099
• /
• 2008

Critical state theory involves two state boundary surface. One is Roscoe surface and the other is Hvorslev surface. The shape of these boundary surface was changed because of several parameters : Critical state constant(M), spacing ratio (r) and critical state pore pressure coefficient($\wedge$). As these constants make difference to each model and the way of solution, they may affect the shape of state boundary surface. Specially, spacing ratio (r) is important. On this study, triaxial compression test was performed using remolded weathered mudstone soil and investigated variation of state boundary surface because of spacing ratio. In the results of prediction, critical state point was located highly and the shape of boundary surface was changed more tightly curve as decreasing spacing ratio.

• The Journal of Engineering Geology
• /
• v.18 no.3
• /
• pp.339-347
• /
• 2008

This study was carried out to assess quantitatively the safety of a tunnel by using critical strains in the ground. Critical strain is a new material property of the ground. It can be applied as deformation limits in the ground due to excavation using the measured displacement at the tunnel construction site. To achieve this purpose, the critical strain concept was reviewed and applied to assess the tunnel safety. First of all, the calculated excavation displacements of a circular tunnel by commercial programs were investigated and inputted into a feedback analysis module to calculate strains in the ground. Then the safety of tunnels was evaluated based on the critical strain concept. Subsequently the measured displacements obtained in the field are utilized practically to assess the safety of tunnels using the critical strain concept. Through this study, it was confirmed that the critical strain concept is useful to assess the safety of tunnels quantitatively.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.11
• /
• pp.1180-1188
• /
• 2008

As many systems depend on electronics, concern for fault tolerance is growing rapidly in the safety critical system such as intelligent vehicle. In order to make system fault tolerant, there has been a body of research mainly from aerospace field including predictive hybrid redundancy by Lee. Although the predictive hybrid redundancy has the fault tolerant mechanism to satisfy the fault tolerant requirement of safety crucial system such as x-by-wire system, it suffers form the variability of prediction performance according to the input feature of system. As an alternative to the prediction method of predictive hybrid redundancy for robust fault tolerant, Kalman prediction has attracted some attention because of its well-known and often-used with its structure called Kalman hybrid redundancy. In addition, several numerical simulation results are given where the Kalman hybrid redundancy outperforms with predictive smoothing voter.

• Nuclear Engineering and Technology
• /
• v.52 no.3
• /
• pp.560-567
• /
• 2020

The complexity of safety critical systems of Nuclear Power Plant continues to increase rapidly due its transition from analog to digital systems. It has thus become progressively more imperative to model these systems prior to their implementation in order to meet the high performance, safety and reliability requirements. Timed Petri Nets (TPNs) have been widely used to model such systems for non-functional analysis. The paper presents a novel methodology for the analysis of the performance metrics using PN modeling. The paper uses the isomorphism property of the TPNs and the Markov chains for the performance analysis of the safety critical systems. The presented methodology has been validated on a Shutdown System of a Nuclear Power Plant.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1201-1202
• /
• 2007

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and introduces the framework for the software lifecycle. The licensing procedure for the railway software is also reviewed.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• Journal of the Korean Society of Safety
• /
• v.21 no.5 s.77
• /
• pp.1-5
• /
• 2006

This study provides a basic data necessary to design a facility of smoke management after calculating the critical velocity of the gradient scale model tunnel and reviewing its adequacy to establish an optimum disaster prevention system for a road tunnel at fire. The experiment is carried out by using Froude scaling to a scale model which is about 1/29 as big as the real tunnel, and its critical velocity calculation is calculated to the 0-2% gradient of the tunnel. The result shows that the higher the gradient is, the stronger the critical velocity, but that it doesn't affect the critical velocity so much when the gradient is less 2%. In addition, this result is studied in comparison with the results done by other researchers to review the adequacy of the critical velocity.

• Nuclear Engineering and Technology
• /
• v.33 no.6
• /
• pp.596-604
• /
• 2001

This paper quantitatively presents the effects of important factors of the probabilistic safety assessment (PSA) of safety-critical digital systems. The result which is quantified using fault tree analysis methodology shows that these factors remarkably affect the system safety. In this paper we list the factors which should be represented by the model for PSA. Based on the PSA experience, we select three important factors which are expected to dominate the system unavailability. They are the avoidance of common cause failure, the coverage of fault tolerant mechanisms and software failure probability. We Quantitatively demonstrate the effect of these three factors. The broader usage of digital equipment in nuclear power plants gives rise to the safety problems. Even though conventional PSA methods are immature for applying to microprocessor-based digital systems, practical needs force us to apply it because the result of PSA plays an important role in proving the safety of a designed system. We expect the analysis result to provide valuable feedback to the designers of digital safety- critical systems.