열차제어 장치용 실시간 시스템의 시간 동기화에 관한 연구

다국어 초록 (Multilingual Abstract)

The issue of safety insurance in PES(Programmable Electronic Systems) has been provoked because PES is difficult to define failure modes which are appeared in many different ways. But the PES applications extend rapidly in various areas. One of the solutions for PES safety insurance is voting which PES is used by comparing the outputs of several PES. The time synchronization of the PES is necessary for this reliable voting. The voting must be carried out with the outputs from same time inputs. There are several methods for time synchronization of the PES. In this paper, we discussed two modes of the time synchronization which are mutual synchronization of several PES and using UTC(Universal Time Clock).

목차 (Table of Contents)

• Abstract
• 1. 서론
• 2. 다중 PES 시간 동기화
• 3. 동기화를 위한 보정 값 계산
• 4. 시뮬레이션
• 5. 결론
• References

참고문헌 (Reference)

1 L. Lamport, "Synchronizing Clocks in the Presence of Faults" Association for Computing Machinery 32 (32): 52-78, 1985

2 Marcelo M. Azevedo, "Software Based Fault Tolerant Clock Synchronization for Distributed UNIX Environments"

3 D. Dolev, "Reaching Approximate Agreement in the Presence of Faults" 33 (33): 499-516, 1986

4 Stephen R. Mahaney, "Inexact Agreement : Accuracy, Precision, and Graceful Degradation" 239-249, 2001

5 Kang G. Shin, "Fault-tolerant Clock Synchronization in Distributed Systems" IEEE 23 : 33-42, 1990

6 Joseph Y. Halpern, "Fault-Tolerant Clock Synchronization" 89-102, 1984

7 H. Kopetz, "Distributed Fault tolerant Real-time Systems the Mars Approach" 9 (9): 25-40, 1989

8 H. Kopetz, "Clock Synchronization in Distributed Real-Time Systems" IEEE 36 (36): 933-940, 1987

9 J. Lundelius, "A New Fault tolerant Algorithm for Clock Synchronization" (3) : 75-88, 1984

10 Jennifer L. Welch, "A New Fault tolerant Algorithm for Clock Synchronization" 77 (77): 1-36, 1988

11 H. Lonn, "A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators" Springer Verlag 88-105, 1999

12 E. J. Lui, "A Convergence Function for Clock Synchronization Protocols" IEEE 9-16, 1994

13 Mahyar R. Malekpour, "A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems" (4280) : 411-427, 2006