Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지
DOI QR코드

DOI QR Code

A New Hardening Technique Against Radiation Faults in Asynchronous Digital Circuits Using Double Modular Redundancy

이중화 구조를 이용한 비동기 디지털 시스템의 방사선 고장 극복

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

Abstract

Asynchronous digital circuits working in military and space environments are often subject to the adverse effects of radiation faults. In this paper, we propose a new hardening technique against radiation faults. The considered digital system has the structure of DMR (Double Modular Redundancy), in which two sub-systems conduct the same work simultaneously. Based on the output feedback, the proposed scheme diagnoses occurrences of radiation faults and realizes immediate recovery to the normal behavior by overriding parts of memory bits of the faulty sub-system. As a case study, the proposed control scheme is applied to an asynchronous dual ring counter implemented in VHDL code.

Keywords

References

  1. J. Sparso and S. Furber, Principles of Asynchronous Circuit Design: A Systems Perspective, Kluwer Academic Publishers, 2001.
  2. S.-M. Ryu, "An optimal scrubbing scheme for auto error detection & correction logic," Journal of Institute of Control, Robotics and Systems (in Korean), vol. 17, no. 11, pp. 1101-1105, Nov. 2011. https://doi.org/10.5302/J.ICROS.2011.17.11.1101
  3. Y. Monnet, M. Renaudin, and R. Leveugle, "Designing resistant circuits against malicious faults injection using asynchronous logic," IEEE Transactions on Computers, vol. 55 no. 9, pp. 1104-1115, Sep. 2006. https://doi.org/10.1109/TC.2006.143
  4. T. Panhofer, W. Friesenbichler, and M. Delvai, "Optimization concepts for self-healing asynchronous circuits," in Proc. of the 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS '09), pp. 62-67, 2009.
  5. C. M. Krishina and K. G. Shin, Real-Time Systems, New York: McGraw-Hill, 1997.
  6. S. W. Kwak and K. H. You, "Reliability analysis and fault tolerance strategy of TMR real-time control systems," Journal of Institute of Control, Robotics and Systems (in Korean), vol. 10, no. 8, pp. 748-754, Aug. 2004. https://doi.org/10.5302/J.ICROS.2004.10.8.748
  7. A. Ziv and J. Bruck, Performance optimization of checkpointing schemes with task duplication, IEEE Transactions on Computers, vol. 46, no. 12, pp. 1381-1386, Dec. 1997. https://doi.org/10.1109/12.641939
  8. 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. https://doi.org/10.1109/TAC.2003.812814
  9. J.-M. Yang and S. W. Kwak, "Corrective control of asynchronous sequential circuits with faults from total ionizing dose effects in space," Journal of Institute of Control, Robotics and Systems (in Korean), vol. 17, no. 11, pp. 1125-1131, Nov. 2011. https://doi.org/10.5302/J.ICROS.2011.17.11.1125
  10. Z. Kohavi and N. Jha, Switching and Finite Automata Theory, 3rd ed., New York: Cambridge University Press, 2010.
  11. 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.