• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4207-4213
• /
• 2012

Software quality is strongly associated with requirement quality. Accordingly, companies are trying effect for enhancing requirement quality. But, it is difficult to verify the requirement of specification format, which have to rely on abnormal business knowledge of analyst. Also, it is insufficient to normal methodology or automated technique for enhancing requirement quality of specification format. In this paper, we propose the process of requirement verification and automated verification tool for enhancing requirement quality. we compare the external view design and internal view design for verifying requirement. In the case study, we evaluate the feasibility of the proposed automated verification technique of requirement.

• Nuclear Engineering and Technology
• /
• v.39 no.1
• /
• pp.51-62
• /
• 2007

To efficiently design safety-critical systems such as nuclear power plants, with the requirement of high reliability, methodologies allowing for rigorous interactions between the synthesis and analysis processes have been proposed. This paper attempts to develop a reliability-centered design framework through an interactive process between Axiomatic Design (AD) and Fault Tree Analysis (FTA). Integrating AD and FTA into a single framework appears to be a viable solution, as they compliment each other with their unique advantages. AD provides a systematic synthesis tool while FTA is commonly used as a safety analysis tool. These methodologies build a design process that is less subjective, and they enable designers to develop insights that lead to solutions with improved reliability. Due to the nature of the two methodologies, the information involved in each process is complementary: a success tree versus a fault tree. Thus, at each step a system using AD is synthesized, and its reliability is then quantified using the FT derived from the AD synthesis process. The converted FT provides an opportunity to examine the completeness of the outcome from the synthesis process. This study presents an example of the design of a Containment Heat Removal System (CHRS). A case study illustrates the process of designing the CHRS with an interactive design framework focusing on the conversion of the AD process to FTA.

• 시스템엔지니어링워크숍
• /
• s.6
• /
• pp.81-85
• /
• 2005

• Structural Engineering and Mechanics
• /
• v.34 no.6
• /
• pp.739-753
• /
• 2010

Pointing to the design requirement of prestressed space grid structure being the target cable force, the pretension scheme decision analysis method is studied when there's great difference between structural actual state and the analytical model. Based on recursive formulation of cable forces, the simulative recursive system for pretension process is established from the systematic viewpoint, including four kinds of parameters, i.e., system initial value (structural initial state), system input value (tensioning control force scheme), system state parameters (influence matrix of cable forces), system output value (pretension accomplishment). The system controllability depends on the system state parameters. Based on cable force observation values, the influence matrix for system state parameters can be calculated, making the system controllable. Next, the pretension scheme decision method based on cable force observation values can be formed on the basis of iterative calculation for recursive system. In this way, the tensioning control force scheme that can meet the design requirement when next cyclic supplemental tension finished is obtained. Engineering example analysis results show that the proposed method in this paper can reduce a lot of cyclic tensioning work and meanwhile the design requirement can be met.

• Journal of the Korean Society of Systems Engineering
• /
• v.2 no.2
• /
• pp.33-38
• /
• 2006

It is well known that efficient management and thorough implementation of stakeholder requirements is vital for a successful development of a large-scale and complex system. Equally important is to make sure that all the requirements be correctly realized in the developed system. For the purpose, verification requirements are derived with traceability from the system requirements. This paper discusses a step by step process for constructing the requirements verification model which includes : 1) the schema modeling both requirements and their traceability; 2) the template documenting the verification requirements; 3) the verification model constructed from the schema; and 4) the test and evaluation plan that can be printed automatically.

• KIEAE Journal
• /
• v.15 no.6
• /
• pp.47-56
• /
• 2015

Purpose and Method: Despite benefits of building energy simulations, practitioners seem to be reluctant to use simulations for design decision making. By means of survey and interviews, this study aims to investigate domestic hindrance against increasing simulation usability, and to collect user requirement to enhance technical functionality of the simulation. Also this study compares the Information Sharing Workflow by Stantec and general domestic design process in order to identify a direction of the Integrated Design Process. Result: Finally this study wraps up with suggestions of how simulation functionality and use protocol should be in order to satisfy user requirement and also to gather more users.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.381-383
• /
• 2001

A system engineering play a key role in new signalling system development. The signalling system development process consists several phases which are requirement analysis, functional analysis, system synthesis and system analysis. Each phase of the development are decomposed according to system engineering process. The key topics to be considered are shown in the each phase such as safety. This paper shows the application of system engineering process to a signalling system development.

• Journal of Ocean Engineering and Technology
• /
• v.11 no.3
• /
• pp.200-211
• /
• 1997

Most recently, offshore Engineering & Construction field is concerned about integration management technology such as CIM(Computer Integrated Manufacturing), PDM(Product Data Management) and Enterprise Information Engineering in order to cope with the rapid change of engineering and manufacturer specification as per owner's requirement during construction stage of the project. System integration and integrated data modeling with relational database in integration management technology improve the quality of product and reduce the period of the construction project by reason of owing design information jointly. This paper represents the design methodology of system integration using Business Process Reengineering by the case study. The case study is about the offshore plant material information process from front end engineering design to detail engineering for the construction and the basis of monitoring system by integrating and sharing the design information between the 2D intelligent P&ID and 3D plant modeling using relational database. As a result of the integrated data modeling and system integration, it is possible to maintain the consistency of design process in point of view of the material balancing and reduce the design assumption/duration. Near future, this system will be expanded and connected with the MRP(Material Requirement Planing) and the POR (Purchase Order Requisition) system.

• Journal of the Society of Naval Architects of Korea
• /
• v.47 no.5
• /
• pp.733-742
• /
• 2010

In this study, optimization was performed to improve the conventional liquefaction process of offshore plants, such as a LNG-FPSO(Liquefied Natural Gas-Floating, Production, Storage, and Offloading unit) by maximizing the energy efficiency of the process. The major equipments of the liquefaction process are compressors, expanders, and heat exchangers. These are connected by stream which has some thermodynamic properties, such as the temperature, pressure, enthalpy or specific volume, and entropy. For this, a process design problem for the liquefaction process of offshore plants was mathematically formulated as an optimization problem. The minimization of the total energy requirement of the liquefaction process was used as an objective function. Governing equations and other equations derived from thermodynamic laws acted as constraints. To solve this problem, the sequential quadratic programming(SQP) method was used. To evaluate the proposed method in this study, it was applied to the natural gas liquefaction process of the LNG-FPSO. The result showed that the proposed method could present the improved liquefaction process minimizing the total energy requirement as compared to conventional process.

• Design & Manufacturing
• /
• v.10 no.3
• /
• pp.1-7
• /
• 2016

In the semiconductor industry the memory and chip were developed to high density memory and high performance chip, so circuit design was also high integrated and the test bed was needed to be thin and fine pitch socket. LGA(Land Grid Array) IC socket with thin wall thickness was designed to satisfy this requirement. The LGA IC socket plastic part was manufacture by injection molding process, it was needed accuracy, stiffness and suit resin with high flowability. After injection molding process the side gates were needed to remove for further assembly process. ln this study, the cold press cutting process was applied to remove the gates. For design of punch and die, the cold press cutting analysis was implemented by$DEFORM-2D^{TM}$ ln consideration of the simulation results, an adequate punch and die was designed and made for the cutting unit. In order to verify the performance of cutting process, the roughness of cutting section of the part was measured and was satisfied in requirement.