Verification of cooperative transient fault diagnosis and recovery in critical embedded systems.
Zibouda AliouatMakhlouf AliouatPublished in: Int. Arab J. Inf. Technol. (2012)
Keyphrases
- fault diagnosis
- embedded systems
- cooperative
- low cost
- embedded devices
- computing power
- expert systems
- fault detection
- fault detection and diagnosis
- neural network
- embedded software
- resource limited
- fuzzy logic
- power transformers
- rotating machinery
- bp neural network
- operating conditions
- electronic equipment
- hardware software
- chemical process
- condition monitoring
- software systems
- steady state
- multi agent systems
- gas turbine
- multiple faults
- analog circuits
- multi sensor information fusion
- multi agent
- field programmable gate array
- fault identification
- artificial intelligence
- flash memory
- industrial systems
- model checking
- monitoring and fault diagnosis
- real time
- formal methods
- object oriented
- software engineering