• 한국안전학회지
• /
• 제7권1호
• /
• pp.47-56
• /
• 1992

Spontaneous ignition charactenstics for fish meal were observed by performing experiments at constant ambient temperature and varying the ambient temperature sinusoidally. As the results of the experiments at a constant ambient temperature, the critical spontaneous ignition temperature of the sample for large, intermediate and small vessels was 170.5$^{\circ}C$, 177.5$^{\circ}C$ and 188.5$^{\circ}C$, respectively. The critical spontaneous ignition temperature decreased as the sample vessel size increased. Apparent activation energy of used fish meal calculated from the Frank-Kamenetskii's thermal ignition theory was 37.60Kcal/mol. In case of varying the ambient temperature sinusoidally, the amplitudes of temperature were 1$0^{\circ}C$, 2$0^{\circ}C$ and 3$0^{\circ}C$ respectively with the period in each amplitude 1hr, 2hrs and 3hrs. The results showed that the critical spontaneous ignition temperatures at the varied amplitudes of temperature were lower than that at the constant anbient temperature and increased as the amplitude increased. At the same amplitude, the critical spontaneous ignition temperature increased with the period.

• Nuclear Engineering and Technology
• /
• 제55권3호
• /
• pp.1118-1124
• /
• 2023

Experimental study on the fluidelastic instability (FEI) of a curved tube bundle in single phase downward cross flow is investigated for the design qualification and analysis input preparation of helical coiled steam generator tubing. A 6×9 normal square curved tube array with equal and different vertical/horizontal pitch-to-diameter ratio was under-tested up to 6 m/s in term of gap flow velocity to measure the critical velocity for FEI. The critical velocity for FEI was measured at the turning point from the vibration amplitude plot along the gap flow velocity. Our test results were compared with straight tube results and published data in the design guideline. The applicability of the current design guidelines to a curved tube bundle is also assessed. We found that introducing frequency difference in a curved tube array increases the critical velocity for fluidelastic instability.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 춘계 학술발표회 초청강연 및 논문집
• /
• pp.211-219
• /
• 2008

The hazard warning levels are necessary for the rational design and safety construction of underground space, as mountain and urban tunnel. Sakurai provided the hazard warning levels for assessing the stability of tunnels using the critical strain of rock mass, which is defined as a ratio between uni-axial compressive strength and the Young's modulus. The concept of critical strain guidelines is introduced in this study for the assessment of tunnel safety during excavation. Moreover, in this paper, the critical strain properties of sedimentary rock in Korea has investigated and analysed in detail by Lab. test, as the uniaxial compression tests. Finally, critical strain properties of sedimentary rock is discussed the relationship of failure strain values, uniaxial compression strengths and Young's modulus.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 춘계 학술발표회 초청강연 및 논문집
• /
• pp.821-832
• /
• 2008

The hazard warning levels are necessary for the rational design and safety construction of underground space, as mountain and urban tunnel. Sakurai provided the hazard warning levels for assessing the stability of tunnels using the critical strain of rock mass, which is defined as a ratio between uni-axial compressive strength and the Young's modulus. The concept of critical strain guidelines is introduced in this study for the assessment of tunnel safety during excavation. Moreover, in this paper, the critical strain properties of sedimentary rock in Korea has investigated and analysed in detail by Lab. test, as the uniaxial and triaxial compression tests. Finally, critical strain properties of sedimentary rock on uniaxial and triaxial stress condition is discussed the relationship of failure strain values, uniaxial and triaxial compression strengths, confining pressure and Young's modulus.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.587-597
• /
• 2003

일반적으로 C언어는 고신뢰도를 요구하는 소프트웨어에 적합하지 않다고 알려졌음에도 불구하고 적지 않은 수의 안전성이 중요시되는(safety-critical) 시스템들이 C언어로 구현되었거나 C언어를 기반으로 개발되고 있다. 본 연구의 목적은 C언어의 안전한 subset을 정의하고 이 subset 언어로 작성된 프로그램을 SPARK Ada로 변환하여 SPARK의 분석 도구들을 사용해 프로그램의 안전성을 분석하는 데 있다. SPARK은 Ada의 안전한 subset으로 고신뢰도를 요하는 시스템을 구현하는데 성공적으로 사용되어왔다. SPARK으로 변환된 C 프로그램은 SPARK 수준의 안전성을 갖게 되며 SPARK의 분석 도구인 Examiner를 통해 프로그램의 정확성 검증 등의 분석을 할 수 있다. 본 연구에서는 엘리베이터 컨트롤러 사례 연구를 통해 정의한 subset이 현실적인 시스템을 구현하기에 부족하지 않음을 발견하였으며, SPARK Ada로의 변환을 자동화해주는 변환기를 구현하였다.

• 대한안전경영과학회지
• /
• 제15권4호
• /
• pp.37-47
• /
• 2013

Due to the evolution of war fields to the net-centric one, weapon systems have become very complex in terms of both mission capability and implementation scales. In particular, the net-centric war field is characterized by a set of interconnected and independently operable weapon systems. As such, the individual weapon systems are required to meet the interoperability and thus, assuring it has been becoming more crucial even in the early stage of development. Furthermore, the ever-growing complexity of the weapon systems has attracted a great deal of attention on the safety issues in the operation and development of weapon systems. The objective of the study is on how to assure the interoperability for safety-critical weapon systems while maintaining system complexity. To do so, the approach taken in the paper is to consider the interoperability from the early stage of the development. Specifically, the required functions to satisfy the interoperability are developed first. The functions are then analyzed in order to link the safety requirements to the reliability evaluation, which results in the study of quantifying the effects of the safety requirements on the system as a whole. As a result, we have developed a methodology and procedure on how to assure interoperability while applying the safety requirements in the weapon systems development.

• 대한안전경영과학회지
• /
• 제16권4호
• /
• pp.11-19
• /
• 2014

Modern systems development becomes more and more complicated due to the need on the ever-increasing capability of the systems. In addition to the complexity issue, safety concern is also increasing since the malfunctions of the systems under development may result in the accidents in both the test and evaluation phase and the operation phase. Those accidents can cause disastrous damages if explosiveness gets involved therein such as in weapon systems development. The subject of this paper is on how to incorporate safety requirements in the design of safety-critical systems. As an approach, a useful system structure using the method of design structure matrix (DSM) is studied while reflecting the need on systems safety. Specifically, the effects of system components failure are analyzed and numerically modeled first. Also, the system components are identified and their interfaces are represented using a component DSM. Combining the results of the failure analysis and the component DSM leads to a modified DSM. By rearranging the resultant DSM, a modular structure is derived with safety requirements incorporated. As a case study, application of the approach is also discussed in the development of a military UAV plane.

• 대한안전경영과학회지
• /
• 제14권4호
• /
• pp.107-116
• /
• 2012

The issues raised so far in the development of safety-critical systems have centered on how effectively the safety requirements are met in systems design. The systems are becoming more complex due to the increasing demand on the functionality and performance. As such, the integration of both the systems design and systems safety processes becomes more important and at the same time quite difficult to carry out. In this paper, an approach to solving the problem is presented, which is based on an integrated data model. To do so, the data generated from the inputs and outputs of the systems design and systems safety processes are analyzed first. The results of analysis are used to extract common attributes among the data, thereby making it possible to define classes. The classes then become the cores of the interface data model through which the interaction between the two processes under study can be modeled and interpreted. The approach taken has also been applied in a design case to demonstrate its value. It is expected that the results of the study could play a role of the stepping stone in extending to the architecture development of the integrated process.

• 전기학회논문지
• /
• 제59권8호
• /
• pp.1456-1463
• /
• 2010

The safety critical systems in nuclear power plants should be designed to have a high level of fault tolerant capability because those systems are used for protection or mitigation of the postulated accidents of nuclear reactor. Due to increasing of the system complexity of the digital based system in nuclear fields, the reliability of the digital based systems without an auto-test or a self-diagnostic feature is generally lower than those of analog system. To overcome this problem, additional redundant architectures in each redundant channel and self-diagnostic features are commonly integrated into the digital safety systems. The self diagnostic function is a key factor for increasing fault tolerant capabilities in the digital based safety system. This paper presents an availability and safety evaluation model to analyze the effect to the system's fault tolerant capabilities depending on self-diagnostic features when the loss or erroneous behaviors of self-diagnostic function are expected to occur. The analysis result of the proposed model on the several modules of a safety platform shows that the improvement effect on unavailability of each module has generally become smaller than the result of usage of conventional models and the unavailability itself has changed significantly depending on the characteristics of failures or errors of self-diagnostic function.

• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.893-907
• /
• 2017

안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.