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, 55, (11), 1423-1434.

This is the latest version of this item.


[img] PDF
Restricted to Registered users only

Download (315Kb)


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
Related URLs:
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: 263409
Date :
Date Event
November 2006Published
Date Deposited: 12 Feb 2007
Last Modified: 31 Mar 2016 14:07
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/263409

Available Versions of this Item

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics