Journal of the Korean Institute of Intelligent Systems (한국지능시스템학회논문지)

Korean Institute of Intelligent Systems (한국지능시스템학회)
권호 표지
DOI QR코드

DOI QR Code

Fault Diagnosis and Tolerance for Asynchronous Counters with Critical Races Caused by Total Ionizing Dose in Space

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

  • 곽성우 (계명대학교 전자공학과) ;
  • 양정민 (대구가톨릭대학교 전자공학과)
  • Received : 2011.06.17
  • Accepted : 2011.09.30
  • Published : 2012.02.25
Download PDF
⟨ Previous Next ⟩

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.

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

Keywords

References

  1. C. Carmichael, E. Fuller, P. Blain, and M. Caffrey, "SEU mitigation techniques for Virtex FPGAs in space applications," Proceedings of MAPLD99, 1999.
  2. T. Vladimirova, "Reconfigurable system-on-a-chip based platform for satellite on-board computing," Scientific Conference "Space, Ecology, Safety" with International Participation (SES 2005), pp. 10-13, 2005.
  3. S. H. Unger, "Hazards, critical races, and metastability," IEEE Transactions on Computers, vol. 44, no. 6, pp. 754-768, 1995. https://doi.org/10.1109/12.391185
  4. 곽성우, 양정민, "확률 최적화를 이용한 비선점형 Rate Monotonic 스케줄링의 체크포인트 구간 결정," 한국지능시스템학회 논문지, 제21권 1호, pp. 120-127, 2011. https://doi.org/10.5391/JKIIS.2011.21.1.120
  5. R. Koga, J. George, G. Swift, C. Yui, L. Edmonds, C. Carmichael, T. Langley, P. Murray, K. Lanes, and M. Napier, "Comparison of Xilinx Virtex-II FPGA SEE sensitivities to protons and heavy Ions," IEEE Transactions on Nuclear Science, vol. 51, no. 5, pp. 2825-2833, 2004. https://doi.org/10.1109/TNS.2004.835057
  6. L. Sterpone and M. Violante, "Analysis of the robustness of the TMR-architecture in SRAM-based FPGAs," IEEE Transactions on Nuclear Science vol. 53, no. 5, pp. 1545-1549, 2005.
  7. T. E. Murphy, X. Geng, and J. Hammer, "On the control of asynchronous machines with races," IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 1073-1081, 2003. https://doi.org/10.1109/TAC.2003.812814
  8. J.-M. Yang, "State feedback control of asynchronous machines with nondeterministic models," IEEE Transactions on Automatic Control, vol. 54, no. 5, pp. 1072-1076, 2009. https://doi.org/10.1109/TAC.2008.2010980
  9. Z. Kohavi, Switching and Finite Automata Theory (2nd ed.), New York: McGraw-Hill, 1978.
  10. J. Peng and J. Hammer, "Input/output control of asynchronous sequential machines with races," International Journal of Control, vol. 83, no. 1, pp. 125-144, 2010. https://doi.org/10.1080/00207170903104182
  11. J.-M. Yang, "Corrective control of asynchronous sequential machines in the presence of adversarial input," IET Control Theory and Applications, vol. 2, no. 8, pp. 706-716, 2008. https://doi.org/10.1049/iet-cta:20070433

Cited by

  1. Design of Corrective Controllers for Model Matching of Switched Asynchronous Sequential Machines vol.25, pp.2, 2015, https://doi.org/10.5391/JKIIS.2015.25.2.139
  2. Static Corrective Controllers for Implementing Fault Tolerance in Asynchronous Sequential Circuits vol.26, pp.2, 2016, https://doi.org/10.5391/JKIIS.2016.26.2.135
  3. Fault Detection Method for Steam Boiler Tube Using Mahalanobis Distance vol.26, pp.3, 2016, https://doi.org/10.5391/JKIIS.2016.26.3.246