• Journal of Internet Computing and Services
• /
• v.4 no.4
• /
• pp.53-64
• /
• 2003

To perform the certificate validation on the user-side application induces the very considerable overhead on the user-side system because of the complex and time-consuming characteristic of the validation processing. Most of the time spend for performing the validation processing is required for the digital signature verification, since the verification accompanies with the cryptographic calculation over each certificate on the certificate path. In this paper, we propose a new certificate validation scheme using DSVP(Delegated Signature Validation Protocol) which can reduce the overhead for the user-side certificate validation processing. It is achieved by delegating the digital signature verification to CAs of the PKI domain. As the proposed DSVP is the protocol performed between a user and CAs, it is applied to the hierarchical PKI efficiently and used for delegating the digital signature verification reliably and safely, our proposed scheme can not only reduces the overhead for the validation processing by decreasing the cryptographic calculation but also improves the utilization of CAs by employing them to the validation processing.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.2
• /
• pp.81-86
• /
• 2014

In this paper, we states the verification and validation methodology for the modular system of A-SMGCS which defined in the ICAO Manual on Advanced Surface Movement Guidance and Control Systems. Such systems aim to maintain the declared surface movement rate under all weather conditions while maintaining the required level of safety. With the complete concept of an A-SMGCS, air traffic controllers, vehicle drivers, flight crews, and are assisted with surface operations in terms of surveillance, control, routing/planning and guidance tasks. A-SMGCS verification and validation for the development of Real Time Simulation, shadow mode trials, operational trials are conducted through three methods. In this study, the characteristics and the need for such a verification method was examined.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• YAKHAK HOEJI
• /
• v.57 no.5
• /
• pp.362-368
• /
• 2013

High performance liquid chromatograph (HPLC) is the most frequently used analytical instrument in analytical laboratories for pharmaceutical analysis. In order to provide a high level of assurance for reliable data generated from the HPLC analysis, the performance qualification of the HPLC system is required. For this purpose, the performance of HPLC system should be regularly monitored by examining the key functions of the typical HPLC system (solvent delivery system, injector system, column oven, UV-VIS detector system). We have investigated the validation guidelines of the performance verification of these key modules for HPLC system. And we proposed and evaluated its validation guidelines and the related verification methods for pharmaceutical analysis that could be practically applied in Korea.

• Journal of Advanced Navigation Technology
• /
• v.21 no.2
• /
• pp.155-162
• /
• 2017

In recent years, aviation-related safety-critical systems have been developed in Korea, but these products have not satisfied the specified requirements and thus have not been commercialized or commercialized. Due to increasing complexity of the modern aviation system, traditional verification and validation techniques are not sufficient to identify and reduce latent risks in the system. To overcome this shortcoming, a new method which is called 'Independent verification and validation (IV&V)' is suggested. However, academic researches on the effectiveness of this independent verification and validation have not been conducted domestically, and it is performed very rarely even overseas. Therefore, in this paper, we investigated the application of independent verification and validation of the safety-critical aviation systems performed by advanced aviation organizations, and analyzed various positive effects on projects. As a result of the analysis, IV&V shows that early error detection rate is increased, potential risk is mitigated early, and the complex reworking probability, which appears later in the development life cycle, is reduced, greatly preventing the development schedule and costs from increasing.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• International Journal of Safety
• /
• v.3 no.1
• /
• pp.38-46
• /
• 2004

This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.

• Coupled systems mechanics
• /
• v.4 no.1
• /
• pp.37-65
• /
• 2015

Modeling and simulation of mechanical response of infrastructure object, solids and structures, relies on the use of computational models to foretell the state of a physical system under conditions for which such computational model has not been validated. Verification and Validation (V&V) procedures are the primary means of assessing accuracy, building confidence and credibility in modeling and computational simulations of behavior of those infrastructure objects. Validation is the process of determining a degree to which a model is an accurate representation of the real world from the perspective of the intended uses of the model. It is mainly a physics issue and provides evidence that the correct model is solved (Oberkampf et al. 2002). Our primary interest is in modeling and simulating behavior of porous particulate media that is fully saturated with pore fluid, including cyclic mobility and liquefaction. Fully saturated soils undergoing dynamic shaking fall in this category. Verification modeling and simulation of fully saturated porous soils is addressed in more detail by (Tasiopoulou et al. 2014), and in this paper we address validation. A set of centrifuge experiments is used for this purpose. Discussion is provided assessing the effects of scaling laws on centrifuge experiments and their influence on the validation. Available validation test are reviewed in view of first and second order phenomena and their importance to validation. For example, dynamics behavior of the system, following the dynamic time, and dissipation of the pore fluid pressures, following diffusion time, are not happening in the same time scale and those discrepancies are discussed. Laboratory tests, performed on soil that is used in centrifuge experiments, were used to calibrate material models that are then used in a validation process. Number of physical and numerical examples are used for validation and to illustrate presented discussion. In particular, it is shown that for the most part, numerical prediction of behavior, using laboratory test data to calibrate soil material model, prior to centrifuge experiments, can be validated using scaled tests. There are, of course, discrepancies, sources of which are analyzed and discussed.

• YAKHAK HOEJI
• /
• v.50 no.3
• /
• pp.154-159
• /
• 2006

For the increasing demand for the validation of analytical results, one of the important concerns of the analyst is to be assured that the instrumentation is working to qualified conditions. In this study, we have investigated and compared several validation guidelines of the performance verification of UV-VIS spectrophotometer used in pharmacopoeias of major countries and UV-VIS instrument analytical companies, and we proposed the practically useful validation guidelines of UV-VIS spectrophotometer. Based on our proposed validation guidelines of UV-VIS spectrophotometer, several UV-VIS spectrophotometers used in drug manufacturing laboratories were validated for their performances.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.6
• /
• pp.548-554
• /
• 2012

Verification and validation of operational software of the flight control computer, which is flight safety critical, is very important to prove correctness and faultness of the software. To verify the real-time softare requirement on operational software of flight control computer, real-time software internal parameter and variable monitoring technics on hardware-in-the-loop environment, similar to on-flight environment, is required. This paper describes flight safety critical software validation and verificiation environment using standard debugging interface, NEXUS 5001.