Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
AuthorHadjicostis, Christoforos N.
Google Scholar check
MetadataShow full item record
State-transition faults in digital sequential systems, such as finite-state logic controllers, have traditionally been handled by embedding the given system into a larger one, in a way that preserves the state evolution of the original system while enabling an external mechanism to concurrently perform checks to detect, identify and correct errors. In this paper, we develop a methodology for systematically constructing embeddings of one-hot encoded finite-state machines (FSMs) in a way that allows the external mechanism to capture transient state-transition faults via checks that are performed in a non-concurrent manner (e.g., periodically). More specifically, by employing coding techniques over finite fields, we completely characterize an appropriate class of redundant FSM embeddings and its corresponding non-concurrent error-detecting/identifying capabilities. These embeddings can be used to construct a redundant version of the given one-hot encoded FSM so that the external mechanism can detect and identify errors due to past state-transition faults based on an analysis of the current, possibly corrupted FSM state. As a result, the proposed error detection and identification approach relaxes the stringent requirements on the reliability of the checker and avoids the slowdown associated with concurrent checking. © 2004 Elsevier Ltd. All rights reserved.
Showing items related by title, author, creator and subject.
A model-based inquiry approach to explore system dynamics and modeling aspects of the prey-predator system Hovardas, Tasos; Zacharia, Zacharias C. (2016)
Sboros, V.; Moran, C. M.; Anderson, T.; Gatzoulis, L.; Criton, A.; AVERKIOU, MICHALAKIS A.; Pye, S. D.; McDicken, W. N. (2001)An in vitro system for the investigation of the behaviour of contrast microbubbles in an ultrasound field, that provides a full diagnostic range of settings, is yet to be presented in the literature. The evaluation of a ...
Improving the Construction Project Process by a Collaborative Construction Information System (CCIS) – An Approach to Integrating Construction Systems in FIAPP Chang, H. E.; Christodoulou, Symeon E.; Griffis, F. H. (2001)