• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.2
• /
• pp.29-37
• /
• 2011

Java bytecode verification is a critical process to guarantee the safety of transmitted Java applet on the web or contemporary embedded devices. We propose a design of framework which enables to analyze and verify java bytecode. The designed framework translates from a java bytecode into the intermediate representation which can specify a properties of program without using an operand stack. Using the framework is able to produce automatically error specifications that could be occurred in a program and express specifications annotated in intermediate representation by a user. Furthermore we design a verification condition generator which converts from an intermediate representation to a verification condition, a verification engine which verifies verification conditions from verification condition generator, and a result reporter which displays results of verification.

• Journal of information and communication convergence engineering
• /
• v.19 no.1
• /
• pp.42-47
• /
• 2021

Multimedia Authoring Tool is a tool for creating multimedia presentations. With this tool, a user can produce playable multimedia documents. A Multimedia Authoring Tool requires input in the form of a spatial layout and a temporal layout. Users can make many mistakes in creating multimedia presentations and verification is required in the Multimedia Authoring process in order to produce multimedia documents. In this study, two verification phases are proposed: Time Computation and Spatiotemporal Conflict Verification. In the experiment conducted for this study, two kinds of verification were carried out: The use of single-phase verification and the use of double-phase verifications. By using these two types of verification, it became easier to successfully detect errors in the spatial and temporal layouts, and the types of verification have also been successful in increasing the success of error detection.

• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• pp.204-207
• /
• 2000

Verification is one of the most critical and time-consuming tasks in today's design process. This paper describes the basic idea of Co-verification and the environment setup for the design of DVD Servo with TeakLite DSP core by using Seamless CVE, Hardware/software Co-verification too1.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.26 no.6
• /
• pp.715-722
• /
• 2020

This paper proposes a design verification method based on system dynamics for offshore separation systems. Oil and gas separation systems are key components of offshore oil platforms; these systems determine the competitiveness of engineering, procurement, and construction (EPC) projects, especially in terms of added value. However, previous research on design verification has been limited to the process and deliverables of design. To address this, the study aims to develop a comprehensive design verification method and the associated functions from the perspective of project management, for the entire project life-cycle of offshore structures. The proposed methodology for design verification is expected to contribute toward effective and detailed designs as well as improve the competitiveness of EPC companies in constructing of shore structures during the early design stages. We first analyzed the separation system of the FPSO using the design verification method adopted by advanced countries and compared it with the system dynamics process formalized as ISO 15288. Subsequently, a tailored process for the design verification of the offshore structure was derived. It is shown that the proposed design verification method can be applied to the front-end engineering design process of of shore structures. Moreover, it can contribute toward the successful performance of offshore projects in the future and also minimize design changes and critical risks during the construction of these offshore structures.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• Journal of the Korea Society for Simulation
• /
• v.14 no.3
• /
• pp.147-154
• /
• 2005

In conventional approaches such as a functinal approach or a parametric approach to online signature verification, which could not deal with the local shape of signature, much various important informations inherent in the local part of signature shape have been overlooked. In this paper, we try a structural approach in which a signature is represented as a structural form of handwriting primitives and the local parts along a signature handwriting can be selectively compared according to their discrimination power in the process of signature verification, As a result, the error rate is diminished in the case that the weights of subpattern units is applied into comparing process, which is the degree of discrimination power of local part. And also, the global variation and complexity of each signature extracted from the analysis of local shape is found useful in determining the decision threshold more precisely.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.2
• /
• pp.123-134
• /
• 1995

In this paper, the fast force algorithm has been studied so that it is used to calculate cutting forces and to develope the NC verification system. The NC verification using the fast force algorithm can verify excessive cutting force which is the cause of deflection and breakage of tool, and adjust the feed rate and spindle speed.

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.31-38
• /
• 2019

The systems engineering standard process is intended to be customized for a given project environment and system characteristics. This study describes the experience gained by applying systems engineering to government-funded projects. The characteristics of government funded project are lack of common development process among the participating organizations and mechanism to determine system requirements. This study describes the contents of the systems engineering activities, including development of operational concept, system requirements, verification requirements (test cases), test verification plan, and implementation of system test and lessons learned from these activities.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.3
• /
• pp.388-396
• /
• 2011

Mission Equipment Package(MEP) system is a collection of avionic components that are integrated to perform the mission of the Korean Utility Helicopter(KUH). MEP system development is classified mission-critical embedded system but KUH MEP system developed including flight-critical data implementation. It is important to establish the good development and verification process for the successful system development. This paper describe the development and verification process in each phase for the KUH MEP system. MEP system design is verified through the qualification test, system failure test and compatibility test in System Integration Laboratory(SIL).

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.30 no.7 s.250
• /
• pp.816-825
• /
• 2006

This paper describes the development of a web-based interference verification system in the mold design process. Although several commercial CAD systems furnish interference verification functions, those systems are very expensive and inadequate to perform collaborative works over the Internet. In this paper, an efficient and precision hybrid interference verification algorithm for the web-based interference verification system over the distributed environment has been studied. The proposed system uses lightweight CAD files produced from the optimally transformed CAD data through ACIS kernel and InterOp. Collaborators related to the development of a new product are able to verify the interference verification over the Internet without commercial CAD systems. The system reduces production cost, errors and lead-time to the market. Validity of the developed system is confirmed through case studies.