• Journal of the Korea Computer Industry Society
• /
• v.5 no.5
• /
• pp.721-728
• /
• 2004

OCSP (Online Certificate Status Protocol) server which checks the certificate status provides the real time status verification in the PKI (Public Key Infrastructure) system which is the essential system of certificate. However, OCSP server need the message authentication with the server and client, so it has some shortcomings that has slow response time for the demands of many clients concurrently and has complexity of the mathematical process in the public encryption system. In this research, simulation model of the certificate status vertification server is constructed of the DEVS (Discrete EVent system Specification) formalism. This sever model is constructed to practice the authentication with hash function when certificate is checked. Simulation results shows the results of increase of the certificate status verification speed and decrease of the response time to the client.

• Journal of the Korea Society for Simulation
• /
• v.19 no.1
• /
• pp.41-51
• /
• 2010

A control system has been being developed by korean engineers for 500MW korean standard type fossil power plant with the advent of retrofit of old control system. Simulators have been used for digital I&C system pre-tests and validation tests in nuclear power plants. In this paper, the power plant simulator for control system V&V was developed in order to verify the developed control system prior to application to a power plant. The control models were developed using plant control system data, translator programs, and vendor manuals. The developed simulator was verified by steady-state test, load swing test, transient test and so on.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.9
• /
• pp.5802-5809
• /
• 2015

Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.9
• /
• pp.397-404
• /
• 2019

When developing a weapon system, a T&E(Test and Evaluation) can be performed using M&S for the test items that cannot be evaluated in the real world. In this case, the VV&A activities are required to prove the credibility of M&S for the T&E. Recently, the use of M&S has been increasing as the R&D trends of weapon systems are becoming more advanced. Therefore, the VV&A activities are also increasing. The VV&A activities aim to verify, validate, and accredit that the simulation can represent a real system and ensure credibility regarding its purpose and intention of use. VV&A activities are divided into V&V and Accreditation. When performing VV&A in the ADD (Agency for Defense Development), the V&V activities are performed by a separate department of the ADD and the accreditation activities are performed in the DTAQ (Defense Agency for Technology and Quality). This paper proposes a V&V process for a T&E of M&S that has been performed in ADD. The process is used to verify and validate the documents and data generated during the development process according to the accreditation criteria, and provides objective data that can be used to judge whether the accreditation decision and acceptance criteria are met.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.16 no.2
• /
• pp.1-11
• /
• 2008

Increasing demand for improved reliability and survivability of mission-critical systems is driving the development of health monitoring and Automated Contingency Management (ACM) systems. An ACM system is expected to adapt autonomously to fault conditions with the goal of still achieving mission objectives by allowing some degradation in system performance within permissible limits. ACM performance depends on supporting technologies like sensors and anomaly detection, diagnostic/prognostic and reasoning algorithms. This paper presents the development of a generic prototype test bench software framework for developing and validating ACM systems for advanced propulsion systems called the Propulsion ACM (PACM) Test Bench. The architecture has been implemented for a Monopropellant Propulsion System (MPS) to demonstrate the validity of the approach. A Simulink model of the MPS has been developed along with a fault injection module. It has been shown that the ACM system is capable of mitigating the failures by searching for an optimal strategy. Furthermore, the concepts of Validation and Verification (V&V) of such systems are introduced with relevant examples.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.19 no.4
• /
• pp.85-93
• /
• 2015

Liquid rocket engines of KSLV-II employ a turbopump feed system for propellants. A turbopump real-propellant test facility based on liquid oxygen and kerosene has been constructed for the experimental verification of the turbopump performance using the real media of propellants(i.e., LOX/Kerosene). The verification tests of sub-systems were performed such as LOX/kerosene feed system and alcohol burner system. Finally, the performance of the whole system was executed and verified through a sets of validation tests with the development model of the KSLV-II turbopumps. It has been confirmed that the test facility satisfies the operating conditions and time of the turbopump at the design and off-design performance test using real-propellant.

• 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.

• International journal of advanced smart convergence
• /
• v.9 no.3
• /
• pp.227-231
• /
• 2020

Recently, the importance of user experience (UX) has been rapidly increasing. Its utilization is emphasized for development of systems, products, and services. User experience is widely used across industries including services, products, processes, society, and culture. Therefore, if it is unsatisfactory, it is likely to have a direct negative impact on the corresponding system, product, or service. The failure to analyze user experience causes significant damage to the project, which may lead to its failure or redevelopment; it is hence necessary to prioritize the verification of UX in the earliest stages of development. The requirements development stage, which is a preceding stage, is an appropriate stage for the verification of user experience because the identification of user needs is completed and prototypes can be implemented. In this paper, we proposed a systematic requirements development stage; it adds user experience verification activities to the requirements development stage, using the Honeycomb model, which is a widely used tool for verifying the overall UX. User experience verification was added to the existing requirements development activities, which consisted of three steps: model definition and requirements placement, discussions between external and internal stakeholders, and review by internal stakeholders. By easily validating the user experience through this systematic requirements development stage, we expect to minimize the damage to the project due to the failure of the user experience analysis and increase the possibility of success.

• Journal of the Korea Society for Simulation
• /
• v.24 no.3
• /
• pp.1-8
• /
• 2015

Verification, Validation & Accreditation (VV&A) process is widely applied in various disciplines as a method of acquiring the credibility for M&S tools. The guideline of VV&A states that the detailed process can be established flexibly according to the needs and the availability of resources. For example, DAPA (Defense Acquisition Program Administration) guideline suggests that the accreditation process in the VV&A can be omitted if necessary. On this study, we first introduce and describe V&V process. Accreditation process is omitted due to limited time and resources. However, the proposed V&V is sufficient for our needs. Finally, we apply the proposed process of V&V to the System-Integrated Simulator of "Raybolt", Medium-Range Infantry Missile System, for the acquisition of the M&S credibility.

• 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.