Browse > Article
http://dx.doi.org/10.5391/JKIIS.2016.26.2.135

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)
Publication Information
Journal of the Korean Institute of Intelligent Systems / v.26, no.2, 2016 , pp. 135-140 More about this Journal
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.
Keywords
Asynchronous Sequential Circuits; Corrective Control; Fault Tolerance; Static Controllers;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
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.   DOI
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.   DOI
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.   DOI
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.   DOI
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.   DOI
7 Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge UK: Cambridge University Press, 2010.