An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems.
Yasser SedaghatSeyed Ghassem MiremadiPublished in: Microelectron. J. (2011)
Keyphrases
- embedded systems
- safety critical
- nuclear power plant
- fault tolerant
- safety analysis
- cyber physical systems
- low cost
- embedded software
- real time systems
- distributed systems
- software systems
- real time
- support systems
- monitoring system
- formal methods
- finite state machines
- real time embedded
- peer to peer
- agent architecture
- cooperative
- multi agent
- intelligent agents
- smart home
- knowledge based systems
- decision support system
- object oriented
- data warehouse
- mobile devices
- reinforcement learning
- artificial intelligence