Monitoring machine based synthesis technique for concurrent error detection in finite state machines.
Rubin A. ParekhjiG. VenkateshSunil D. SherlekarPublished in: J. Electron. Test. (1996)
Keyphrases
- finite state machines
- error detection
- error correction
- error recovery
- fault isolation
- model checking
- data cleansing
- finite state automata
- error correcting
- functional decomposition
- error resilient
- fault tolerance
- monitoring system
- hidden markov models
- error control
- regular expressions
- failure detection
- digital circuits
- expert systems
- load balancing