• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• 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
• /
• 제11권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.

• 방사성폐기물학회지
• /
• 제19권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
• /
• 제4권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.

• 문화기술의 융합
• /
• 제10권5호
• /
• pp.707-713
• /
• 2024

본 논문은 주민등록번호 대체수단의 발급·이용 시 신원확인 및 인증절차에 대해 현황을 분석하고 문제점의 개선 방안을 제안한다. 본인확인서비스 이용 과정에서 이용자의 개인정보보호와 권리보장이 필요하지만 근래에 만연해 있는 본인확인서비스의 확대로 인해 무분별하게 본인확인을 요구하고 있으며, ISP들도 신원확인 및 인증절차의 문제점 개 없이 활용에만 그치고 있다. 결국 온라인 서비스 이용자들은 자신의 개인정보가 과도하게 제공되고 있으며, ISP들은 본인확인서비스 요구에 따른 과금이 발생하고 있고 결국 온라인 서비스에 그 비용이 부가되고 있다. 따라서 본 논문에서는 주민등록번호 대체수단 발급·이용 시 이용자의 신원확인 및 인증 절차의 현황을 분석하고 문제점 개선방안을 제안한다. 제안한 방안을 통해 온라인 서비스 이용자들의 개인정보보호와 ISP들의 비용 절감, 그리고 온라인 서비스의 활성화를 꾀할 수 있을 것이다.

• 한국IT서비스학회지
• /
• 제5권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.

• 한국압력기기공학회 논문집
• /
• 제14권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.

• 무역상무연구
• /
• 제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
• /
• 제10권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.

• 한국산업정보학회논문지
• /
• 제13권2호
• /
• pp.88-99
• /
• 2008

본 논문에서는 ERP를 도입하여 개발중인 국방인사정보체계에서 구현되어야 할 인사기록방법을 절차에 중점을 두고 제안한다. 국방부와 육 해 공군이 공동으로 인사업무에서 사용할 수 있는 인사기록절차는 현재 국방부와 각 군 인사기록절차의 문제점인 수작업과 전산작업의 혼용, 일부기관(국방부)의 전자적 기록관리 부재, 실시간 기록미흡, 기록사항의 확인 및 입력 중앙집중/업무과다를 해결할 수 있도록 제안되었다. 인사기록절차는 표준화된 인사기록 절차도와 인사기록절차 정의서로 표현되었다. 제안된 인사기록절차는 인사기록의 진본성, 무결성, 신뢰성, 이용가능성이 보장되도록 세 가지의 개선방향인 일원화된 전자기록관리, 실시간 기록관리, 검증권한의 효율적 집중과 분산을 적용하여 제안되었으며 제안된 인사기록절차가 개발중인 국방인사정보체계를 통해서 구현될 시 12개의 기록관리체계의 통합, 기록관리시간을 45일에서 3일로 감소, 검증권한을 국방부 및 각 군 본부와 소속기관 및 개인으로 분산, 일부 수작업문서의 감소효과를 가져올 수 있다.