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.

Download

[img] PDF
Restricted to Registered users only

Download (315Kb) | Request a copy

Description/Abstract

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
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

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