Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2011.17.11.1125

Corrective Control of Asynchronous Sequential Circuits with Faults from Total Ionizing Dose Effects in Space  

Yang, Jung-Min (Catholic University of Daegu)
Kwak, Seong-Woo (Keimyung University)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.17, no.11, 2011 , pp. 1125-1131 More about this Journal
Abstract
This paper presents a control theoretic approach to realizing fault tolerance in asynchronous sequential circuits. The considered asynchronous circuit is assumed to work in space environment and is subject to faults caused by total ionizing dose (TID) effects. In our setting, TID effects cause permanent changes in state transition characteristics of the asynchronous circuit. Under a certain condition of reachability redundancy, it is possible to design a corrective controller so that the closed-loop system can maintain the normal behavior despite occurrences of TID faults. As a case study, the proposed control scheme is applied to an asynchronous arbiter implemented in FPGA.
Keywords
asynchronous sequential circuits; corrective control; fault diagnosis and tolerance; TID (Total Ionizing Dose);
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 E. O. Mikkola, B. Vermeire, H. G. Parks, and R. Graves, "VHDL-AMS modeling of total ionizing dose radiation effects on CMOS mixed signal circuits," IEEE Transactions on Nuclear Science, vol. 54, no. 4, pp. 929-934, Aug. 2007.   DOI
2 J. Sparsø and S. Furber, Principles of Asynchronous Circuit design - A Systems Perspective, Kluwer Academic Publishers, 2001.
3 P. Golani, G. D. Dimou, M. Prakash, and P. A. Beerel, "Design of a high-speed asynchronous turbo decoder," Proc. of 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07), pp. 49-59, 2007.
4 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, Jun. 2003.   DOI
5 N. Venkatraman and J. Hammer, "On the control of asynchronous sequential machines with infinite cycles," International Journal of Control, vol. 79, no. 7, pp. 764-785, Jul. 2006.   DOI
6 J. Peng and J. Hammer, "Input/output control of asynchronous sequential machines with races," International Journal of Control, vol. 83, no. 1, pp. 124-144, Jan. 2010.
7 J.-M. Yang and S. W. Kwak, "State feedback control of asynchronous sequential machines with uncontrollable inputs: application to error counters," Journal of Institute of Control, Robotics and Systems (in Korean), vol. 15, no. 10, pp. 967-973, Mar. 2009.   과학기술학회마을   DOI
8 J.-M. Yang and S. W. Kwak, "Model matching for asynchronous sequential machines with adversarial inputs using state bursts," International Journal of Control, Automation, and Systems, vol. 8, no. 5, pp. 985-993, Oct. 2010.   과학기술학회마을   DOI
9 J.-M. Yang and S. W. Kwak, "Realizing fault-tolerant asynchronous sequential machines using corrective control," IEEE Transactions on Control Systems Technology, vol. 18, no. 6, pp. 1457-1463, Nov. 2010.
10 H. L. Hughes and J. M. Benedetto, "Radiation effects and hardening of MOS technology: devices and circuits," IEEE Transactions on Nuclear Science, vol. 50, no. 3, pp. 500-521, Jun. 2003.   DOI
11 E. S. Shin, V. J. Mooney III, and G. F. Riley, "Round-robin arbiter design and generation," in Proceedings of the 15th international symposium on System Synthesis (ISSS'02), pp. 243-248, 2002.
12 Z. Kohavi, Switching and Finite Automata Theory, 2nd ed., New York: McGraw-Hill, 1978.
13 M. Valencia, M. J. Bellido, J. L. Huertas, A. J. Acosta, and S. Sanchez-Solano, "Modular asynchronous arbiter insensitive to metastability," IEEE Transactions on Computers, vol. 44, no. 12, pp. 1456-1461, Dec. 1995.   DOI
14 N. Hasasneh, I. Bell, and C. Jesshope, "Asynchronous arbiter for micro-threaded chip multiprocessors," Journal of Systems Architecture, vol. 53, no. 5-6, pp. 253-262, May-Jun. 2007.   DOI