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.
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.
|Keywords:||Reliability, Testing, and Fault-Tolerance; Redundant design; Error-checking; Automatic synthesis|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > EEE
|Date Deposited:||12 Feb 2007|
|Last Modified:||01 Mar 2012 21:09|
|Further Information:||Google Scholar|
|ISI Citation Count:||4|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Available Versions of this Item
On the Design of Self-checking Controllers with Datapath Interactions. (deposited 11 Apr 2006)
- On the Design of Self-checking Controllers with Datapath Interactions. (deposited 12 Feb 2007) [Currently Displayed]
Actions (login required)