• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.29 no.3 s.234
• /
• pp.409-416
• /
• 2005

We need to develop a on-line thermal performance analysis system for nuclear power plant to determine performance status and heat rate of turbine cycle. We have developed PERUPS(PERformance Upgrade System) to aid the effective performance analysis of turbine cycle. Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on PTC(Performance Test Code). Robustness in the on-line performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful web interfaces for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis report. The system was successfully applied for YongGwang nuclear plant unit #3,4.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1467-1473
• /
• 2004

It requires different safety programs from those of the typical train control systems to develop AGT systems applying train control system based on communication technology. Especially Advanced LRT system involves the processes that have the various safety functions being conducted by softwares and also have characteristics that should have special interest in validation of interface specification. The core items for the safety engineering for LRT control systems are hardware & software engineering, safety-critical system safety engineering, application software validation & verification technologies. In this paper the trends of the technologies for the mentioned core-items are described.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.49-57
• /
• 2018

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.1
• /
• pp.12-22
• /
• 1995

When we integrate schema of distributed local databases, we mean entity integration as central concept of schema integration, and semantic of entity affects several factors. Thus the schema integration in distributed database environment starts from definition of domain relation among entity types of local schemas. Moreover, the domain relation defined by designer needs some works for confidence and validation of schema integration system. But this work was not presented in previous integration system. In this paper, we define object oriented integration for schema integration of local databases in distributed system environment, present models to verify validation on its integration, and implement the validation system.

• Nuclear Engineering and Technology
• /
• v.26 no.3
• /
• pp.367-373
• /
• 1994

It is necessary to adopt a simple signal validation for avoiding the complexity of algorithm and verification in the design process of the instrumentation and control system in nuclear plants. This paper suggests a signal validation method developed on the basis of consistency checking for the multi-channel measurement system without any analytic process model. It includes a simplified algorithm for estimating the fixed bias error of each channel and a weighted averaging method. The weighting factor of each channel is updated according to its calculated bias error. The developed method has been tested to verify its performance through several input scenarios.

• Nuclear Engineering and Technology
• /
• v.41 no.1
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• The KIPS Transactions:PartD
• /
• v.14D no.5
• /
• pp.531-544
• /
• 2007

As the current trend in e-business has led to more various and complex business processes in recent years, problems in business process models have increased gradually. Accordingly, the concern to validation of business process models has been much larger but there are few validation checking mechanisms supported so far. On the other hand BPMN driven by BPMI is a standard graphical notation. Using the tool supporting BPMN, business process can be modeled graphically and analyzed easily. In this paper, we present technical mechanisms which can efficiently detect anomalies in a process composed of BPMN and are capable of avoiding higher unexpected costs during runtime.

• Korean Journal of Veterinary Service
• /
• v.45 no.3
• /
• pp.237-242
• /
• 2022

The simultaneous analysis of mycotoxins using LC-MS/MS, a food official analysis method, was applied with compound feed for pets with high consumer preferences. In this study, the linearity of all calibration curves showed good linearity of 0.99 or more. and both the accuracy (recovery rate) and precision (repeatability) criteria of the concentration range for each mycotoxin in the National Agricultural Products Quality Management Service's Validation and Verification Guidelines were met. And as a result of analyzing FAPAS QCM in the same way, it was assesed that the z-scores of Aflatoxin B₁, Ochratoxin A, Zearalenone, and Fumonisin B₁, were within ±2 range. This study showed that the application of the food official analysis method to compound feed for pets is suitable.

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

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.3
• /
• pp.119-126
• /
• 2023

Sarcopenia is not well known enough to be classified as a disease in 2021 in Korea, but it is recognized as a social problem in developed countries that have entered an aging society. The diagnosis of sarcopenia follows the international standard guidelines presented by the European Working Group for Sarcopenia in Older People (EWGSOP) and the d Asian Working Group for Sarcopenia (AWGS). Recently, it is recommended to evaluate muscle function by using physical performance evaluation, walking speed measurement, and standing test in addition to absolute muscle mass as a diagnostic method. As a representative method for measuring muscle mass, the body composition analysis method using DEXA has been formally implemented in clinical practice. In addition, various studies for measuring muscle mass using abdominal images of MRI or CT are being actively conducted. In this paper, we develop an AI image segmentation model based on abdominal images of CT with a relatively short imaging time for the diagnosis of sarcopenia and describe the multicenter validation. We developed an artificial intelligence model using U-Net that can automatically segment muscle, subcutaneous fat, and visceral fat by selecting the L3 region from the CT image. Also, to evaluate the performance of the model, internal verification was performed by calculating the intersection over union (IOU) of the partitioned area, and the results of external verification using data from other hospitals are shown. Based on the verification results, we tried to review and supplement the problems and solutions.