우주 방사능 누적에 의한 크리티컬 레이스가 존재하는 비동기 카운터를 위한 고장 탐지 및 극복

국문 초록 (Abstract)

전역 클럭 없이 외부 입력에 따라서 값이 변하는 비동기 카운터는 우주용 메모리 등 현대 디지털 시스템에서 널리 사용된다. 본 논문에서는 우주 방사능 누적에 기인하는 크리티컬 레이스 고장이 존재하는 비동기 카운터를 위한 고장 극복 기법을 제안한다. 크리티컬 레이스는 비동기 디지털 회로 설계 과정에서 발생하는 대표적인 고장으로서 회로의 다음 안정 상태가 고정되지 않고 여러 값 중 하나로 나오는 비결정적인 특성을 보인다. 이번 연구에서는 비동기 순차 머신에 대한 교정 제어 기법을 이용하여 크리티컬 레이스를 극복할 수 있는 상태 피드백 제어기의 설계 과정을 제시한다. 또한 비동기 카운터 교정 제어 시스템을 VHDL 코드로 구현하고 실험을 통하여 제안된 제어 시스템이 크리티컬 레이스 고장을 극복하는 과정을 예시한다.

다국어 초록 (Multilingual Abstract)

Asynchronous counters, where the counter value is changed not by a synchronizing clock but by outer inputs, are used in various modern digital systems such as spaceborne electronics. In this paper, we propose a scheme of fault tolerance for asynchronous counters with critical races caused by total ionizing dose (TID) in space. As a typical design flaw of asynchronous digital circuits, critical races cause an asynchronous circuit to show non-deterministic behavior, i.e., the next stable state of a state transition is not a fixed value but may be any value of a state set. Using the corrective control scheme for asynchronous sequential machines, this paper provides an existence condition and design procedure for a state feedback controller that can invalidate the effect of critical races. We implement the proposed control system in VHDL code and conduct experiments to demonstrate that the proposed control system can overcome critical races.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 모델링 및 문제 설정
• 3. 고장 탐지 및 극복 교정 제어기
• 4. FPGA 실험
• 5. 결론
• 참고문헌
• 저자소개

참고문헌 (Reference)

• 1 곽성우, "확률 최적화를 이용한 비선점형 Rate Monotonic 스케줄링의 체크포인트 구간 결정" 한국지능시스템학회 11 (11): 120-127, 2011
• 2 Z. Kohavi, "Switching and Finite Automata Theory (2nd ed.)" McGraw-Hill 1978
• 3 J.-M. Yang, "State feedback control of asynchronous machines with nondeterministic models" 54 (54): 1072-1076, 2009
• 4 C. Carmichael, "SEU mitigation techniques for Virtex FPGAs in space applications" 1999
• 5 T. Vladimirova, "Reconfigurable system-on-a-chip based platform for satellite on-board computing" 10-13, 2005
• 6 T. E. Murphy, "On the control of asynchronous machines with races" 48 (48): 1073-1081, 2003
• 7 J. Peng, "Input/output control of asynchronous sequential machines with races" 83 (83): 125-144, 2010
• 8 S. H. Unger, "Hazards, critical races, and metastability" 44 (44): 754-768, 1995
• 9 J.-M. Yang, "Corrective control of asynchronous sequential machines in the presence of adversarial input" 2 (2): 706-716, 2008
• 10 R. Koga, "Comparison of Xilinx Virtex-II FPGA SEE sensitivities to protons and heavy Ions" 51 (51): 2825-2833, 2004
• 11 L. Sterpone, "Analysis of the robustness of the TMR-architecture in SRAM-based FPGAs" 53 (53): 1545-1549, 2005