• 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 Positioning, Navigation, and Timing
• /
• v.11 no.1
• /
• pp.51-58
• /
• 2022

Korea Augmentation Satellite System (KASS) is a Satellite Based Augmentation System (SBAS) system under development in South Korea and aims to provide air navigation services after 2023. In order to provide reliable service, detailed design for the operation of this system is required. This paper proposes a detailed operation-based designs based on mission, architecture, operation definition of the system. For the stable operation of the system, an operation organization was designed and operation activities were classified in consideration of the architecture and function of the system. Detailed operation procedures were designed according to this classification and operation procedures related to the command and configuration of subsystem were verified on the Integration, Verification and Qualification (IVQ) platform for integrated testing and verification. The proposed operation concepts and procedures will be continuously confirmed and verified during verification, qualification and service preparation, and will be updated event after official KASS service.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.19 no.4
• /
• pp.479-489
• /
• 2021

The Republic of Korea is expected to participate in the denuclearization verification activities by the International Atomic Energy Agency (IAEA) in case any neighboring countries declared denuclearization. In this study, samples for the verification of nuclear activities in undeclared areas were selected for the denuclearization of neighboring countries, and the appropriateness of the procedures was considered. If a country with nuclear weapons declares denuclearization, it must be accompanied by the IAEA's verification regarding nuclear materials and weapons in the declared and undeclared areas. The analysis of the process samples or on-site environmental samples and the verification of undeclared nuclear facilities and materials aid in uncovering any evidence of concealment of nuclear activity in undeclared areas. Therefore, a methodology was established for effective sampling and analysis in accordance with proper procedures. Preparations for sampling in undeclared areas were undertaken for various potential scenarios, such as, the establishment of zones according to radiation dose, methods of supplying electricity, wireless communication networks, targets of sampling according to characteristics of nuclides, manned sampling method, and unmanned sampling method. Through this, procedures were established for pre- and post-site settings in preparation for hazards and limiting factors at nuclear inspection sites.

• Coupled systems mechanics
• /
• v.4 no.1
• /
• pp.67-98
• /
• 2015

Numerical prediction of dynamic behavior of fully coupled saturated porous media is of great importance in many engineering problems. Specifically, static and dynamic response of soils - porous media with pores filled with fluid, such as air, water, etc. - can only be modeled properly using fully coupled approaches. Modeling and simulation of static and dynamic behavior of soils require significant Verification and Validation (V&V) procedures in order to build credibility and increase confidence in numerical results. By definition, Verification is essentially a mathematics issue and it provides evidence that the model is solved correctly, while Validation, being a physics issue, provides evidence that the right model is solved. This paper focuses on Verification procedure for fully coupled modeling and simulation of porous media. Therefore, a complete Solution Verification suite has been developed consisting of analytical solutions for both static and dynamic problems of porous media, in time domain. Verification for fully coupled modeling and simulation of porous media has been performed through comparison of the numerical solutions with the analytical ones. Modeling and simulation is based on the so called, u-p-U formulation. Of particular interest are numerical dispersion effects which determine the level of numerical accuracy. These effects are investigated in detail, in an effort to suggest a compromise between numerical error and computational cost.

• Journal of Information Technology Services
• /
• v.5 no.3
• /
• pp.99-108
• /
• 2006

Public institutions are considering adoption of open-source software in the process of information projects. However, there doesn't exist reliable information about an adoption process for open-source software. Performance and stability problems of this software also persist, as a result, current open-source software is not widely used. As a software market and industry grows, Benchmark test has been performed more often than before in order to help customers understand and select the most appropriate product among myriad similar ones. It is certain that more objective and trustful data evidence should be obtained by way of utilizing the procedures and methods of Benchmark Test in decision making process for selecting an open-source software. For this research, Benchmark test was applied as a way of demonstrating performance verification of an open-source software in the public institutions. It is certain that more objective and trustful data evidence should be obtained by way of utilizing the procedures and methods of Benchmark Test in decision making process for selecting an open-source software. It also introduces a case study of a information system, which selected and implemented open-source software, in order to confirm the validity of this research. This research will serve as a guideline to adopt open-source software in governments as well as public institutions.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.14 no.2
• /
• pp.11-15
• /
• 2018

A development plan for seismic capacity verification procedures of nuclear components based on the elastic-plastic strain (EPS) features is explained in this paper. The EPS methodology is more realistic to assess seismic responses of components to extreme seismic events beyond the safe shutdown earthquake (SSE) than current practices with the criteria of stress limits. The EPS based approach to analyze the seismic capacity of components can reduce over-conservatism in the current stress-based criteria and can incorporate the seismic responses of components deformed in plastic behavior by the motion of extreme earthquake.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.58
• /
• pp.267-286
• /
• 2013

Origin verification is regarded most essential for FTA performance administration. This administration is divided into direct and indirect system where Korea has adapted indirect system to Korea-EU FTA while direct system to Korea-USA FTA. A comparative analysis was conducted on the system of origin verification and provisions contained in preferential tariff law of each countries. The study finds that Korean origin verification system is a bit lack of procedural provision resulting in less protection of domestic trader's rights. Another point is that Korean Customs Authority is weak, in respect of organization and man power, to protect illegal bilateral tariff application by counter part FTA countries. And therefore this study suggests the policy makers to arrange detailed FTA origin verification procedures with earliest meeting with counter part FTA countries, and further stress that make up of organization and man power for origin verification in a timely manner.

• Journal of Positioning, Navigation, and Timing
• /
• v.10 no.3
• /
• pp.221-228
• /
• 2021

The Korea Augmentation Satellite System (KASS) is a Korean Satellite Based Augmentation System (SBAS) that has been under development since 2014 with the goal of providing Approach Procedure with Vertical guidance (APV)-I Safety of Life (SoL) services. KASS Control Station (KCS) is a subsystem that controls and monitors KASS systems. It also serves to store data generated by KASS. KCS has now completed detailed design and implementation and verification is in progress. This paper presents verification procedures and verification items for KCS verification activities and presents management measures for defects occurring during the verification phase.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.2
• /
• pp.88-99
• /
• 2008

In this article, DHRMIS being developed with ERP at resent realizes the personnel affairs recording procedures that all the Ministry of National Defense, the army, the navy and the air force can use on personnel affairs in order to solve the problem of the personnel recording procedures of the MND and each of the troops such as using manual affairs together with computation affairs, absence of electronic recording managements in some of the institutions MND, insufficiency of real time recording, and excess of centralized managements to present and record the personnel data. The personnel recording procedures consist of standardized personnel recording procedures and definition of the personnel recording procedures. This personnel recording procedures propose 3 improvements such as an atomic electronic recording management, a real time recording affair, effective centralization and distribution of verification authority so as to guarantee authentication, integrity, reliance, and accessibility of personnel data. When proposed personnel recording procedures are realized through developing DHRMS, these can bring on unification of 10 recording management systems, reduction of recording management time from 45 days to 3 days, distribution of verification authority MND, each of the troops, each of the institutes, an individual, and reduction of some of the manual documents.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.1
• /
• pp.53-59
• /
• 1996

An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.