날로 더욱 복잡해지는 제어 컴퓨터의 고 신뢰성 확보를 위해 시간여분(time redundancy)의 일종인 rollback과 roll-forward 기법 등을 TMR 구종에 적절하게 혼용하는 두 가지 방법을 제안한다. Rollback과 roll-forward 기법은 약간의 추가시간만을 사용하여 재구성(reconfiguration) 없이도 일시적인 결함(fault)에 의해 발생한 TMR 고장(failure)의 회복을 위해 상호보완적으로 사용될 수 있다. 본 논문은 시스템의 고장상태확률의 유도를 통해 전체 작업의 평균실행시간이 최소가 되는 최적의 checkpoint 간격벡터를 유도한다. 수치예제를 통해 제안된 방법들이 다른 고장회복 기법을 적용했을 때와 비교하여 매우 효과적임을 보이고, 다양한 환경 하에서 여러 가지 최적의 checkpoint 간격벡터를 유도하였으며, 시뮬레이션을 통한 정량적 결과로써 그 우수성을 비교하고 검증하였다
In the paper we propose two recovery methods by adopting a rollback and/or roll-forward technique (S) to recover TMR failures in a TMR (structured ) system that is the simplest spatial redundancy. This technique is apparently effective to recovering TMR failures primarily caused by transient faults. The proposed policies carry out few reconfigurations at the cost of (minimal) time-overhead needed for those time-redundant schemes. The optimal checkpoint-interval vectors are derived for both methods through the likelihoods of all (possible) states of the system as well as the total execution-time. Consequently the effectiveness of our proposed policies is validated through certain numerical examples and simulations.
