임무지향 컴퓨터를 위한 메시지패싱 고장감내 기법 = A Fault-Tolerant Scheme Based on Message Passing for Mission-Critical Computers

다국어 초록 (Multilingual Abstract)

Fault tolerance is a crucial design for a mission-critical computer such as engagement control computer that has to maintain its operation for long mission time. In recent years, software fault-tolerant design is becoming important in terms of cost-effectiveness and high-efficiency. In this paper, we propose MPCMCC which is a model-based software component to implement fault tolerance in mission-critical computers. MPCMCC is a fault tolerance design that synchronizes shared data between two computers by using the one-way message-passing scheme which is easy to use and more stable than the shared memory scheme. In addition, MPCMCC can be easily reused for future work by employing the model based development methodology. We verified the functions of the software component and analyzed its performance in the simulation environment by using two mission-critical computers. The results show that MPCMCC is a suitable software component for fault tolerance in mission-critical computers.

참고문헌 (Reference)

1 유명환, "UML 2.0 모델 기반의 교전통제 소프트웨어 아키텍처 개발" 한국군사과학기술학회 10 (10): 20-29, 2007

2 R. E. Lyons., "The Use of Triple-Modular Redundancy to Improve Computer Reliability" 6 (6): 200-209, 1962

3 A. Avizienis, "The N-Version Approach to Fault-Tolerant Software" SE-11 (SE-11): 1491-1501, 1985

4 I. Lee., "Software Dependability in the Tandem GUARDIAN System" 21 (21): 455-467, 1995

5 B. Rajappa., "Message Based Redundancy Approach using Totem Protocol for Telecom Applications and Protocol Stacks" 1-6, 2007

6 R. Batchu, "MPI/FT : A Model-Based Approach to Low-Overhead Fault Tolerant Message-Passing Middleware" 7 (7): 303-315, 2004

7 J. Gray., "High-Availability Computer Systems" 24 (24): 39-48, 1991

8 K. Shin., "Evaluation of Error Recovery Blocks Used for Cooperating Processes" SE-10 (SE-10): 692-700, 1984

9 D. Song., "An Implementation of Fault-Tolerant Message Passing Interface on Parallel Computers" 6 (6): 319-328, 2000

10 신진범, "ASR 기법을 적용한 임무지향 교전통제 컴퓨터의 신뢰도 분석" 한국정보처리학회 15 (15): 309-316, 2008