Applying input/output control of asynchronous sequential machines to dual ring counters

Jung Min Yang, Seong Woo Kwak

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Corrective control can compensate the stable-state behavior of asynchronous sequential machines without involving redesign of the inner logic of the machine. In this paper, we apply the corrective control scheme to a space-borne dual ring counter subject to Single Event Upset (SEU) faults. By virtue of hardware redundancy lying in the dual ring counter, we design a corrective controller that tolerates any SEU fault that causes unauthorized state transitions. Since the output of the counter is unavailable to the controller, input/output control methodology is required for realizing fault diagnosis and tolerance. As a case study, we implement the proposed controller and a 4-bit dual ring counter in VHDL code, and conduct an experiment on the procedure of fault tolerance under a synthetic fault scenario.

Original languageEnglish
Title of host publicationProceedings 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012
Pages2407-2412
Number of pages6
DOIs
StatePublished - 2012
Event2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012 - Seoul, Korea, Republic of
Duration: 14 Oct 201217 Oct 2012

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
ISSN (Print)1062-922X

Conference

Conference2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012
Country/TerritoryKorea, Republic of
CitySeoul
Period14/10/1217/10/12

Keywords

  • asynchronous sequential machines
  • corrective controllers
  • input/output control
  • ring counters
  • SEU faults

Fingerprint

Dive into the research topics of 'Applying input/output control of asynchronous sequential machines to dual ring counters'. Together they form a unique fingerprint.

Cite this