• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• Journal of the Korea Safety Management & Science
• /
• v.13 no.1
• /
• pp.203-209
• /
• 2011

This study develops three new models that are practically applicable to three stages of Taguchi's robust design, which includes system design, parameter design and tolerance design. In system design, the Multiple Loss Function Analysis(MLFA) and Overall Loss Index(OLI) which reflect upon weight of characteristics and importance of specification are developed. Moreover parameter design presents Process Capability Index(PCI), $C_{PUK}$ and $C_{PLK}$, in order to segregate Signal-To-Noise Ratio(SNR) into accuracy and precision for an evaluation of relative comparison. In addition, tolerance design presents the new model of allowance computation for assembled product which is primarily derived from safety margin(SM) considering functional limit and specification. The guideline of those three new models, which include systematic charts and applicable illustrations, offers convenience for practitioners in the field. Hence, the practical applications could be made with the steps of robust designs such as system design, parameter design and specification allowance design.

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.4
• /
• pp.273-285
• /
• 2008

In this paper we propose an engineering bill of materials (E-BOM) copy method that can be utilized to manage the product information for each equipment during building a product lifecycle management (PLM) system in the order-specific semiconductor equipment manufacturer. The previous works studied on an E-BOM creation and management method for the mass manufacturing and production. The method is difficult to apply to an environment in which many engineering changes occur and the different specification to each equipment is required such as semiconductor equipments and facilities adopting built-to-order instead of built for inventory. Moreover the method is known to be the major drawback to deteriorate the design efficiency. Our E-BOM copy method enables users efficiently to manage the specification of a product and shortens the product development cycle. To implement the E-BOM copy method in the PLM environment, we developed the E-BOM copy system that automatically generates new parts and their numbers according to the numbering rule while copying the E-BOM from existing semiconductor equipments and then can apply the parts for reuse to new semiconductor equipments. This system can duplicate not only 3D CAD data but also technical documents.

• Industrial Engineering and Management Systems
• /
• v.10 no.3
• /
• pp.191-196
• /
• 2011

The purpose of this paper is to study user's involvement in new product development (NPD). It seeks to identify the factors involving user and design practices in the design process of new product development. A survey was conducted on 20 respondents consisting of designers involved in product development from various industries. The study focused on the early activities of the product design process which is called product specification. The analysis performed considers the importance of involving users in design decision. The outcome of this research is the significance of involving users and its effect on product development activities. The research also provides a model for an integrated user, designer and product knowledge activity in the product development process.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.3
• /
• pp.85-100
• /
• 2004

All information system is information security system that enforced security function. To improve qualify of information security system, suity requirement analysis and specification must be Performed by consistently and typically at early requirement analysis step. In this paper, we propose a security requirements analysis and specification model and process by using Misuse Case Model that extends UML's Use Case Model. And, we propose a cost-effective security product selection algorithm that security product is sufficient of all constructed security functional requirements. It may raise quality of information security system that developed through proposed model and process.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2002.10a
• /
• pp.585-592
• /
• 2002

Discharge capacity of PBD is the most important factor of specification items to control any product of PBD. There is no standard specification for the PBD. Because the degree of discharge capacity is related to well resistance, install depth, maximum strain etc in the field. Discharge capacity test of PBD, permeability test of filter are conducted using PBD materials used in Korea. This paper proposes the critical discharge capacity for deep PBD under condition of non well resistance based upon their test and theoretical calculation. It was found that discharge capacity more than about 10 ㎤/sec is enough to undergo designing of deep PBD without well resistance.

• Journal of Industrial Technology
• /
• v.26 no.B
• /
• pp.127-134
• /
• 2006

As material needs have been increasing with recent economic growth, it is a current tendency that the magnitude of load applied to structure has been rising. With improved technique of product materials, steel and concrete have been stranger than ever so the danger of fatigue damage increases as permanent action of repeated loads. In case of deformed steel bars widely used in reinforced concrete structure, when they are product in factory, there will exist same parts connecting the steels. Such connections are easy to be weakened by permanent action of repeated loads. It is a real condition in Korea that there is lack of research of it. As a result of estimating fatigue characteristic of Pressure Welded joints with the steels that are oftenly used and producted in domestic it is showed that there are no remarkable difference in fatigue strength. Because there is no detail which is refered in Civil Specification, this paper will be the basic data being added in later Specification.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.21 no.6
• /
• pp.723-730
• /
• 2018

A well-designed flight vibration specification enables the optimum weight design of the Surface-to-Air or Air-to-Air Missile, improves the maneuverability of the flight vehicle, improves the engagement of target, and increases the price competitiveness of the components and the missile system. Conventional flight vibration specifications are used by using a somewhat higher standard as suggested in MIL-STD-810C, or based on accumulated data from developed similar missile systems. In this study, we confirmed the validity of FEA response analysis by comparing response data obtained by FEA and response data of real product. Also we proposed that each specification that reflects the structural characteristics of the place where the components are mounted is required instead of verifying all the components by a single flight vibration specification.

• Proceedings of the Korean Reliability Society Conference
• /
• 2001.06a
• /
• pp.267-268
• /
• 2001

We consider some guidance on specifying required dependability characteristics in product and equipment specifications, together with specifications of procedures and criteria for verification.

• Industrial Engineering and Management Systems
• /
• v.2 no.1
• /
• pp.55-62
• /
• 2003

This paper deals with the difficulties involved in analyzing and designing a management system to reduce the risks and improve the productivity of new product development. In this paper, a method is described to analyze user information and determine product specifications based on a stimulus-response model, the conjoint measurement of users needs, and product characteristics deployment. The proposed method can analyze the effect of a partial price on the contribution ratio based on the order of preference of product profiles through a smaller number of product profiles. The strengths and weaknesses of this method are examined as the method is applied to the case study of a mobile computer intended for personal use.