Back to results

University of Illinois at Urbana-Champaign

Design of Systems With Concurrent Error Detection Using Software Redundancy

Abstract

dc:description

Self-checking programming is a system level concurrent error detection technique. This approach achieves error detection by introducing software redundancy in the form of executable assertion into the program to check the correct operation of the system during its execution. Both hardware and software faults that affect the specified behavior of the program therefore can be detected.

Degree

thesis:*
Name thesis:degree_name
Ph.D.
Level thesis:degree_level
Dissertation
Discipline thesis:degree_discipline
Electrical Engineering
Grantor
University of Illinois at Urbana-Champaign
Year dc:date
2014

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Hua, Kien Anh

Subjects

dc:subject × 1

Identifiers

dc:identifier.*
Identifier
(UMI)AAI8721662
OAI identifier oai:identifier
oai:www.ideals.illinois.edu:2142/69361

Chain of custody

source
Harvested from
University of Illinois - Urbana-Champaign
Base URL
www.ideals.illinois.edu/oai-pmh
Last updated
2026-07-22
Source record
OAI-PMH GetRecord
citation

Hua, Kien Anh. Design of Systems With Concurrent Error Detection Using Software Redundancy. Dissertation thesis, University of Illinois at Urbana-Champaign, 2014. http://hdl.handle.net/2142/69361