• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.5
• /
• pp.429-436
• /
• 2009

Odd network was introduced as one model of graph theory. In [1], it was introduced as a class of fault-tolerant multiprocessor networks and analyzed so many useful properties such as simple routing algorithms, maximal fault tolerance, node axsjoint path, etc. In this paper, we sauw a construction algorithm of edge-axsjoint spanning trees in Odd network $O_d$. Also, we prove that edge-disjoint spanning tree generated by our algorithm is optimal edge-disjoint spanning tree.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.718-720
• /
• 2001

본 논문에서는 하이퍼큐브보다 망 비용이 개선된 상호연결망 HCN(n,n)의 임의의 두 노드간에 노드중복하지 않는 n+1개의 병렬경로를 구성하는 방법을 제시하고, 그 결과를 통하여 HCN(n,n)의 고장지름이 dia(HCN(n,n))+4 이하임을 보인다. 이러한 병렬경로는 노드간에 메시지를 전송하는 시간을 줄일 수 있으며, HCN(n,n)의 노드 몇 개가 고장이 발생해도 통신지연시간이 발생하지 않음을 의미한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.255-255
• /
• 1996

• Journal of Korea Society of Industrial Information Systems
• /
• v.20 no.4
• /
• pp.75-87
• /
• 2015

A redundant structure typically consists of primary component and standby component taking over the function of the primary component when the primary component fails. In this research, we consider a redundant structure in which a standby component can take over the function of more than one primary component when primary components fail. And we assume that the system has multi-state according to the states of components while all components have two states. This system is called as the multi-state redundant system with a multi-functional standby component. This type of redundant structure is frequently adapted by the system such as an aircraft in which the weight is an important design factor. In this paper, we propose new reliability model for this multi-state redundant system with a multi-functional standby component in order for evaluating the reliability of the system. Under the assumption that all components have constant failure rate, we evaluate the reliability of the system by applying Markov analysis method. And we investigate the effect of the multi-functional standby component by comparing reliabilities of the parallel system with multi-functional standby component and a simple parallel system and a parallel system with redundant structure.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.267-269
• /
• 1999

고장 감내형 CORBA*Fault Tolerant Common Object Broker Architecture)는 분산 객체 시스템 통합기술의 표준인 CORBA에 고장에 대한 회복수단을 제공하기 위해 제안되었다. CORBA에 고장 감내성을 추가하기 위해서는 객체단위의 중복그룹의 관리, 호출 구조 및 이에 따른 고장인지 및 회복기법이 필요하다. 기존에 제안된 분산 시스템 환경에서의 고장인지 및 회복기법들은 프로세스 단위의 동작, 실행시간에 생성된 객체의 동적 환경구성 기능의 부제 등의 문제로 고장 감내형 CORBA에 적용시키기에는 많은 문제점을 가지고 있다. 따라서, 본 논문에서는 사용자에게 고장투명성과 연속적인 서비스 제공을 보장하는 고장 가내형 CORBA에 필요한 핵심기술인 객체 그룹간 고장인지 방법 및 고장으로부터의 회복 메커니즘을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.157-159
• /
• 2000

분산 객체 시스템을 통합하기 위한 표준인 CORBA(Common Object Request Broker Atchitecture)는 분산 환경에서 더욱 더 자주 발생하는 고장에 대한 회복 수단을 제공하지 않기 때문에, 높은 신뢰성을 요구하는 상업용 어플리케이션에 도입되지 못하고 있다. 이에 따라, CORBA 구조 내에 자체적인 고장 감내 구조를 추가해 신뢰성 높은 서비스를 제공할 수 있는 고장 감내 CORBA에 대한 연구가 진행되고 있다. 그러나, 2000년 4월에 채택된 고장 감내 CORBA에 대한 명세서에서는 객체의 인터페이스를 정의하는 기술 언어인 CORBA IDL(Interface Definition Language)로 객체 단위의 중복과 이를 위한 시스템의 구조 및 각 모듈의 설계를 요약하고 있으나, 그 세부적인 메커니즘이 제시되지 않고 있다. 따라서 본 논문에서는 CORBA에 고장 감내성을 부여하기 위해 세부적인 고장 감내 CORBA를 위한 로깅 및 회복 기법을 제안한다.

• Proceedings of the KIEE Conference
• /
• 1999.07g
• /
• pp.2882-2884
• /
• 1999

본 연구는 시스템의 신뢰도(reliability)를 향상시키기 위해 사용되는 이중(Duplex) 시스템에서 EMI(전자기파 간섭현상) 같은 원인에 의한 동시 발생적(coincident) 고장의 영향을 최소화하는 기법을 제안하고 신뢰성 있는 고성능 컴퓨터를 위한 운영체계 및 H/W 구조의 설계와 최적 평가에 기여하는데 그 목적이 있다. 이중 시스템에 동시 발생적 고장이 일어나면 두 개의 모듈이 고장의 영향을 받게 되므로 고장 포용능력을 상실하게 된다. 이 같은 영향을 최소화하기 위해서 같은 작업들을 가능한 한 다른 시간대로 중복 수행하도록 시퀀싱(sequencing) 및 스케줄링(scheduling) 함으로써 동시발생적 고장으로 야기되는 전체 작업의 고장 결과를 피할 수 있다 또한 실시간 시스템에서 작업들은 기본적으로 수행이 완료되어야 할 시간적 제약(hard deadline)을 지니고 있으므로. 이러한 엄격한 마감시한 내에서 모든 작업을 완수하고 기본조건을 만족시키고자 한다.

• Nuclear Engineering and Technology
• /
• v.15 no.4
• /
• pp.229-235
• /
• 1983

Common Mode Failures (CMFs) have been a serious concern in the nuclear power plant. There is a broad category of the failure mechanisms that can cause common mode failures. This paper is a theoretical investigation of the CMFs on the unavailability of the redundant system. It is assumed that the total CMFs consist of the potential CMFs and the dependent human error CMFs. As the human error dependence is higher, the total CMFs are more effected by the dependent human error. If the human error dependence is lower, the system unavailability strongly depends on the potential CMFs, rather than the mechanical failure or the dependent human error. And it is shown that the total CMFs are dominant factor to the unavailability of the redundant system.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.4
• /
• pp.176-184
• /
• 2002

We provide a checkpointing framework reflecting both the timeliness and the dependability in order to make checkpointing applicable to dependable real-time systems. The predictability of real-time tasks with checkpointing is guaranteed by the worst case execution time (WCET) based on the allocated number of checkpoints and the permissible number of failures. The permissible number of failures is derived from fault tolerance requirements, thus guaranteeing the dependability of tasks. Using the WCET and the permissible number of failures of tasks, we develop an algorithm that determines the minimum number of checkpoints allocated to each task in order to guarantee the schedulability of a task set. Since the framework is based on the amount of time redundancy caused by checkpointing, it can be extended to other time redundancy techniques.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.11-19
• /
• 2022

In this paper, we propose a fault tolerant embedded system using memory redundancy on the full-virtualization based virtual machine monitor. The proposed virtual machine monitor first virtualizes main memory of embedded system utilizing efficient shadow page table scheme so that the embedded system runs as a virtual machine on the virtual machine monitor. The virtual machine monitor makes the backup of the embedded system run as another virtual machine by copying memory contents of the embedded system into memory space of backup system according to predefined schedules. When an error occurs in the target virtual machine, the corresponding standby virtual machine takes the role of target virtual machine and continues its operation. Performance evaluation studies show that such backups and switches of virtual machines are performed with minor performance degradation.