• 제목/요약/키워드: Requirement Engineering process

검색결과 642건 처리시간 0.027초

요구사항의 품질 향상을 위한 자동화 검증 기법 (An Automated Verification Technique for Enhancing Quality of Requirement)

  • 김철진
    • 한국산학기술학회논문지
    • /
    • 제13권9호
    • /
    • pp.4207-4213
    • /
    • 2012
  • 소프트웨어의 품질은 요구사항 품질과 강하게 관계되어 있다. 이에 따라서 기업들은 요구사항의 품질을 향상시켜 주기 위한 노력을 하고 있다. 그러나 명세서 형태의 요구사항은 검증하기 어려우며, 분석가의 비정형화된 업무 지식에 의존해야 한다. 또한 명세서 형태의 요구사항 품질을 향상시켜 주기 위한 정형화된 방법론이나 자동화된 기법이 미흡한 상황이다. 본 논문에서는 요구사항의 품질을 향상시켜 주기 위한 요구사항 검증 프로세스 및 자동화 검증 도구를 제안한다. 검증을 위해 요구사항에 대한 외적뷰 설계와 내적뷰 설계를 비교한다. 사례연구를 통해 제안된 요구사항 자동화 검증 기법의 타당성을 검증한다.

INTERACTIVE SYSTEM DESIGN USING THE COMPLEMENTARITY OF AXIOMATIC DESIGN AND FAULT TREE ANALYSIS

  • Heo, Gyun-Young;Lee, Tae-Sik;Do, Sung-Hee
    • Nuclear Engineering and Technology
    • /
    • 제39권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.

Pretension process control based on cable force observation values for prestressed space grid structures

  • Zhou, Zhen;Meng, Shao-Ping;Wu, Jing
    • Structural Engineering and Mechanics
    • /
    • 제34권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.

시스템 요구사항 검증 절차 및 수행 템플릿 (System requirement verification process and facilitating template)

  • 장재덕;이재천
    • 시스템엔지니어링학술지
    • /
    • 제2권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.

  • PDF

에너지 절약형 건물의 통합설계 확산을 위한 시뮬레이션 사용성 개선 방향 - 실무자 설문과 설계 프로세스 비교 및 분석을 중심으로 - (How to Improve Usability of Building Energy Simulation for the Integrated Design Process - Based on Practitioner Survey and Design Process Comparison -)

  • 김선혜
    • KIEAE Journal
    • /
    • 제15권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.

열차제어시스템 개발에 있어서의 시스템 엔지니어링 (System Engineering for Development of Train Control System)

  • 이종우;정의진;황종규
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2001년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
    • /
    • 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.

  • PDF

관계형 데이터베이스를 이용한 PDMS/PDS의 통합 데이터 모델링에 관한 연구 (A study on the integrated data modeling for the plant design management system and the plant design system using relational database)

  • 양영태;김재균
    • 한국해양공학회지
    • /
    • 제11권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.

  • PDF

LNG-FPSO에의 적용을 위한 Hamworthy Mark I Cycle의 최적 운전 조건 결정 (Determination of the Optimal Operating Condition of the Hamworthy Mark I Cycle for LNG-FPSO)

  • 차주환;이준채;노명일;이규열
    • 대한조선학회논문집
    • /
    • 제47권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.

초정밀 박육 플라스틱 제품 성형기술- II. 냉간 절단 공정 활용 사이드 게이트 제거기술 (Injection Molding Technology for Thin Wall Plastic Part - II. Side Gate Removal Technology Using Cold Press Cutting Process)

  • 허영무;신광호;최복석;권오근
    • Design & Manufacturing
    • /
    • 제10권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.