• Proceedings of the Korean Nuclear Society Conference
• /
• 2005.10a
• /
• pp.1029-1030
• /
• 2005

• 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 Platform Technology
• /
• v.9 no.1
• /
• pp.32-39
• /
• 2021

Existing environmental measuring devices mainly focus on electromagnetic wave and eco-friendly product certification and durability test, and sensor reliability verification and verification of measurement data are conducted mainly through sensor performance evaluation through type approval and registration, acceptance test, initial calibration, and periodic test. This platform has established an ICT-based environmental monitoring sensor reliability verification system that supports not only performance evaluation for each target sensor, but also a verification system for sensor data reliability. A sensor board to collect sensor data for environmental information was produced, and a sensor and data reliability evaluation and verification service system was standardized. In addition, to evaluate and verify the reliability of sensor data based on ICT, a sensor data platform monitoring prototype using LoRa communication was produced, and the test was conducted in smart cities. To analyze the data received through the system, an optimization algorithm was developed using machine learning. Through this, a sensor big data analysis system is established for reliability verification, and the foundation for an integrated evaluation and verification system is provide.

• Journal of the Korean Society of Industry Convergence
• /
• v.9 no.4
• /
• pp.263-268
• /
• 2006

This paper presents a real-time verification system by extracting a features of multimodal biometrics using hybrid method, which is combined the moment balance and the independent component analysis(ICA). The moment balance is applied to reduce the computation loads by extracting the validity signal due to exclude the needless backgrounds of multimodal biometrics. ICA is also applied to increase the verification performance by removing the overlapping signals due to extract the statistically independent basis of signals. Multimodal biometrics are used both the faces and the fingerprints which are acquired by Web camera and acquisition device, respectively. The proposed system has been applied to the fusion problems of 48 faces and 48 fingerprints(24 persons * 2 scenes) of 320*240 pixels, respectively. The experimental results show that the proposed system has a superior verification performances(speed, rate).

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 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.

• Journal of the Korean Society of Systems Engineering
• /
• v.3 no.1
• /
• pp.33-40
• /
• 2007

The requirement verification is the integral part of the weapon system R&D to reduce cost and schedule. And, a systems engineering is an interdisciplinary engineering management process that evolves and verifies an integrated, life-cycle balanced set of system solutions that satisfy customer needs. Therefore, this study analyzes the national defense need and acquisition management process, investigates the systems engineering verification activity. Through the requirement verification example in terms of technical evaluation this study presented the requirement verification approach in the weapon system R&D.

• Journal of Information Technology Services
• /
• v.12 no.4
• /
• pp.175-186
• /
• 2013

Among many automotive manufacturing processes, an assembly process has the smallest automatization percentage. As the correct assembly of the supplied components according to its specification is directly related with the quality of the final product, it is of the utmost importance to reduce the possible human errors in the assembly line. However, due to the lack of an effective verification system for an assembly line, currently, there is huge cost loss caused by the errors in seat assembly every year. Therefore, in this paper, to overcome the limit of the current verification method and to prevent the occurrence of assembly errors caused by mismatching assembling components or its specifications, a verification system and its method is proposed employing the RFID technology. The system is for automatic detection of the assembly errors, so that it can reduce the time and effort needed for verification and maximize the work efficiency. Also, by preventing the assembly errors in advance, the productivity can be increased through a quality innovation.

• Nuclear Engineering and Technology
• /
• v.31 no.2
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• The Journal of the Acoustical Society of Korea
• /
• v.19 no.4
• /
• pp.23-30
• /
• 2000

In this paper, the web-based speaker verification system is designed. To decide the speaker recognition algorithm applied to the web-based speaker verification system, the recognition performance and special features of the text-dependent speaker recognition algorithms(DTW, DHMM, SCHMM) are compared through the computer simulation. Using the results of computer simulation, select DHMM as speaker recognition algorithm at web-based speaker verification system because DHMM has the proper recognition performance and initial training utterance number. And by the three-tier method using the ActiveX, DCOM techniques web-based speaker verification system is designed to be operated in the distributed processing environment.