On the Design of Self-checking Controllers with Datapath Interactions

Oikonomakos, Petros and Zwolinski, Mark (2006) On the Design of Self-checking Controllers with Datapath Interactions. IEEE Transactions on Computers

WarningThere is a more recent version of this item available.


[img] PDF
Restricted to Registered users only

Download (315Kb) | Request a copy


We consider the problem of designing self-checking controllers for controller / datapath architectures. We introduce the concept of intrinsically secure states. We present six alternative schemes based on parity checking, on 1-out-of-n checking, as well as on the observation that a self-checking sequential datapath can also be employed for control path self-checking, by exploiting the concept of intrinsically secure control states. A high-level synthesis tool has been modified to automatically insert self-checking controllers and datapath units, and is able to trade this self-checking property against other design objectives. We discuss the properties of each configuration, and present experimental results and conclusions.

Item Type: Article
ISSNs: 0018-9340
Keywords: Reliability, Testing, and Fault-Tolerance; Redundant design; Error-checking; Automatic synthesis
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > EEE
ePrint ID: 262343
Date Deposited: 11 Apr 2006
Last Modified: 27 Mar 2014 20:05
Publisher: IEEE
Further Information:Google Scholar
ISI Citation Count:4
URI: http://eprints.soton.ac.uk/id/eprint/262343

Available Versions of this Item

Actions (login required)

View Item View Item