• Journal of the Korean Society for Railway
• /
• v.12 no.3
• /
• pp.382-387
• /
• 2009

When a system or service is realized, it needs to be verified by requirements. The process of verification is to check whether customers/stakeholders requirements have been property transformed into a system or service. A set of verification processes is described in the international or industrial standards. However, it is not appropriate to directly apply those verification processes in the national research and development projects. In particular, we noticed the problem in the development of safety systems, standards and process in the railway systems domain. As such, this paper is concerned with a detailed development of the verification process in that domain. Specifically, an effective and efficient verification process is presented regarding the safety systems and process, safety standards, and safety documents. Also, the verification process was modeled by a computer-aided systems engineering tool, Cradle(R). As a result, the outcomes of the verification process on be managed efficiently.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.8
• /
• pp.824-836
• /
• 2008

Relaxed static stability(RSS) concept has been applied to improve aerodynamic performance of modern version supersonic jet fighter aircraft. Therefore, flight control systems are necessary to stabilize an unstable aircraft, and provides adequate handling qualities and achieve performance enhancements. Standard FCSDVP (Flight Control System Design and Verification Process) is provided to reduce development period of the flight control system. In addition, if this process is employed in developing flight control system, it reduces the trial and error for development and verification of flight control system. This paper addresses the flight control system design and verification process for the RSS aircraft utilizing design goal based on military specifications, linear and nonlinear system design and verification based on universal software, handling quality test based on HILS(Hardware In-the-Loop Simulator) environment, and ground and flight test results to verify aircraft dynamic flight responses.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.10a
• /
• pp.305-306
• /
• 2021

It has been designed very complex that gathering system for various sending data. Therefore it is very important that verification process of these functions. In this paper we design of integrated verification process for sensing data gathering system.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1566-1573
• /
• 2008

Generally, a system or service is verified by requirements if it has met them in transforming customer requirements into a system or service. But as the national research and development projects to develope safety systems or standards or process in railway system domain, it can be quite limiting that the product or systems verification process presented the international or industrial standards to be applied. This paper has analyzed and made up for the general verification process and presented the effective and efficient verification process about safety system, safety standard, process, and safety documents and the methods to manage the outcomes of verification process.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1187-1192
• /
• 2007

Recently, many organizations such as, including government, railroad operational, railroad facilities managemental and research authorities have made a lot of efforts to identify and prevent hazards from leading to accidents and solve them all over the railroad industry. Railroad total safety technology development project conducted as one of national R&D projects has established business formation structure based on system engineering as an effort to define and give a solution to facing problems in the field of railroad. This paper is building procedures to verify the outcomes derived from this project. The verification process is the one for verifying the outcome produced in the final stage of the project or during the project. It makes sure that the system is satisfying the system requirements through verification of the outcomes produced after conducting the project for verification. We've made verification plan for technically reasonable verification using verification process developed through this research, and established master verification plan in the level of 15 detailed projects for interim and final outcomes produced.

• Journal of Korea Society of Industrial Information Systems
• /
• v.11 no.3
• /
• pp.59-68
• /
• 2006

Recently, introduction of Open Source Software into informatization of the government and public sector has been actively examined, however, Open Source Software is being rarely adopted due to the lack of verified and reliable data with regard to the criteria, process, performance and stability for introduction of Open Source Software. In this paper, the process, method and plan for performance verification for introduction of Open Source Software into mission critical systems of the government and public sector are suggested in order to solve the aforesaid problem Specially, a test system to judge whether or not to adopt Open Source Software in school affairs system of the NEIS(National Education Information System) of the Korean government was set up, and the method and process of performance verification by stage in addition to feasibility study were applied to the test system for verification. Based on the result of performance evaluation in the test system, the application of Linux to school affairs system of the NEIS is being successfully practiced. It is expected that this study will be a guideline to technical review process and performance verification method as necessary to introduce Open Source Software into the mission critical systems of government and public agencies.

• Journal of the Korean Society of Systems Engineering
• /
• v.2 no.2
• /
• pp.33-38
• /
• 2006

It is well known that efficient management and thorough implementation of stakeholder requirements is vital for a successful development of a large-scale and complex system. Equally important is to make sure that all the requirements be correctly realized in the developed system. For the purpose, verification requirements are derived with traceability from the system requirements. This paper discusses a step by step process for constructing the requirements verification model which includes : 1) the schema modeling both requirements and their traceability; 2) the template documenting the verification requirements; 3) the verification model constructed from the schema; and 4) the test and evaluation plan that can be printed automatically.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.292-298
• /
• 2010

Recently, with the beginning of the commercial operation of high-speed railway, there have been a number of changes in track structure fields. Also, it is expected that the development and introduction of new technology will be increased afterwards. However, it accompanies a lot of risk to install new track structures of which performance and safety are not verified on permanent ways with high traffic density. Therefore, to minimize the risk and enhance the adoption of new technology, it is required to develop a systemic verification system for track structure. To do this, in this paper, main contents of a draft of guidelines for track structure verification, and main issues in debate such as criteria and method for verification, test conditions and test periods are discussed. Also, a process to choose a most appropriate one for a specific project out of proven track structures by the above verification system, the selection process by the technical investigation committee and the VE process to analyze the economical and maintenance aspects based on LCC concept in Korea Rail Network Authority is introduced.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.7
• /
• pp.961-969
• /
• 2004

Most manufacturing companies are trying to develop a competitive product by increasing the quality, shortening time to market and reducing the cost of a product. Collaborators related to the development of a new product want to confirm geometric forms and dimensions during the design process, as well as to verify dimensional errors of a product during the fabrication process. Objective of this paper is the development of a collaborative design and dimension verification system on the Internet. STEP files obtained from the design process are used for the design and dimension verification. Functions of the design and dimension verification modules are constructed over the ActiveX control using the visual C/sup ++/ and OpenGL. By using mark up functions over the Internet, collaborators check geometries, interferences, dimensional errors, human factors and form errors, as well as share their design ideas and opinions with XML rapidly and remotely. The usefulness of the developed system is confirmed through case studies.

• 수도
• /
• v.24 no.5 s.86
• /
• pp.16-28
• /
• 1997

As sewerage works has become one of the major public works in Korea, the employment of advanced and more appropriate sewerage technology has become essential to improve the efficiency of sewerage works. During last 10 years, the Korean Government has made tremendous amount of investment on sewerage works so that treatment plants in 58 cities have treatment capacity which is equivalent to 52.8% of total daily sewage generation in Korea. This remarkable development, however, has heavily depended on one technology, the conventional activated sludge process as more than 95% of the existing plants employ this process, Recently, the Korean Government and local authorities have plans to introduce more appropriate sewage treatment technologies and research and development in this area has become very active. To encourage employing new and appropriate technologies, however, the proper technology evaluation and verification program for new process is needed. The public sector should play a key role in this program since the sewerage works is one of the major public works. In this paper, the technology evaluation and verification programs related with sewerage facilities in the US and Japan are briefly reviewed. The Innovatived and Alternative Technology programs which was operated by US EPA until recently and Environmental Technology Verification(ETV) program which was commenced in 1995 are introduced. The technology verification programs operated in Japan and also in Korea are also reviewed in this paper to propose a future direction for development of the appropriate evaluation and verification system.