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

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

DOI QR Code

Static Corrective Controllers for Implementing Fault Tolerance in Asynchronous Sequential Circuits

정적 교정 제어기를 이용한 비동기 순차 회로의 내고장성 구현

  • Yang, Jung-Min (School of Electronics Engineering, Kyungpook National University) ;
  • Kwak, Seong Woo (Department of Electronic Engineering, Keimyung University)
  • Received : 2016.03.08
  • Accepted : 2016.04.14
  • Published : 2016.04.25
Download PDF
⟨ Previous Next ⟩

Abstract

Corrective controllers enable fault diagnosis and tolerance for various faults in asynchronous sequential circuits without resort to redesign. In this paper, we propose a static corrective controller in order to decrease the size of the controller. Compared with dynamic controllers, static controllers can be made using only combinational circuits, as they need no inner states. We address the existence condition and design procedures for static corrective controllers that overcome state transition faults. To show the validity and advantage, the proposed controller is applied to an SEU error counter implemented on FPGA.

비동기 순차 회로를 위한 교정 제어기는 회로를 재설계하지 않고도 회로 내에 존재하는 여러 고장을 탐지하고 극복하는 능력을 보인다. 이번 논문에서는 교정 제어기의 크기를 줄이기 위한 방법으로서 정적 교정 제어기(static corrective controller)를 제안한다. 동적 제어기에 비해 정적 제어기는 제어기 상태가 필요 없으므로 조합 회로(combinational circuit)만으로 구현 가능하다. 본 논문에서는 상태 천이 고장에 대한 정적 내고장성 교정 제어기가 존재할 조건과 설계 과정을 규명한다. 또한 제안된 제어 기법을 FPGA로 구현된 SEU 오류 카운터에 적용하여 그 효용성을 실험적으로 검증한다.

Keywords

References

  1. 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
  2. J. Peng and J. Hammer, "Bursts and output feedback control of non-deterministic asynchronous sequential machines," European Journal of Control, vol. 18, no. 3, pp. 286-300, 2012. https://doi.org/10.3166/ejc.18.286-300
  3. S. W. Kwak and J.-M. Yang, "Fault diagnosis and tolerance for asynchronous counters with critical races caused by total ionizing dose in space," Journal of Korean Institute of Intelligent Systems, vol. 22, no. 1, pp. 49-55, 2012. https://doi.org/10.5391/JKIIS.2012.22.1.49
  4. X. Xu and Y. Hong, "Matrix approach to model matching of asynchronous sequential machines," IEEE Transactions on Automatic Control, vol. 58, no. 11, pp. 2974-2979, 2013. https://doi.org/10.1109/TAC.2013.2259957
  5. 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.
  6. J.-M. Yang and S. W. Kwak, "Corrective control for transient faults with application to configuration controllers," IET Control Theory and Applications, vol. 9, no. 8, pp. 1213-1220, 2015. https://doi.org/10.1049/iet-cta.2014.0532
  7. Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge UK: Cambridge University Press, 2010.