dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:46:03Z | |
dc.date.available | 2019-04-08T07:46:03Z | |
dc.date.issued | 2003 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43543 | |
dc.description.abstract | In this paper we develop a methodology for systematically constructing redundant finite-state machines in a way that enables an external mechanism to detect and identify transient state-transition faults by performing checks in a non-concurrent manner (e.g., periodically). More specifically, by characterizing non-concurrent error detection/identification capabilities in terms of state encoding constraints and redundant dynamics, the proposed approach constructs a redundant version of the given FSM that allows the external mechanism to detect and identify errors due to past state-transition faults based on the current, corrupted FSM state. Therefore, the external mechanism can operate at a slower speed than the rest of the system, which relaxes the stringent requirements on its reliability. | en |
dc.source | Proceedings - IEEE International Symposium on Circuits and Systems | en |
dc.source | Proceedings - IEEE International Symposium on Circuits and Systems | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038758857&partnerID=40&md5=dbb7b161c39755ae99cd62f9f923b1b7 | |
dc.subject | Computational methods | en |
dc.subject | Matrix algebra | en |
dc.subject | Finite automata | en |
dc.subject | Fault tolerant computer systems | en |
dc.subject | Encoding (symbols) | en |
dc.subject | Error detection | en |
dc.subject | Redundancy | en |
dc.subject | Finite-state machines (fsm) | en |
dc.title | Encoded finite-state machines for non-concurrent error detection and identification | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.volume | 3 | |
dc.description.startingpage | III858 | |
dc.description.endingpage | III861 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |