• Journal of Applied Reliability
• /
• v.16 no.3
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

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

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1252-1253
• /
• 2011

The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.880-886
• /
• 2014

Many railway signalling functions have increasingly depended on computer software with recent development in computing technology, leading to evolution into more flexible and intelligent railway signalling system. Meanwhile, software programs are likely to have many errors and the cost incurred by such errors has increased. Especially, if fatal software error occurs during railway operation, it may result in loss of lives. So the software verification and validation have become more important. It is needed for software functional safety tool to support these, but most commercial tools depend on direct access to the system's memory, resulting in many difficulties in application. Owing to such difficulties and complexity, they are rarely used in railway signalling system software validation. In this study, a new testing tool for software functional testing through an external interface that can be easily used in functional testing of software was developed. Such testing tool allows development and analysis of test cases for black-box testing through analysis of actually used interface protocols, leading to increased user convenience.

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

• Nuclear Engineering and Technology
• /
• v.40 no.5
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.8
• /
• pp.1915-1925
• /
• 1998

The switching system software is large scale, real-time multi-task system which requires high reliability. The reliability assessment of large-scale software is very important for the success of software development project. For this raeson, the software quality measurement is much more important. In this paper, we have learned about the software reliability, metho of the analysis of failure data and estimation of software quality. To estimate the software reliability, using the failure data found during of the system test. We apply the two software reliability growth models, named Goel-Okumoto(G-O) and S-shaped model, to estimate the software reliability. Also, we compared with the results and we reviewed fully not only development cycle but validation and verification of the test data, for each software versions. This paper presents a software reliability model that suitale the software development project and the activeity of quality control for the switching system.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.329-336
• /
• 2017

As web apps have evolved faster and become more complex, their validation and verification have become essential for their development and maintenance. Efficient validation and verification require understanding of how web components collaborate with each other to meet user requests. Thus, this paper proposes a new approach to automatically extracting such collaboration when a user issues a request for a new page. The approach is dynamic and less sensitive to web development languages and technologies, compared to static extraction approaches. It considers an orignal web app as a black-box and does not change the app's behavior. The empirical evaluation shows that our approach can be applicable to extract component collaboration and understand the behavior of open source web apps.

• Nuclear Engineering and Technology
• /
• v.42 no.4
• /
• pp.377-381
• /
• 2010

In 2007 the Nuclear Energy Agency's Committee on the Safety of Nuclear Installations published Best Practice Guidelines for the use of CFD in Nuclear Reactor Safety. This paper provides an overview of the document' contents and highlights a few of its recommendations. The document covers the full extent of a CFD analysis from initial problem definition and selection of an appropriate tool for the analysis, through final documentation of results. It provides advice on selection of appropriate simulation software, mesh construction, and selection of physical models. In addition it contains extensive discussion of the verification and validation process that should accompany any high-quality CFD analysis.

• Journal of Internet Computing and Services
• /
• v.23 no.2
• /
• pp.79-86
• /
• 2022

This paper focuses on realizing design improvement and high quality through visualization of reverse engineering-based software. As new technologies and complex software emerge in various areas of the fourth industry in the future, software verification with both stability and reliability is becoming an issue. We propose a reverse engineering-based UML design extraction and visualization for high-quality software ranging from simple computational software to machine learning-based data-oriented software. Through this study, it is expected to improve software quality through design improvement by checking the accuracy of the target design and identifying the code complexity.