• Nuclear Engineering and Technology
• /
• v.41 no.8
• /
• pp.1065-1072
• /
• 2009

As the use of software increases at nuclear power plants (NPPs), the necessity for including software reliability and/or safety into the NPP Probabilistic Safety Assessment (PSA) rises. This work proposes an application procedure of software reliability growth models (RGMs), which are most widely used to quantify software reliability, to NPP PSA. Through the proposed procedure, it can be determined if a software reliability growth model can be applied to the NPP PSA before its real application. The procedure proposed in this work is expected to be very helpful for incorporating software into NPP PSA.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.2056-2062
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection supporting tool. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• Journal of Software Engineering Society
• /
• v.29 no.1
• /
• pp.7-12
• /
• 2020

As interest in functional safety has recently increased, application of functional safety standards has been required in various industrial fields. A functional safety standard is a document that defines functional safety-related activities required to prevent system malfunctions. All activities defined in this standard are required differentially according to the classification results calculated through the risk analysis and assessment of the system. In the field of domestic weapon systems, there is a manual for the development and management of weapon system software issued by the Defense Acquisition Program Administration (DAPA ). This manual requires static and dynamic analysis of software for functional safety related activities. However, the manual does not specifically address the classification activity through risk analysis and assessment as required for the preceding activities. Therefore, in this study, we analyze the problems of the manual based on the representative functional safety standards, and propose improvement plans.

• Proceedings of the KIEE Conference
• /
• 2007.10c
• /
• pp.232-234
• /
• 2007

In this paper, the safety criteria and framework of railway software which is developing presently is examined. The software development capability and organization of railway company in korea are investigated through interview and are analyzed. Then the application plan for railway software safety criteria is deduced to apply criteria to railway industry effectively.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.659-664
• /
• 2008

The Railroad Safety Act's regulation reads as follows. "The Minister of Construction and Transportation may qualify and authorize the product to guarantee performance and safety of parts, machine, and device used in Railway fields." Another regulation reads as follows."“The guidelines about targets, standards, and procedures of Quality and Authority in first provision are decided as Ministry of Construction and Transportation Decree." The software used in rail cars and facilities is considered as a railway product. Therefore, it is qualified and authorized for acquiring the safety of rail cars and facilities. The software businesses shall again a Quality and Authority for applying a software to the rail cars and facilities. This paper regulates some guidelines that are needed to develop a software. The procedures that a software developer performs are divided by plan, requirement, design, implementation, and maintenance. The procedures that a software verification person performs are classified by verification plan, requirement verification, design verification, implementation verification, testing verification, maintenance verification, and safety activity. The entire processes and detailed activities to develope and verify a software are described as new guidelines.

• Journal of Advanced Navigation Technology
• /
• v.15 no.5
• /
• pp.687-695
• /
• 2011

The defect caused by the software industry that is the source of knowledge-centric, information-centric and technology-centric affects an engine which operate a major role for operation of aircraft. Therefore, we should minimize the danger from the defect by strengthening the stability of aviation through the stability analysis of software. In this paper, we examine the laws and systems about the aircraft defects and software safety and propose the enhancement and the enactment of the law or measures to strengthen aviation safety. We should the existing law or system as items, such as the revision related to the safety analysis, standards of quality assurance including safety, application of quality assurance that you must attach the safety analysis report, assessment of detailed instructions of certification authorities. In addition, we should enact the new law and system as items such as the mandatory software evaluation and certification, continuous assessment based on the software life cycle, mandatory introduction of a standardized development methodology, strengthening of advanced workforce system. We can expect the improvement of software quality and an enhanced aviation safety by improving existing laws or systems and enacting new laws or systems.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.37 no.12
• /
• pp.1175-1183
• /
• 2013

Even if some CFD software developers and its users think that a state-of-the-art CFD software can be used to reasonably solve at least single-phase nuclear reactor safety problems, there remain limitations and uncertainties in the calculation result. From a regulatory perspective, the Korea Institute of Nuclear Safety (KINS) is presently conducting the performance assessment of commercial CFD software for nuclear reactor safety problems. In this study, to examine the prediction performance of commercial CFD software with the porous model in the analysis of the scale-down APR (Advanced Power Reactor Plus) internal flow, a simulation was conducted with the on-board numerical models in ANSYS CFX R.14 and FLUENT R.14. It was concluded that depending on the CFD software, the internal flow distribution of the scale-down APR was locally somewhat different. Although there was a limitation in estimating the prediction performance of the commercial CFD software owing to the limited amount of measured data, CFX R.14 showed more reasonable prediction results in comparison with FLUENT R.14. Meanwhile, owing to the difference in discretization methodology, FLUENT R.14 required more computational memory than CFX R.14 for the same grid system. Therefore, the CFD software suitable to the available computational resource should be selected for massively parallel computations.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.6
• /
• pp.278-283
• /
• 2024

When implementing software, there can be side effects that pose a threat to human life. Therefore, it is necessary to measure the impact of software on safety and create alternatives to mitigate and prevent threats. To conduct a software safety assessment to measure the impact of threat factors, the following components are necessary. This paper aims to classify the threat factors of software into internal and external factors and quantitatively demonstrate the impact of these threat factors.

• Proceedings of the Safety Management and Science Conference
• /
• 2001.05a
• /
• pp.167-171
• /
• 2001

In this paper, the QFD(quality function deployment) technique is used to acquire the quality requirements of package software which is sold in a commercial software shop. To select the principal quality characteristics of package software, an user survey was conducted for a quality model developed based on the international standards and the previous research. The software user is divided into three groups：the general user, the expert, and the developer. The method of QFD is applied to choose the software quality attributes which have strong correlation with the selected quality characteristics.

• Journal of the Korea Safety Management & Science
• /
• v.3 no.3
• /
• pp.213-220
• /
• 2001

This paper presents the interrelationship between software quality character and engineering attributes. The software quality characteristics and subcharacteristics are excerpted from IS0/IEC 9126 standards, and the engineering attributes are from Deutsch and Willis〔4〕. Based on the previous studies a subjective judgement, trisected interrelationship(strong, medium, weak) bet these two groups are derived. The results are summarized in a table, and can be used as a quick reference guide to the software quality engineering application such as quality evaluations for software products, selection of key engineering attributes for high-quality software production, and so forth.