Publisher : Korean Institute of Intelligent Systems
DOI : 10.5391/JKIIS.2016.26.2.135
Title & Authors
Static Corrective Controllers for Implementing Fault Tolerance in Asynchronous Sequential Circuits Yang, Jung-Min; Kwak, Seong Woo;
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.
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.
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.
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.
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.
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.
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.
Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge UK: Cambridge University Press, 2010.