• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.2
• /
• pp.81-86
• /
• 2014

In this paper, we states the verification and validation methodology for the modular system of A-SMGCS which defined in the ICAO Manual on Advanced Surface Movement Guidance and Control Systems. Such systems aim to maintain the declared surface movement rate under all weather conditions while maintaining the required level of safety. With the complete concept of an A-SMGCS, air traffic controllers, vehicle drivers, flight crews, and are assisted with surface operations in terms of surveillance, control, routing/planning and guidance tasks. A-SMGCS verification and validation for the development of Real Time Simulation, shadow mode trials, operational trials are conducted through three methods. In this study, the characteristics and the need for such a verification method was examined.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.10
• /
• pp.68-78
• /
• 2016

Safety is the most important factor for train control systems. Model-based design and safety activities for way-side equipment in train control systems are important factors. Model-based architecture verification was carried out to develop an effective control system, which is represented by model-based failure mode and effects analysis (FMEA). An architecture verification method was created based on FMEA to take advantage of a design model and improve the train safety control system. Case studies were applied to architecture verification scenarios, and the results demonstrate the usability of the method. The improved method is expected to reduce the cost and time in the conceptual design for future development of model-based verification train control systems.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1953-1954
• /
• 2008

The excitation system for class 1E has been developed to apply to the nuclear power plant emergency diesel generator by utilizing the existing digital excitation system. The additional mission was to evaluate the excitation system of safety. It is the safety analysis of the excitaton system, the verification test, the aging test, the safety requirement test and so on. The verification test is classified of hardware and software part for detail.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1113-1125
• /
• 2008

In this paper we present a RAMS to be applied to the development of the Urban Maglev Train Signalling System. The RAMS that can be applied to the life cycle of a Signalling system, from the basic design to the dismantlement, shows the whole process of the paper work in detail through the establishment of a goal, analysis and assessment, the verification. In this paper we study about the making a plan, the preliminary hazard analysis, the hazard identification and analysis to guarantee the safety of the Signalling System. The process for the verification of the system safety is divided into several steps based on the target system and the approaching method. The guarantee of the system safety and the improvement of the system reliability is followed by the recommendation of the international standards.

• Journal of Dairy Science and Biotechnology
• /
• v.38 no.4
• /
• pp.237-239
• /
• 2020

Processes that products we consume that contain dairy foods comprise planning → design → production → quality/suitability assessment → safety verification → launch → distribution → consumption. Analysis of nutrients and potential toxins at each stage in the production process is essential to verify food quality, suitability, and safety. Products display ingredient lists and nutrient content to help consumers choose healthy foods. These products should also be fully assessed for microbes and toxins before reaching consumers. Products require verification through test inspections. However, this step has reduced value from a food manufacturer's viewpoint, because it does not visibly impact real economic trends. The most important first step in determining the quality and suitability of products is the inspection capability of food companies.

• Journal of the Korean Society of Safety
• /
• v.35 no.2
• /
• pp.100-110
• /
• 2020

Recently, the frequency of typhoon and torrential rain due to climate change is increasing. In addition, the upsurge in the complexity of urban sewer network and impervious surfaces area aggravates the inland flooding damage. In response to these worsening situations, the central and local governments are conducting R&D tasks related to predict and mitigate the flood risk. Researches on the analysis of inundation in urban areas have been implemented through various ways, and the common features were to evaluate the accuracy and justification of the model by comparing the model results with the actual inundation data. However, the evaluation procesure using available urban flooding data are not consistent, and if there are no quantitative urban inundation data, verification has to be performed by using press releases, public complaints, or photos of inundation occurring through 'CCTV'. Because theses materials are not quantitative, there is a problem of low reliability. Therefore, this study intends to develop a comparative analysis procedure on the quantitative degree and applicability of the verifiable inundation data, and a systematic framework for the performance assessment of urban flood analysis model was proposed. This would contribute to the standardization of the evaluation and verification procedure for urban flooding modelling.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.9
• /
• pp.5802-5809
• /
• 2015

Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

• Journal of the Korean Society of Safety
• /
• v.34 no.1
• /
• pp.108-114
• /
• 2019

Unattended Train operation(UTO) requires higher safety target than other systems, since all train operations are automatic. The system provider to deliver without accident or failure, and the operator to transport passengers without accident by putting all trains supplied, including them, into service. Safety rates without such failures can be represented as indicators of RAMS, among which availability is continuously controllable to achieve the target, with a clear target. Availability is often required by the licensee from the initial stage of the project to demonstrate that the request for proposal (RFP) is usually specified and to maintain separate availability targets at the operational stage. In particular, unlike unmanned operation light rail in complex systems, simple formulas are often presented to facilitate verification at each stage. This paper presents this method of usability calculation in an integrated manner at all levels and analyzes the existing usability values to ensure reliability of the availability formula for integrated use in unmanned light rail systems.

• Korean Journal of Construction Engineering and Management
• /
• v.21 no.5
• /
• pp.38-45
• /
• 2020

Presently, safety management of facilities is conducted as a site-oriented safety inspection, but depending on the facilities, there are difficulties in access to the site, and the cost and time of inspection are inefficient due to excessive reliance on human resources. Therefore, the necessity of sensor-based safety management is being raised to ensure the safety of the facility at all times, and various studies on sensor safety management are being conducted, but the research on verification of practicality is still insufficient. Therefore, the improvement points were presented through analysis of domestic and international studies, and additional processes for setting sensor attachment location and threshold were derived by analyzing the H city sensor safety management process, and practicality of sensor safety management was verified through sensor data measurement values. It is expected that efficient, sensor-based facility safety management will be possible if clear criteria and ongoing practicality verification for the additional processes presented in this study should be carried out in the future.