• Title/Summary/Keyword: Validation & Verification

Search Result 575, Processing Time 0.042 seconds

Verification of “dual-master” Duplication Flight Control System using Simulink Virtual Module (Simulink 가상모듈을 이용한 “dual-master” 이중구조 비행제어시스템 검증)

  • Kim, Sung-Su;Kim, Sung-Hwan;Jang, Se-Ah;Choi, Kee-Young;Park, Choon-Bae;Rhee, Ihn-Seok;Ha, Cheol-Keun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.9
    • /
    • pp.867-873
    • /
    • 2008
  • Model based virtual Flight Control System construction is essential for Fly-by-Wire Flight Control System verification & validation(V&V) of concurrent engineering base. We researched the concept of dual-architecture system for virtual system construction, and analyzed Flight Control System that is applied to high altitude long endurance(HAE) UAS. Finally, we constructed the model based virtual Flight Control System with system analysis and achieved system verification about flight critical failure modes. Analysis target is RQ-4A.

Design Verification of APR1400 Reactor Vessel Through Re-engineering Approach

  • Mutembei, Mutegi Peter;Namgung, Ihn
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.13 no.1
    • /
    • pp.15-23
    • /
    • 2017
  • This paper describes verification of APR1400 reactor vessel by applying the system engineering approach, in which the design re-engineering method is used to check the design parameters of APR1400 RV (reactor vessel). The RV is classified as safety class 1 and therefore must adhere strictly to the rules of ASME BPVC section III, subsection NB and seismic category I. This study explores designing the RV by following the ASME guidelines and making a comparative study with the current design. To meet this objective we apply system engineering methodologies to structure the process and allow for verification and validation of the major RV design parameters such as thickness of RV. The structural thicknesses of various part of RV are determined as well as reinforcements on the RV major nozzles. A 3D virtual reality model was created based on the design parameters using CATIA V5 and animation using Dassault Composer V2016. A comparison of re-engineered ARP1400 RV and standard APR1400 RV was done to show which design parameters were taken more conservative approach.

Study on Automation for Verification of Naval Ship's Operational Scenarios using Simulation: Focusing on Crew Messroom Case (시뮬레이션을 이용한 함정 운용 시나리오 검증 자동화 연구: 승조원을 고려한 Crew Messroom 운용성 검증을 중심으로)

  • Oh, Dae-Kyun;Lee, Dong-Kun
    • Journal of Ocean Engineering and Technology
    • /
    • v.27 no.1
    • /
    • pp.24-30
    • /
    • 2013
  • The Korea Navy has been making constant efforts to apply M&S (modeling and simulation) to naval ship development, and the generalization of M&S for ship development is a trend. M&S for ship design is used for the V&V (verification and validation) of its design and operation, including design verification and ergonomic design that considers the crew using the Naval Ship Product Model. In addition, many parts of this M&S are repeatedly accomplished regardless of the kinds of ships. This study aims to standardize M&S, which repeatedly applies similar verifications for operation scenarios. A congestion assessment simulation for the major spaces of ships was the subject of the standardization based on the leading research results of various researchers, and a simulation automation solution was suggested. An information model using XML was proposed through the simulation automation concept, and a prototype system based on it was implemented. The usability was shown through a case study that verified the operability performance of the crew messroom.

A Study on the RAMS Activity of KTX2 CTC (경부고속철도2단계 열차집중제어장치(CTC) RAMS활동에 대한 연구)

  • Han, Chan-Hee;Ahn, Jin;Cho, Woo-Sick
    • Proceedings of the KSR Conference
    • /
    • 2011.05a
    • /
    • pp.1167-1173
    • /
    • 2011
  • This study is described for the RAMS activities of performed to 2008.12 ~ 2010.10 KTX CTC Project. RAMS activities follow EN50126, EN50128, EN50129. CENELEC standards(EN50126, EN50128, EN50129) to the System Development Life-cycle are defined. This study is RAMS activities of life-cycle that can be found to satisfy SIL2. In addition, assessment of the ISA was completed. This paper is describe RAMS activities results of each phase and Safety Case according to Verification/Validation result.

  • PDF

A Study on the Validation of Long-Term Dispersion Models (장기예측모델의 정합도 분석에 관한 연구)

  • 송동웅;김원만
    • Journal of Korean Society for Atmospheric Environment
    • /
    • v.7 no.3
    • /
    • pp.150-155
    • /
    • 1991
  • The Gaussian models were selected as the reference models for the study. During the study of the model verification in the Ulsan Industrial Complex, the accuracy and limitation of models were assessed. The correlation coefficients of the observed and the predicted values for CDM 2.0 and TCM2B were ranged from 0.57 to 0.73 and from 0.72 to 0.86, respectively. And there were relatively large discrepancies between the predicted and predicted and the measured concentrations for several locations. Therefore, the Gaussian models should be used with careful discretion to apply the urban area in Korea.

  • PDF

Application of SE Management Techniques for space Launch System Development (우주발사체 시스템 개발에 있어서의 SE관리기법 적용)

  • Jo, Mi-Ok;Jo, Byeong-Gyu;O, Beom-Seok;Park, Jeong-Ju;Jo, Gwang-Rae
    • 시스템엔지니어링워크숍
    • /
    • s.4
    • /
    • pp.90-94
    • /
    • 2004
  • System engineering(SE) management techniques applied for space launch system development are introduced to assess the current status and address the effwctiveness of these techniques. Management plans and guides are prepared for the work breakdown structure , data, comfiguration, interface control, Quality assurance, procurement, reliability, risk and verification/validation . Further improvement is required for the system engineering management plan(SEMP) to merge the international cooperation into current engineering managment system.

  • PDF

Hardware Burn-in and Software Testing (하드웨어 번인과 소프트웨어 시험)

  • 유영관;이종무
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2001.05a
    • /
    • pp.77-81
    • /
    • 2001
  • Burn-in is a test procedure to find and eliminate the inherent initial failure of a product during or at the final stage of production process. Software testing is the validation and verification process which is used to cut off the faults from a software. The two have the common function and objective of "debugging". This article summarizes some significant models on the optimal hardware and software burn-in time, and provides the relevant paper lists. The need for the development of the unified burn-in policy of a hardware-software system is addressed.addressed.

  • PDF

Stochastic (Q, r) Inventory Model for Two-echelon Distrubution System (2단계 분배체계를 위한 확률적(Q,r)재고모형)

  • 심재홍;최규탁;김정자
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.23 no.1
    • /
    • pp.43-65
    • /
    • 1998
  • This paper develops a two-echelon inventory model with time-weighted partial backorders. The presented model assumed to follow continuous review (Q. r) policy for both the retailers and the central warehouse under stochastic demand. A heuristic method to find an optimum-tending solution for total variable system cost per year incurred at the central warehouse and retailers in a system is suggested. To show the usefulness of the above model, numericla examples are illustrated for verification and validation purpose.

  • PDF

A SURVEY ON MODEL W&A OF SYSTEM SIMULATION

  • Ying, Wang-Xiao;Ming, Zhang-Qing
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2001.10a
    • /
    • pp.391-395
    • /
    • 2001
  • Model verification, validation and accreditation (VV&A) of system simulation are detailedly discussed in this paper. The necessity of VV&A is explained by analyzing the factors on which the model and the reality are discrepant. The W&A technology is expounded in detail not only in the conceptual aspect but also in the methodological aspect. Some principles, difficulties and problems that should be paid attention to are discussed concretely and reasonedly. The paper is expected to be instructional and helpful to the VV&A study.

  • PDF

A Study on the Achieving Software Quality in Nuclear Field (원전의 컴퓨터 소프트웨어 품질확보 방안 고찰)

  • 고한준;오연우
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.19 no.38
    • /
    • pp.61-68
    • /
    • 1996
  • Quality Assurance Principles must be effectively implemented in developments and in use of safety critical software in nuclear industry. Brief definitions related to computer software and quality assurance were defined and several methods for evaluating software quality were proposed herewith. Independent verification and validation was suggested to assure the quality of safety critical software.

  • PDF