• 컴퓨터교육학회논문지
• /
• 제11권1호
• /
• pp.97-107
• /
• 2008

PC 그리드 환경에서 각 PC 자원(인터넷에 연결된 PC)이 수행한 작업 결과에 대한 정확성 검증은 중요한 문제이다. 이제까지 PC 그리드 환경에서는 작업 결과에 대한 정확성을 보장하기 위한 결과검증 기법으로 투표기반 기법이나 신용기반 기법이 사용되어 왔다. 그러나 이들 기법들은 동적인 연산 환경에 효과적으로 대처하지 못하여 자원 활용의 낭비와 높은 연산 지연을 초래할 수 있는 단점을 갖고 있다. 이러한 단점을 해결하고자 본 논문에서는 신용도(credibility)와 가용성(availability)을 기반으로 하는 PC 자원의 분포 정보를 결과검증 과정에 도입한다. 이러한 정보를 사용하여, 각 PC 자원의 신용도를 평가하여 작업 결과의 정확성을 판단하고 동시에 PC 자원의 가용성 정보를 이용하여 동적 환경에 대처하는 새로운 결과검증 기법을 제안한다. 제안하는 결과검증 기법의 효율성을 증명하기 위해서 국내의 대표적 PC 그리드 시스템인 Korea@Home 시스템의 자원 분포 정보를 활용하여 제안 기법의 성능을 전체작업의 반환시간과 자원사용량의 관점에서 평가하고 다른 결과검증 기법들과 비교하여 우수성을 보인다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집 특별세미나,특별/일반세션
• /
• 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.

• 한국안전학회지
• /
• 제34권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.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권5호
• /
• pp.147-156
• /
• 2022

다양한 산업을 관리하고 유지하는 산업제어시스템은 주로 외부와의 연결 없이 폐쇄적으로 운영됐지만 최근 인터넷의 발전과 ICT 기술의 도입으로 외부나 공격자의 산업제어시스템에 접근이 쉬워졌다. 잘못된 접근이나 공격은 산업제어시스템의 주요 속성인 가용성을 해칠 수 있으며, 가용성이 침해될 경우 큰 피해가 발생할 수 있다. 본 논문에서는 산업제어시스템에서 명령을 내릴 때 랜덤리스트를 생성해 검증그룹을 구성하여 명령을 검증 후 실행하며, 명령 실행 결과를 이용해 검증을 진행한 검증그룹에 피드백을 적용하는 신뢰 점수 기법을 도입한다. 이를 통해 명령 검증 요청과정에서 랜덤 생성에 발생하는 오버헤드를 줄일 수 있으며, 검증 과정에 유연성을 부여하고 시스템의 가용성을 보장할 수 있다. 시스템의 성능 분석을 위해 스마트 계약 배포 시 걸리는 시간과 가스 사용량, 명령 검증 시 가스 사용량을 측정했다. 그 결과, 기존시스템과 비교해 랜덤리스트를 생성하지만, 스마트 계약 배포에 걸리는 시간은 거의 차이가 없음을 확인했고 스마트 계약 배포에 사용되는 가스는 랜덤리스트 생성과정에서 약 1.4배 증가함을 확인했다. 하지만, 명령 검증 과정에서 명령 검증과 신뢰 점수 기법의 연산을 함께 진행함에도 랜덤 연산을 하지 않아 검증 1회당 약 9% 적은 가스를 사용해 검증 과정에 가용성을 보장한다.

• 한국IT서비스학회지
• /
• 제19권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.

• 한국유체기계학회 논문집
• /
• 제19권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)
• /
• 제10권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.

• 한국CDE학회논문집
• /
• 제14권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.

• 음성과학
• /
• 제10권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
• /
• 제51권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.