• 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 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 Advanced Navigation Technology
• /
• v.21 no.1
• /
• pp.50-57
• /
• 2017

Recently, safety-critical aviation system development programs promoted domestically have been terminated in the middle stage or they have not been put to practical use at the final stage. The program failure may be caused by various factors, but this study focused on imperfect test and evaluation(T&E) procedures. In general, T&E process of a safety-critical system must be distributed throughout the entire life-cycle of the system, have a continuity in phases, and can be implemented in a variety of ways depending on the maturity of the system development and acquisition strategy. This paper aims to present a new strategy by analyzing the domestic and overseas T&E processes to reduce the risk of domestic safety-critical CNS/ATM system development program and increase the success rate of program. First, we discuss the verification and validation techniques for safety-critical systems, analyze the T&E procedures of advanced institutes and the domestic situation, and then compare the domestic and overseas T&E processes to complement the imperfect testing procedure.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.2
• /
• pp.139-151
• /
• 2017

This paper presents an overview of deep space orbit determination software (DSODS), as well as validation and verification results on its event prediction capabilities. DSODS was developed in the MATLAB object-oriented programming environment to support the Korea Pathfinder Lunar Orbiter (KPLO) mission. DSODS has three major capabilities: celestial event prediction for spacecraft, orbit determination with deep space network (DSN) tracking data, and DSN tracking data simulation. To achieve its functionality requirements, DSODS consists of four modules: orbit propagation (OP), event prediction (EP), data simulation (DS), and orbit determination (OD) modules. This paper explains the highest-level data flows between modules in event prediction, orbit determination, and tracking data simulation processes. Furthermore, to address the event prediction capability of DSODS, this paper introduces OP and EP modules. The role of the OP module is to handle time and coordinate system conversions, to propagate spacecraft trajectories, and to handle the ephemerides of spacecraft and celestial bodies. Currently, the OP module utilizes the General Mission Analysis Tool (GMAT) as a third-party software component for high-fidelity deep space propagation, as well as time and coordinate system conversions. The role of the EP module is to predict celestial events, including eclipses, and ground station visibilities, and this paper presents the functionality requirements of the EP module. The validation and verification results show that, for most cases, event prediction errors were less than 10 millisec when compared with flight proven mission analysis tools such as GMAT and Systems Tool Kit (STK). Thus, we conclude that DSODS is capable of predicting events for the KPLO in real mission applications.

• Journal of the Ergonomics Society of Korea
• /
• v.32 no.1
• /
• pp.9-16
• /
• 2013

Objective: The aim of this study is to investigate a trend of human error types observed in a series of verification and validation experiments for an Advanced Control Room(ACR) equipped with Lager Display Panel(LDP), Work Station Flat Panel Display(WS FPD), list type Alarm System(AS), Soft Control(SC) and Computerized Procedure System(CPS). Background: Operator behaviors in a fully computerized control room are quite different from those in a traditional hard-wired control room. Operators in an ACR all together monitor plant status and variables through their own interface system such as LDP and WS FPD, are notified of abnormal plant status through their own list type AS, control the plant through their own SC, and follow the structured procedure through their own CPS whereas operators in a traditional control room only separately do their duty directed by their supervisor. Especially the secondary task such as manipulating the user interface of ACR can be an extra burden to all the operators including the supervisor. Method: The Reason's human error classification method was applied to operators' behavioral data collected from a series of verification and validation experiments where operators showed their plant operational behaviors under a couple of harsh scenarios using the ACR simulator. Results: As operators accustomed to the new ACR system, knowledge or rule based mistakes appearing frequently in the early series of experiments decreased drastically in the latest stage of the series. Slip and lapse types of errors were observed throughout the series of experiments. Conclusion: Education and training can be one of the most important factors for the operators accustomed to the traditional control room to be adapted to the new system and to run the ACR successfully. Application: The results of this study implied that knowledge or rule based mistakes can be reduced by training and education but that lapse type errors might be reduced only through innovative improvement in human-system interface design or teamwork culture design including a new leadership style suitable for ACR.

• Asian Pacific Journal of Cancer Prevention
• /
• v.13 no.4
• /
• pp.1709-1710
• /
• 2012

Cancer is a major public health problem in Indonesia, becoming the 7th largest cause of death based on a national survey in 2007, accounting for 5.7 of all mortality. A cancer registry was started in 1970, but it was partial and was stopped mainly because no government body was responsible. Realizing the above situation, the Indonesian government established the Sub Directorate of Cancer Control within the Ministry of Health, with responsibility for developing a national cancer control program, including a cancer registry. A sustainable cancer registry was then started in 2007 within Jakarta Province, first hospital-based but then expanded to be population-based. Steps of cancer registration in Jakarta are data collection, data verification, data validation, data management and analysis, and data publication. Data collection is conducted by health facilities (hospitals, laboratories, primary health centers) at the district/municipal level, with reports to the provincial level. Data are collected passively by holding meetings every three months in the district/municipality. Verification of data is the responsibility of the medical doctor or pathologist in each data source. Data validation is conducted by a team in the cancer registry, consisting of district/municipal/province health officers, pathologists, and registrars. Data management and analyses are conducted by a cancer registry team at the provincial level, assisted by the national team. We use software named Indonesian Cancer Registry System (SRIKANDI) which is adopted from CanReg4 IARC. Data from the population-based cancer registry in Jakarta Province showed the leading cancers among females in 2005-2007 to be breast cancer, cervical cancer, ovarian cancer, colorectal cancer and among males are bronchus and lung cancer, colorectal cancer, liver cancer, pharyngeal cancer, and prostate cancer. The leading childhood cancers are leukaemia and retinoblastoma.

• Korean Journal of Construction Engineering and Management
• /
• v.13 no.1
• /
• pp.24-35
• /
• 2012

RFID-based logistics is increasingly adopted in various areas of the construction industry as a technology that can improve effectiveness and efficiency of construction logistics. However, the technology is not widely adopted yet compared to the potential of RFID applications in the construction industry that the existing research has shown. Since the validation and verification of the benefit from RFID applications were biased toward the productivity of managers, more wide aspect of validation and verification is necessary. Therefore, the objective of this paper is to show how much impact the RFID-based logistics management system can have on resource leveling and allocation that have a direct impact on a construction project as well as the managers' productivity improvement that was shown by the existing research. This paper also discusses issues arisen during the test process.

• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.6
• /
• pp.486-497
• /
• 2013

In this paper, we first present an in-depth survey of the research on Verification, Validation and Accreditation (VV&A) applied in various areas. Then we introduce the characteristics of the military and defense Modeling and Simulation (M&S) and propose the direction of method for VV&A with the identified characteristics. The M&S has been widely used in many different applications in the military and defense area including training, analysis, and acquisition. Methods and processes of VV&A have been proposed by researchers and M&S practitioners to guarantee the correctness of the M&S. The idea of applying the formal credibility assessment in VV&A is originated from the Software Engineering Reliability Test and Systems Engineering Development Process. However, the current VV&A techniques and processes proposed in the research community have not utilized the military-and-defense specific characteristics. We identify the characteristics and issues that can be found in the military and defense M&S. Then propose the direction of techniques and methods for VV&A considering the characteristics and issues. Also, possible research direction on the development of VV&A is proposed.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• Women's Health Nursing
• /
• v.26 no.2
• /
• pp.141-150
• /
• 2020

Purpose: High-quality nursing care must be provided for women with infertility, and their nursing needs must be identified. Although scales have been developed to assess infertility-related stress, quality of life, and psychosocial status, there is a lack of scales that assess the nursing needs of women with infertility. The purpose of this study was to develop a needs assessment scale for nursing care in women with infertility and to verify its reliability and validity. Methods: The 250 subjects in this study were women with infertility recruited from four hospitals. The scale was developed following the framework of DeVellis, through a literature review, in-depth interviews, development of preliminary items, verification of content validity, development of secondary items, verification of construct validity, and extraction of the final items. Date were analyzed using item analysis, factor analysis, confirmatory factor analysis, Pearson correlation coefficients, and Cronbach's alpha. Reliability was tested using Cronbach's alpha, and validity was evaluated using item analysis, exploratory factor analysis, and criterion validity. Results: The final version of the nursing needs assessment scale for woman with infertility consisted of 18 items. Four factors (physical and psychological nursing needs, needs for information regarding treatment, needs for infertility-related understanding and concern, and supportive needs) explained 66.0% of the total variance. Cronbach's alpha was .92 for the overall instrument and ranged from .88 to .91 for the subscales. Conclusion: These results suggest that this needs assessment scale for nursing care in women with infertility demonstrated acceptable validity and reliability and contained items suitable for assessing the level of nursing care needed by women with infertility.