• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.120-133
• /
• 2000

Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in an abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence of software, difficulty and complexity in using them can cause another hazard. In order to overcome this obstruction, we propose a framework for qualitative requirements engineering of the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the requirements based on a causality information, called CRSA (Causal Requirements Safety Analysis). QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the cognitive burden of designers when specifying and validating the software requirements of hybrid safety systems. CRSA can evaluate the logical contribution of the software elements to the physical hazard of systems by utilizing the causality information that is kept during specification by QFM. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, we demonstrate the effectiveness of our approach.

• Proceedings of the KSR Conference
• /
• 2005.11a
• /
• pp.982-989
• /
• 2005

Safety of the Train Control System become more important along with the progress of the computer and the technology of communications in these days. Safety of the Train Traffic Control System needs an accurate analysis of the Hazard to reduce losses of a property and lives. Many of advanced railroad nations already had established safety standards when they set the system even considering scrap of railroad and put a great concern on developing safety system which is getting larger and more complicate. Domestic railroad system has to introduce improved technology and systematically prepare and make a scientific survey to achieve unparalleled reliability and safety as well. In this Study, ITCC CTC System will show the research and the analysis of the hazard to ensure the safety of software.

• Journal of the Korean Society for Railway
• /
• v.12 no.4
• /
• pp.450-456
• /
• 2009

In accordance with the development of recent computer technology, the dependency of railway signaling system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of railway signaling system software became more important This thesis suggested automated an analysis tool for S/W metrics on this railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway system, such as IEC61508 and IEC 62279. This automated analysis tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.9
• /
• pp.1379-1384
• /
• 2017

To guarantee safety and reliability, RAMS(Reliability Availability Maintainability and Safety) activity for a communication software in train communication network is studied. In this paper, preliminary hazard analysis in RAMS activities is studied for the communication software. Preliminary hazard analysis is done through library for communication software that the specification is defined by IEC 61375. The hazards are defined, then causes and consequence for each hazard are defined. The total 36 preliminary hazards are classified. For high severity hazards are changed to acceptable level by upgrading of system requirement specification.

• 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.

• Journal of Convergence Society for SMB
• /
• v.2 no.1
• /
• pp.11-18
• /
• 2012

As scale of software has been expanded and complicated, it is difficult to detect hazards which induce functional failure of software. Functional failure of safety-critical system (nuclear power plant, air traffic control systems, railway operating system) could result in a disaster (personal injury, environmental pollution). Therefore, it is necessary to conduct a safety analysis for preventing functional failure and increasing safety of the software. However, there are some reasons (time and effort problem, low knowledge of various safety analysis techniques, selecting conventional technique in company, organization) which disturb selecting an apposite one. This paper presents some traditional safety analysis techniques, recently presented techniques and combined models. We expect that it helps stakeholders to choice adequate one for target system.

• International journal of advanced smart convergence
• /
• v.11 no.4
• /
• pp.266-272
• /
• 2022

Structural stress analysis is performed to confirm the safety of the structures before the construction, and stress analysis is performed to evaluate the safety of various components before the ship or vehicle corresponding to the moving structure is manufactured. In this case, the stress analysis work is performed using the stress analysis software of each company. The results of the stress analysis based on the boundary conditions of the applied loads are analyzed to evaluate the safety of the structure, but the results are difficult to verify because most of the stress analysis software possessed by each company is one. In this paper, we were performed the stress analysis of the bracket applied to the bare chassis of the 30-passenger bus under development is performed by HYPERMESH. In order to verify this, the stress analysis is performed using ANSA/META under the same boundary condition. The stress analysis results of ANSA/META and HYPERMESH showed that they had the same stress distribution and the maximum stress occurred at the same location. Taken together, the results of stress analysis using HYPERMESH were reliable.

• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.1
• /
• pp.21-34
• /
• 2021

The use of Field-Programmable Gate Arrays (FPGAs) in the development of safety-related Human-Machine Interface (HMI) systems has gained much momentum in nuclear applications. Recently, one of the application areas for the Advanced Power Reactor 1400 (APR1400) is in the development of the advanced Component Interface Module (CIM) of the Engineered Safety Features Actuation System (ESFAS). Using systems engineering approach, we have developed a new FPGA-based advanced CIM software. The first step of our software development process involves the Preliminary Hazard Analysis (PHA) based on the previous CIM design. In this paper, we describe the qualitative approach used in performing the preliminary hazard analysis. The paper presents the methodology for applying a modified Hazard and Operability (HAZOP) procedure for the conduct of PHA which resulted in a qualitative risk-ranking scheme that informed the decisions for the safety criteria in the requirements specification phase. The qualitative approach provided the justification for design changes during the advanced CIM software development process.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.10 no.4
• /
• pp.513-519
• /
• 2015

Static analysis is one of the software source code analysis tools. 9 static analysis methods of three groups are recommended by international electro-technical commission about software safety related standard in IEC 62279. In this paper we choose the proper static analysis method from IEC 62279 about the train wayside communication system, Shorten the time of railway signalling software development using LDRA tools. And it wil be useful to improve the effective development of the safety-related software.

• Journal of Positioning, Navigation, and Timing
• /
• v.2 no.1
• /
• pp.33-40
• /
• 2013

In this paper, GPS signal anomaly generation software is proposed which can be used for the analysis of GPS signal anomaly effect and the design, verification, and operation test of anomalous signal monitoring technique. For the implementation of anomalous signal generation technique, anomalous signals are generated using a commercial signal generation simulator, and their effects and characteristics are analyzed. An error model equation is proposed from the result of analysis, and the anomalous signal generation software is constructed based on this equation. The proposed anomalous signal generation software has high scalability so that users can easily utilize and apply, and is economical as the additional cost for purchasing equipment is not necessary. Also, it is capable of anomalous signal generation based on real-time signal by comparing with the commercial signal generation simulator.