• Title/Summary/Keyword: Product Verification Process

Search Result 143, Processing Time 0.024 seconds

Develop the Product Verification Process for the National R&D Project (국가연구개발프로젝트의 성과물 검증 프로세스 개발에 관한 연구)

  • Choi, Yo-Chul;Lee, Jae-Chon;Cho, Yeon-Ok;Kim, Sang-Ahm;Yoon, Hyuk-Jin
    • 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.

Develope the Product Verification Process for the National R&D Project (국가연구개발프로젝트의 성과물 검증 프로세스 개발)

  • Choi, Yo-Chul;Cho, Yeon-Ok;Kim, Sang-Am;Yoon, Heck-Jin;Lee, Jae-Cheon
    • 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.

  • PDF

Web-based Design and Dimension Verification System Using STEP Files (STEP 파일을 이용한 웹기반 설계 및 치수 검증 시스템)

  • Song, In-Ho;Chung, Sung-Chong
    • 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.

A Template Based Process Modeling Methodology for Control Simulation (제어 시뮬레이션을 위한 템플릿기반 공정 모델링 방법론)

  • Shin, Hye-Seon;Ko, Min-Suk;Hong, Sang-Hyun;Park, Sang-Chul;Wang, Gi-Nam
    • Korean Journal of Computational Design and Engineering
    • /
    • v.16 no.5
    • /
    • pp.351-360
    • /
    • 2011
  • Product systems are quickly and frequently changed because Product Life Cycle is continuously reduced and adopting new product is steadily fast. Thus, various studies are progressed using simulation which is one of digital manufacturing. The research that is concerning simulation of control verification for shorten the commissioning which has a lot of trial and error is in progress. Also, simulation of control verification has strength that it can catch the errors in advance. However, a control program in simulation needs virtual factory for representation of control information. For this reason, excessive time and energy is put into controlling the virtual factory. So, in this paper, we construct library which is using exist data, in order to overcome limitation of these problems. Furthermore, we suggest methodology which can model and verify the process more speedy using library. Especially, we give body to the BB/BR Line process which has many altering equipment and need high technology effectively using physical and logical modeling. We can set up a control simulation environment very rapidly, as well as cut process time down using our suggestion.

Framework of a CAD System to Support Design Process Modeling of Mechanical Products (기계 제품의 개념 설계를 위한 하향 설계 지원 CAD시스템의 개발)

  • 홍진웅;이건우
    • Korean Journal of Computational Design and Engineering
    • /
    • v.5 no.4
    • /
    • pp.359-372
    • /
    • 2000
  • Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.

  • PDF

Design and Implementation of Digital Signature on Pedigree Using ECDSA (ECDSA를 사용한 Pedigree 디지털 서명의 설계 및 구현)

  • Khosiawan, Yohanes;Kwon, Joon-Ho;Hong, Bong-Hee
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06c
    • /
    • pp.286-288
    • /
    • 2012
  • Facing the counterfeiting acts towards various products, many manufacturers implement ePedigree system to secure their supply chain. Using ePedigree, a distribution history including a valid product identifier from the manufacturer until the final retailer is recorded. And this ePedigree is signed by each involved supply chain party using digital signature. With this digital signature, any unauthorized alteration to the ePedigree document would generate a failed verification process. If there is a counterfeit product using a fake ePedigree document, it wouldn't be able to pass the verification process either. Hence, there wouldn't be any counterfeit product that could enter the legal supply chain and bought by the consumer. We are proposing to use ECDSA instead of RSA since it has faster performance and shorter key size. At a certain same security level, ECDSA only needs 163 bits, while RSA needs 1024 bits.

Status of Domestic Railway Product Certification System & Improvement Scheme (국내 철도용품 인증체계 현황 및 개선 방향성)

  • Kim, Tae-Wook;Choi, Jun-Young;Park, Su-Jung
    • Proceedings of the KSR Conference
    • /
    • 2011.10a
    • /
    • pp.807-814
    • /
    • 2011
  • Certification of product means that the process and result in which the verification of required performance of each product was done. For this, advanced countries have established their product certification system. This paper summarize the status of foreign railway product certification system and give out meaningful considerations. Moreover, problems of domestic railway product certification system will be discussed and requirements for the improvement of the system will be proposed.

  • PDF

Methodology of CO2 Emission Factor Verification and Quantitative Assessment in Ethylene Product Processes (에틸렌 생산에서의 CO2 국가배출계수 검증 및 정량평가 방법론)

  • Youk, Soo Kyung;Jeon, Eui-Chan;Yoo, Kyung Seun
    • Journal of Climate Change Research
    • /
    • v.9 no.1
    • /
    • pp.69-74
    • /
    • 2018
  • The purpose of this study is to suggest the methodology of $CO_2$ Emission Factor Verification and Quantitative Assessment in Ethylene Product Processes. At first, this study compare the IPCC (Intergovernmental Panel on Climate Change) 1996 Guideline and 2006 Guideline. And analyse methodology for estimating $CO_2$ emission and $CO_2$ emission factor in Ethylene product process. Also analyse cases of estimating $CO_2$ emission factor based on material balance. Methodology of $CO_2$ Emission Factor Verification and Quantitative Assessment are following the categories proposed by GIR (Greenhouse Gas Inventory and Research Center). There are total 12 factors in 8 categories and give 5 or 10 points according to their importance. Also this study suggests necessary data of document to meet the conditions. The result would help estimate accuracy Greenhouse Gas Inventory. Also contribute to establish policy on environmental assessment, air conservation, etc.

Local Model Checking for Verification of Real-Time Systems (실시간 시스템 검증을 위한 지역모형 검사)

  • 박재호;김성길;황선호;김성운
    • Journal of Korea Multimedia Society
    • /
    • v.3 no.1
    • /
    • pp.77-90
    • /
    • 2000
  • Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

  • PDF

Selection and Verification of Press Forming Pipe Model using Pipefitting (피팅용 프레스 포밍 파이프 성형 모델 선정 및 검증)

  • Kim, TaeGual;Kim, TaeHo;Park, JoonHong;Park, YoungChul
    • Journal of the Korean Society of Manufacturing Process Engineers
    • /
    • v.14 no.3
    • /
    • pp.43-49
    • /
    • 2015
  • This paper describes the design of a forged fitting form to acquire a method of product design measurement by target measurement standards. The pipefitting connects each pipe and combines seals and nipples with the pipes normally. Therefore, the section combined with the fitting pipe was measured by a 3D scanner, and the acquired measurement and the design measurement were obtained after modification of the forged fitting pipe by that standard. Moreover, the accuracy of the model was verified through leakage testing of the oil and verification of the design measurement for accuracy decisions on the design measurement after modification of the product.