• Title/Summary/Keyword: System verification and validation

Search Result 290, Processing Time 0.03 seconds

Traceability Enhancement Technique for Dependency Relations of Software Artifacts based on the Integration of Software Configuration Management System and Personal Workspace (소프트웨어 형상관리 시스템과 개인 작업공간 통합 기반 산출물 의존 관계 추적성 개선 기법)

  • Kim, Dae-Yeob;Youn, Cheong
    • The KIPS Transactions:PartD
    • /
    • v.18D no.6
    • /
    • pp.451-460
    • /
    • 2011
  • The ability to trace change history and dependency relations of software artifacts which are continuously changed has been recognized as an important factor that support quality management activities such as verification, validation, and testing in software system development process. General software configuration management systems provide tracing information for artifacts only within the configuration management system, and it does not go further to changes that occur within personal workspace. This paper provides a solution that helps tracing down not only changes of configuration items but also change history of artifacts existent in personal workspace through the integration of configuration management system and personal workspace. Furthermore, in cases of artifacts which are included in a configuration item, this paper provides a solution that support tracing dependency relations between the artifacts by identifying their version links. For the integration of configuration management system and personal workspace, a revision of configuration item is connected to the artifact's version of the workspace by the tagging mechanism, and traceability for change history and dependency relations of artifacts can be managed more effectively through integrated change process.

A Study on the Modeling Method of Performance Evaluation System for MW Scaled Energy Storage System Using the PSCAD/EMTDC (PSCAD/EMTDC를 이용한 MW급 ESS용 성능평가설비 모델링 방안에 관한 연구)

  • Kang, Min-Kwan;Choi, Sung-Sik;Park, Jae-Beom;Nam, Yang-Hyeon;Kim, Eung-Sang;Rho, Dae-Seok
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.66 no.6
    • /
    • pp.885-891
    • /
    • 2017
  • The energy storage system(ESS) is a core component for exchanging the power system structure of the unidirectional power flow into a bidirectional structure. Its important role has been increasing because it has multiple functions such as output stabilization of new renewable energy, demand management, frequency regulation, etc. However, the performance evaluation technology of ESS in korea is lower than one of advanced countries and the recognition of standardization is also lack compared to advanced countries. Furthermore, in order to more accurately and reliably validate the performance of the ESS in advanced countries, it has been required to perform not only performance testing by H/W devices but also performance verification by S/W tool. Therefore, in order to verify the performance testing of ESS by S/W tool, this paper proposes the modeling method of performance testing devices for MW scaled ESS by using the PSCAD/EMTDC S/W, based on real testing devices in domestic institute. From the simulation results of proposed modeling method, it is confirmed that the proposed modeling method is a useful tool for performance validation of ESS.

A study of Analysis Method of Human Factors for Operation Improvement (운용성 향상을 위한 인적 요소 분석 방법에 관한 연구)

  • Chung, SungHak
    • Journal of the Korea Society of Computer and Information
    • /
    • v.18 no.7
    • /
    • pp.57-67
    • /
    • 2013
  • This study suggests for effective operation of systematic analysis method for human factors which is based on the requirement architecture framework a requirement process to manage requirements for improvement is discussed, such as in requirements generation, database construction, management of experimental design, and management of the design traceability. For the objectives, we analyzed the method construct of the starting point views of user requirement which is adopted the requirement architecture concept to cover the whole activities required to do and the human factors guidelines and standards are suggested for verification and validation of the develop requirements. It is getting more attention as the operation of the enabling systems goes up these days. Throughout the propose of this study, human factors requirement database design presented in operational environment system for enabling system which is based on case study using a computer aided se tool. This study will be contributed to how the operational requirement database for the enabling system and operational human factors can be constructed in an integrated system design fashion.

Conceptual Design of Cold Gas Propulsion System of a Ground Simulator for Maneuver and Attitude Control Design Verification of Spacecraft (우주비행체 기동 및 자세제어 설계 검증을 위한 지상 시뮬레이터용 냉가스 추진시스템의 개념설계)

  • Kim, Jae-Hoon;Lee, Kyun Ho;Hong, Sung Kyung;Kim, Hae-Dong
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.19 no.1
    • /
    • pp.98-110
    • /
    • 2015
  • Recently, a validation research of maneuvering and attitude control logics of a spacecraft under a ground condition is getting increase by using operating simulators with compact and precise components. For that, a cold gas propulsion system is generally used for maneuvering and attitude control of spacecraft ground simulators for its simplicity and a high reliability. In the present study, major design parameters of a cold gas propulsion system are derived to meet mission requirements based on conceptual design results of a simulator. And additionally, commercial components with proper specifications are selected for system assembly.

A Study on the Development of Test Facility for Safety System Software V/V in Nuclear Power Plant (원자력발전소 안전계통 소프트웨어의 확인/검증을 위한 시험장치 개발에 관한 연구)

  • Lee, Sun-Sung;Suh, Young;Moon, Chae-Joo
    • Journal of Energy Engineering
    • /
    • v.7 no.1
    • /
    • pp.96-102
    • /
    • 1998
  • The use of computers as part of nuclear safety systems elicits additional requirements-software verification and validation (v/v), hardware qualification-not specifically addressed in general industry fields. The computer used in nuclear power plants is a system that includes computer hardware, software, firmware, and interfaces. To develop the computer systems graded with nuclear safety class, the developing environments have to be required in advance and the developed software have to be verified and validated in accordance with nuclear code and standards. With this requirements, the test facility for Inadequate Core Cooling Monitoring System (ICCMS) as one of safety systems in the nuclear power plants was developed. The test facility consists of three(3) parts such as Input/Output (I/O) simulator, Plant Data Acqusition System (PDAS) cabinets and supervisory computer. The performance of the system was validated by manual test procedure.

  • PDF

Development of Switching System for Flight Control Law (비행제어법칙 전환시스템 개발)

  • Ahn, Jong-Min;Im, Sang-Soo;Kwon, Jong-Kwang;Choi, Sup;Lee, Yong-Pyo;Ko, Joon-Soo
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.7
    • /
    • pp.712-718
    • /
    • 2008
  • This paper deals with a development of flight control law switching system which can be used for flight test of the research control law by switching control law during flight. Through this research program, fader logic and integrator stabilization design has been introduced to minimize the transient response of aircraft caused by flight control law switching and to prevent the divergence of the integrator included in the control law in standby mode. MIL-STD-1553B communication was applied to transfer the data between the two control laws. This paper introduce the control law switching system architecture and major design concept and include the system verification and validation result performed on the flying quality simulator of the advanced trainer.

Verification of Required Pressurant Mass Prediction Program for Propellant Tank through Flight Test Data (비행시험 데이터를 통한 추진제탱크 가압가스 요구량 예측 프로그램 검증)

  • Kwon, Oh-Sung;Han, Sang-Yeop;Cho, In-Hyun;Ko, Young-Sung
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2010.11a
    • /
    • pp.723-725
    • /
    • 2010
  • Calculation program to predict required pressurant mass for propellant tank was verified through flight test data. This program was already developed and verified through ground test data, but to increase reliability of program, it was compared with flight test data of KSR-III launched in 2002. Because pressurant temperature incoming to propellant tank was not measured in flight test, that was assumed in calculation program. Required pressurant mass and inside temperature of oxygen tank dome was compared. Validation of calculation program was verified by showing required pressurant mass accuracy of 6%.

  • PDF

Automated Verification of Livestock Manure Transfer Management System Handover Document using Gradient Boosting (Gradient Boosting을 이용한 가축분뇨 인계관리시스템 인계서 자동 검증)

  • Jonghwi Hwang;Hwakyung Kim;Jaehak Ryu;Taeho Kim;Yongtae Shin
    • Journal of Information Technology Services
    • /
    • v.22 no.4
    • /
    • pp.97-110
    • /
    • 2023
  • In this study, we propose a technique to automatically generate transfer documents using sensor data from livestock manure transfer systems. The research involves analyzing sensor data and applying machine learning techniques to derive optimized outcomes for livestock manure transfer documents. By comparing and contrasting with existing documents, we present a method for automatic document generation. Specifically, we propose the utilization of Gradient Boosting, a machine learning algorithm. The objective of this research is to enhance the efficiency of livestock manure and liquid byproduct management. Currently, stakeholders including producers, transporters, and processors manually input data into the livestock manure transfer management system during the disposal of manure and liquid byproducts. This manual process consumes additional labor, leads to data inconsistency, and complicates the management of distribution and treatment. Therefore, the aim of this study is to leverage data to automatically generate transfer documents, thereby increasing the efficiency of livestock manure and liquid byproduct management. By utilizing sensor data from livestock manure and liquid byproduct transport vehicles and employing machine learning algorithms, we establish a system that automates the validation of transfer documents, reducing the burden on producers, transporters, and processors. This efficient management system is anticipated to create a transparent environment for the distribution and treatment of livestock manure and liquid byproducts.

PHASE-B PRE-SIMULATION USING BORON AND GADOLINIUM AS POISON IN THE MODERATOR SYSTEM FOR WOLSONG-1

  • Kim, Sung-Min;Kim, Hyeong-Taek;Donnelly, Jim;Marleau, Guy
    • Nuclear Engineering and Technology
    • /
    • v.44 no.5
    • /
    • pp.551-560
    • /
    • 2012
  • The Wolsong-1 (W-1) Phase-B pre-simulations were carried out in preparation for tests to be conducted for the restart of the reactor after a major refurbishment project that included replacement of the pressure tube. These pre-simulations for Wolsong-1 Phase-B differ from those in the past that were performed for the Wolsong-1,2,3,4 tests in that these tests use the WIMS/DRAGON/RFSP-IST code suite for verification of the tests and gadolinium instead of the traditional PPV/MULTICELL/RFSP code system and boron as poison in the moderator system. The use of gadolinium is deemed not to have domestically accumulated experience gained from the previous Phase-B tests. Thus, it is appropriate to conduct a study in order to gain a correct understanding and interpretation of potential differences in test results stemming from using gadolinium rather than boron. Although the calibration of the reactivity device will not be noticeably different using boron and gadolinium at a constant moderator temperature, the temperature dependency of the neutronic behavior due to the presence of gadolinium in the moderator system might be pronounced. The results of the pre-simulations using gadolinium revealed that the moderator temperature reactivity coefficients indeed showed significant differences in comparison with those with boron. In order to secure the validity of the analysis results, the newly acquired WIMS/DRAGON/RFSP-IST code suite was verified against the W-2,3,4 Phase-B test results. The results of the new code suite verifications revealed some overall improvements in accuracy; justification of the use of the code can be claimed for the validation of the W-1 Phase-B test results.

A Study on Simulation based Manufacturing in Shipyards : Focused on a Long-term Plan Verification (조선소에서의 시뮬레이션 기반 생산에 관한 연구 : 선표 계획 검증을 중심으로)

  • Lee, Dong-Kun;Oh, Dae-Kyun
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.20 no.1
    • /
    • pp.86-95
    • /
    • 2014
  • Productivity improvement of a shipbuilding company depends on how efficiently its limited resources are managed and utilized. Recently, research on modeling and simulation (M&S) to support shipyard production management system has been being under study. The production management based on M&S rejects decision making on experience, and it can establish productivity improvement method based on quantitative and specific data. In this paper, M&S is applied to the long-term plan as a part of the production planning in shipyards. To this end, the long-term plan processes and related management systems are analyzed. Based on the analysis, a simulation model and an application system using commercial simulation software are suggested. And basic structure of the suggested system is based on web technology such as Rich Internet Application, web services protocol for compatibility with existing shipyard enterprise systems. Utilizing the results of this study, it is expected that shipyard production planners can settle down work flow, in which one can establishes the production plan, simulates the plan, and analyzes the results, enabling a more reliable production plans.