• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.2
• /
• pp.409-416
• /
• 1996

This paper describes the simulation environment that verifies whether a new microporcessor described with HDL is compatible with an existing microprocessor. The compatibility verification is done by showing that the new microprocessor executes the OS(Operating System) program used in the existing microprocessor without any modification of its binary code. The proposed verification environment consists of a virtual system and a graphic user interface (GUI) module. Each module is independently designed based on serve-client model and three exists a communication part for information interchange between the two modules. This paper describes the method of constructing the verification environment and presents the compatibility verification environment of the x86 microprocessor as the simulation result.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.5
• /
• pp.323-329
• /
• 2009

Auto-makers can only remain competitive by producing high quality vehicles in an efficient way. In designing a production line, one of the most important objectives of digital manufacturing is to verify design errors as early as possible. In terms of the cost and time saving, it is very essential to start the construction of a production line with a proven design which is error-free. Likewise, this paper aims to implement PLC verification using an example. The verification in automobile manufacturing means verifying PLC program, which control automatic devices. In this paper, we built a virtual factory to implement PLC simulation and introduced verification procedure using PLC Studio. Finally, we can prove the availability for the PLC verification.

• Proceedings of the SAREK Conference
• /
• 2008.06a
• /
• pp.237-242
• /
• 2008

DSM(Demand Side Management) is reducing the load of energy supply utility through energy conservation and energy load distribution. This kind of program is necessary especially to our country which import above 97% of energy source. But the effectiveness of this kind program is not verified well even though our country is executing the various DSM programs. This study suggests M&V(Monitoring & Verification) guideline for DSM programs which are executing in Korea and shows the results which applied to verification of DSM programs.

• Journal of Digital Convergence
• /
• v.11 no.7
• /
• pp.75-81
• /
• 2013

In this study, career counseling collegiate career maturity differences before and after program implementation through proven collegiate career counseling program development and future of the University Career guidance and on the basis of the direction is set. Verification results first college career counseling program has not been applied to the experimental group than in the control group were improved career attitude maturity level.

• International journal of advanced smart convergence
• /
• v.10 no.3
• /
• pp.59-65
• /
• 2021

In this paper, we propose the AI certification standardization activities for systematic research and planning for the standardization of trustworthy artificial intelligence (AI). The activities will be in two-fold. In the stage 1, we investigate the scope and possibility of standardization through AI reliability technology research targeting international standards organizations. And we establish the AI reliability technology standard and AI reliability verification for the feasibility of the AI reliability technology/certification standards. In the stage 2, based on the standard technical specifications established in the previous stage, we establish AI reliability certification program for verification of products, systems and services. Along with the establishment of the AI reliability certification system, a global InterOp (Interoperability test) event, an AI reliability certification international standard meetings and seminars are to be held for the spread of AI reliability certification. Finally, TAIPP (Trustworthy AI Partnership Project) will be established through the participation of relevant standards organizations and industries to overall maintain and develop standards and certification programs to ensure the governance of AI reliability certification standards.

• Proceedings of the Korean Society of Crop Science Conference
• /
• 2019.04a
• /
• pp.141-141
• /
• 2019

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.149.1-149.1
• /
• 2004

• Proceedings of KOSOMES biannual meeting
• /
• 2018.06a
• /
• pp.148-148
• /
• 2018

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.21 no.3
• /
• pp.165-176
• /
• 2011

In this paper, we examine the reliability verification procedure of evidence analysis tools for computer forensics and test the famous tools for their functional requirements using the verification items proposed by standard document, TIAK.KO-12.0112. Also, we carry out performance evaluation based on test results and suggest the way of performance improvement for evidence analysis tools. To achieve this, we first investigate functions that test subjects can perform, and then we set up a specific test plan and create evidence image files which contain the contents of a verification items. We finally verify and analyze the test results. In this process, we can discover some weaknesses of most of analysis tools, such as the restoration for deleted & fragmented files, the identification of the file format which is widely used in the country and the processing of the strings composed of Korean alphabet.