• Journal of Advanced Navigation Technology
• /
• v.20 no.4
• /
• pp.285-291
• /
• 2016

Safety assessment is an essential activity for developing a system in the CNS/ATM domain. Up to now, there are many reference materials, but there is nothing that definitely specifies what to do and how to apply in the CNS/ATM. Another problem is that software assurance level has to be determined for a software under development. But there is nothing that defines a determination scheme of software assurance level. To solve these problems, this paper proposes a method to conduct a hazard assessment based on target level of safety defined in ICAO Doc 9689. To be applied generally in CNS/ATM domain, it mathematically defines procedures of hazard assessment. And it defines severity classification, probability, and safety objective of a system, which are necessary for hazard assessment, and it describes a method to apply event tree analysis process in order to conduct a hazard assessment.

• Nuclear Engineering and Technology
• /
• v.38 no.3
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.10
• /
• pp.888-895
• /
• 2015

This paper shows an approximate equation which calculates a flapping angle of blade for verification of KUH safety area. The flapping behavior of blade must be reviewed in an aspect of safety because of a collision possibility with airframe. However, it is difficult to measure an exact flapping angle during flight. A prediction equation of a coning angle is derived from aeromechanics and that of a dynamic flapping angle is derived from analysis results in development phase, respectively. Following, the equations are verified by comparison the flapping angle through an aircraft simulation test to a calculation. Finally, the safety area, which was established in development phase, is verified by calculating a flapping angle during the flight which is required by the terms of safety based on AC29 and FAR29.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.8
• /
• pp.5342-5348
• /
• 2014

Slope stability analyses were conducted to investigate the limitations of application of the standard inclination of slope and the effects of the berm width on the slope stability. The standard slope inclination could be applied to the basic slope sections that were considered for the analyses, whereas additional slope stability analysis should be performed for the case of considering ground water. A comparison of the factors of safety between the case of installing a berm and the case of letting the grading have an equivalent section area with the case of installing the berm, the factors of safety in the case of installing a berm were greater than those for the case of allowing grading, and the differences between the factors of safety increase with increasing berm width. For all the sections considered in the analyses, the increments of the safety factor were proportional to the width of the berm and those corresponding to the embankment slope and cut slope with a berm width of 7m were 34.5% and 48%, respectively.

• Journal of Digital Convergence
• /
• v.11 no.11
• /
• pp.29-36
• /
• 2013

To accommodate the rapid growth of e-commerce transactions, non-face-to-face transactions, businesses use a wide variety of payment methods. However, many of these payment mediums are not secure as shown by increases in fraudulent transactions. In this paper, we analyze a particular e-commerce transaction medium, the Safety Transaction Service (STS). This system protects consumers through a wide variety of safeguards: safety settlement systems (escrow), consumer damage compensation insurance, payment guarantee, and secure bank settlement. In contrast to the safeguards, we identify the limitations and concerns with the STS and potential legal and political improvements. The plethora of payment methods limits the consumers ability to distinguish between the secured and unsecured transaction services. Regulation and consumer based verification of transaction services are essential to root out dangerously fraudulent systems. We propose the development of specific standards to these systems, in particular the need for consumer confirmation and clear settlement documentation. Only through the active promotion of scrutiny and improvement to STS will consumers be protected in e-commerce.

• Nuclear Engineering and Technology
• /
• v.36 no.6
• /
• pp.528-539
• /
• 2004

It is essential in commercial reactors that the safety limits imposed on the fuel pellets and fuel clad barriers, such as the linear power density (LPD) and the departure from nucleate boiling ratio (DNBR), are not violated during reactor operations. In order to accurately monitor the safety limits of current reactor states, a detailed three-dimensional (3D) core power distribution should be estimated from the in-core detector signals. In this paper, we propose a calculation methodology for detailed 3D core power distribution, using in-core detector signals and core monitoring constants such as the 3D Coupling Coefficients (3DCC), node power fraction, and pin-to-node factors. Also, the calculation method for several core safety parameters is introduced. The core monitoring constants for the real core state are promptly provided by the core design code and on-line MASTER (Multi-purpose Analyzer for Static and Transient Effects of Reactors), coupled with the core monitoring program. through the plant computer, core state variables, which include reactor thermal power, control rod bank position, boron concentration, inlet moderator temperature, and flow rate, are supplied as input data for MASTER. MASTER performs the core calculation based on the neutron balance equation and generates several core monitoring constants corresponding to the real core state in addition to the expected core power distribution. The accuracy of the developed method is verified through a comparison with the current CECOR method. Because in all the verification calculation cases the proposed method shows a more conservative value than the best estimated value and a less conservative one than the current CECOR and COLSS methods, it is also confirmed that this method secures a greater operating margin through the simulation of the YGN-3 Cycle-1 core from the viewpoint of the power peaking factor for the LPD and the pseudo hot pin axial power distribution for the DNBR calculation.

• Journal of the Korean Institute of Gas
• /
• v.12 no.2
• /
• pp.99-104
• /
• 2008

Gas pressure regulators in pressure regulating station reduce high-pressure gas in a process line to a lower. Gas pressure regulators are not flow control devices, they are used to control delivery pressure only. For the safety of pressure regulating station, it is essential to study flow regime and characteristics of a safety valves that is connected to a pressure regulator. For this, it is necessary to understand flow characteristics and the flow rate of upstream component part such as gas pressure regulators in regulating station. In the present study, numerical analysis of flow characteristics and the mass flow rate of a pressure regulator is conducted under the several inlet, outlet conditions and open rates. Then, the numerical result of the mass flow rate is verified with experimental equation from manufacture of pressure regulator. Consequently, the numerical result is comparatively good agreement with values from experimental equation.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.6
• /
• pp.83-89
• /
• 2021

With the recent development of information and communication technology, there have been many attempts to apply various IT technologies in the railway field. Until now, the safety control system has been installed at the site and operated using actual data, but there is a problem that it is difficult to verify the function of the railway safety control system in that no accidents occur in real situations. In this study, accident data is generated randomly to verify that the safety control system is functioning properly, and to this end, simulation data is prepared according to the simulator, accident scenario and scenario. Real-time railway safety monitoring system collects and transmits data from interface devices to common protocol called DDS.

• Journal of Advanced Navigation Technology
• /
• v.26 no.2
• /
• pp.47-53
• /
• 2022

With the recent development of defense technology, various aircraft armaments/equipments are being developed. Among them, cruise guided weapons(missile) for launching aircraft can be installed on aircraft aftersecuring reliability and safety through varioustests. In order to avoid collision with aircraft, missile separated from aircraft must release restraint of wing at the specified time, control wing in the specified direction. In order to confirm this, a test system that can control MIL-STD-1760 according to safety separation procedure and verify release performance is required. test system needs a function to check circuit for release of restraints and a function to check driving performance by controlling MIL-STD-1760. In addition, test system should be simulate environment separated from aircraft. This paper presented a testsystemthat can verify circuit and driving performance mounted on missile according to the safety separation procedure, and it was confirmed that it was normally separated from aircraft through flight tests.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.55 no.2
• /
• pp.218-223
• /
• 2022

Cholesterol is an essential component for maintaining health; however, excessive consumption can lead to diseases. Thus, continuous monitoring of cholesterol content is important in food research. The cholesterol analysis method used in Korea follows the Korean Food Standards Codex. As this method uses gas chromatography, derivatization of the sample is required, and analysis time is more than 30 min. Kim developed a new method using liquid chromatography; however saponification by the non-heat saponification method is insufficient. To address these limitations, a new cholesterol analysis method was developed and verified. The correlation coefficients for the cholesterol standard (STD) were maintained above 0.99. The limit of detection and limit of quantitation of cholesterol STD were 2.41 ㎍/mL and 7.31 ㎍/mL, respectively. The accuracies for cholesterol were 92.21-99.02%. The developed analytical method was also verified using three standard reference materials, and their accuracies were 93.71-97.09%. In addition, the cholesterol content of fishes was analyzed, and the values were compared with those recorded by the United States Department of Agriculture. Our results suggest that this method could be used as a new analytical method for cholesterol in seafood.