• The Journal of Korean Association of Computer Education
• /
• v.11 no.1
• /
• pp.97-107
• /
• 2008

The result verification that determines correctness for the work results calculated in each PC is one of the most important issues in PC grid environments. In this literature, voting-based and trust-based schemes have been mainly used to guarantee the correctness of work results. However, these schemes suffer from both waste of resource utilization and high computation delay because they can not effectively cope with dynamic computational environments. To overcome these shortcomings, we introduce the distribution information of PC resources based on credibility and availability into result verification phase. Using this information, we propose a new result verification scheme, which can determine the correctness of work results by each PC resources' credibility and cope with the dynamic changing environments by each PC resources' availability. To demonstrate the efficiency of our result verification scheme, we evaluate the performance of our scheme from the viewpoints of turnaround time and resource utilization, utilizing resource distribution information in the Korea@Home that is a representative PC grid system in domestic. We also compare the performance of our scheme with that of other ones.

• Proceedings of the KSR Conference
• /
• 2009.05b
• /
• pp.191-198
• /
• 2009

There are almost no studies on verification of requirements for high speed rolling stocks by means of RAM goals and on setting RAM goals by means of verification on practical reliability, availability and maintainability for high speed rolling stocks though they are covered in specification of an order that RAM goals asked of rolling stocks are shown for gaining high quality of them and availability when they are in operation. This study is for estimating number of high speed train-sets that would be supplementarily placed an order through verification of RAM goals of a project for the introduction of KTX-II 100 cars. It verify that optimized requirements for high speed rolling stocks by relatively comparison with between requirements for train-sets through setting RAM goals and requirements for train-sets through analysis of prospects for management balance with high speed rolling stocks.

• Journal of the Korean Society of Safety
• /
• v.34 no.1
• /
• pp.108-114
• /
• 2019

Unattended Train operation(UTO) requires higher safety target than other systems, since all train operations are automatic. The system provider to deliver without accident or failure, and the operator to transport passengers without accident by putting all trains supplied, including them, into service. Safety rates without such failures can be represented as indicators of RAMS, among which availability is continuously controllable to achieve the target, with a clear target. Availability is often required by the licensee from the initial stage of the project to demonstrate that the request for proposal (RFP) is usually specified and to maintain separate availability targets at the operational stage. In particular, unlike unmanned operation light rail in complex systems, simple formulas are often presented to facilitate verification at each stage. This paper presents this method of usability calculation in an integrated manner at all levels and analyzes the existing usability values to ensure reliability of the availability formula for integrated use in unmanned light rail systems.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.5
• /
• pp.147-156
• /
• 2022

Industrial control systems that manage and maintain various industries were mainly operated in closed environment without external connection, but with the recent development of the Internet and the introduction of ICT technology, the access to the industrial control system of external or attackers has become easier. Such incorrect approaches or attacks can undermine the availability, a major attribute of the industrial control system, and violation of availability can cause great damage. In this paper, when issuing commands in an industrial control system, a verification group is formed using a random list to verify and execute commands, and a trust score technique is introduced that applies feedback to the verification group that conducted verification using the command execution result. This technique can reduce overhead generated by random generation in the process of requesting command verification, give flexibility to the verification process, and ensure system availability. For the performance analysis of the system, we measured the time and gas usage when deploying a smart contract, gas usage when verifying a command. As a result, we confirmed that although the proposed system generates a random list compared to the legacy system, there was little difference in the time when it took to deploy smart contract and that the gas used to deploy smart contract increased by about 1.4 times in the process of generating a random list. However, the proposed system does not perform random operations even though the operation of command verification and confidence score technique is performed together during the command verification process, thus it uses about 9% less gas per verification, which ensures availability in the verification process.

• Journal of Information Technology Services
• /
• v.19 no.3
• /
• pp.151-163
• /
• 2020

This paper describes a study on the FRACAS(Failure Reporting Analysis and Corrective Action System)-based dependability control platform for domestic urban railway trains. There are more demands for the verification of the dependability of trains as it becomes a regulation for train manufacturers to verify the dependability recently. Train manufacturers as well as railway operators need a effective FRACAS solution to perform the verification of the dependability. Yet current FRACAS solutions have limitations to support the verification processes effectively. This paper addresses the issues of current FRACAS solutions and suggests a FRACAS framework designed for the domestic urban railway trains. Service failure scenarios are standardized using the proposed availability model to implement a more user-friendly and reliable platform. A new FRACAS-based platform for the dependability control (SCARF^®) has been developed to implement the suggested framework. The detail interfaces and functions of the platform are explained. The SCARF^® platform is expected to engage the increasing demands for the dependability control successfully enhancing the reliability, maintainability, availability and safety of domestic urban railway trains eventually.

• The KSFM Journal of Fluid Machinery
• /
• v.19 no.3
• /
• pp.33-36
• /
• 2016

The investigation on the verification of availability simulation for small-scale plant has been carried out. This study focuses on the availability variation induced by number of equipment and iteration with failure density function. The equipment classification of small-scale plant and failure type and the methodologies on Monte-Carlo simulation are established. The availability deviation with programs showed under Max. 1.7% for the case of normal function. This method could be used to availability evaluation of small-scale plant, but calibration of the failure density function is necessary for general application.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.10
• /
• pp.4703-4723
• /
• 2016

The verification of data integrity is an urgent topic in remote data storage environments with the wide deployment of cloud data storage services. Many traditional verification algorithms focus on the block-oriented verification to resolve the dispute of dynamic data integrity between the data owners and the storage service providers. However, these algorithms scarcely pay attention to the data verification charge and the users' verification experience. The users more concern about the availability of accessed files rather than data blocks. Moreover, the data verification charge limits the number of checked data in each verification. Therefore, we propose a mixed verification protocol to verify the data integrity, which rapidly locates the corrupted files by the file-oriented verification, and then identifies the corrupted blocks in these files by the block-oriented verification. Theoretical analysis and simulation results demonstrate that the protocol reduces the cost of the metadata computation and transmission relative to the traditional block-oriented verification at the expense of little cost of additional file-oriented metadata computation and storage at the data owner. Both the opportunity of data extracted and the scope of suspicious data are optimized to improve the verification efficiency under the same verification cost.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.5
• /
• pp.323-329
• /
• 2009

Auto-makers can only remain competitive by producing high quality vehicles in an efficient way. In designing a production line, one of the most important objectives of digital manufacturing is to verify design errors as early as possible. In terms of the cost and time saving, it is very essential to start the construction of a production line with a proven design which is error-free. Likewise, this paper aims to implement PLC verification using an example. The verification in automobile manufacturing means verifying PLC program, which control automatic devices. In this paper, we built a virtual factory to implement PLC simulation and introduced verification procedure using PLC Studio. Finally, we can prove the availability for the PLC verification.

• Speech Sciences
• /
• v.10 no.2
• /
• pp.35-43
• /
• 2003

General speaker verification systems improve their recognition performances by normalizing log likelihood ratio, using a speaker model and its background speaker model that are required to be verified. So these systems rely heavily on the availability of much speaker independent databases for background speaker model design. This constraint, however, may be a burden in practical and portable devices such as palm-top computers or wireless handsets which place a premium on computations and memory. In this paper, new approach for the GMM-based background model design used in portable speaker verification system is presented when the enrollment data is available. This approach is to modify three parameters of GMM speaker model such as mixture weights, means and covariances along with reduced mixture order. According to the experiment on a 20 speaker population from YOHO database, we found that this method had a promise of effective use in a portable speaker verification system.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.444-452
• /
• 2019

To assess the availability of a nuclear power plant's dynamic systems, it is necessary to consider the impact of dynamic interactions, such as components, software, and operating processes. However, there is currently no simple, easy-to-use tool for assessing the availability of these dynamic systems. The existing method, such as Markov chains, derives an accurate solution but has difficulty in modeling the system. When using conventional fault trees, the reliability of a system with dynamic characteristics cannot be evaluated accurately because the fault trees consider reliability of a specific operating configuration of the system. The dynamic reliability graph with general gates (DRGGG) allows an intuitive modeling similar to the actual system configuration, which can reduce the human errors that can occur during modeling of the target system. However, because the current DRGGG is able to evaluate the dynamic system in terms of only reliability without repair, a new evaluation method that can calculate the availability of the dynamic system with repair is proposed through this study. The proposed method extends the DRGGG by adding the repair condition to the dynamic gates. As a result of comparing the proposed method with Markov chains regarding a simple verification model, it is confirmed that the quantified value converges to the solution.