Early Fault Detection in DSLs Using SMT Solving and Automated Debugging.
Sarmen KeshishzadehArjan J. MooijMohammad Reza MousaviPublished in: SEFM (2013)
Keyphrases
- fault detection
- fault localization
- fault diagnosis
- industrial processes
- fault identification
- failure detection
- condition monitoring
- rotating machinery
- fault detection and diagnosis
- robust fault detection
- tennessee eastman
- fuel cell
- fault detection and isolation
- neural network
- power plant
- software engineering
- software testing
- model based diagnosis
- fault tolerant
- computer simulation
- intelligent systems
- evolutionary algorithm
- expert systems
- decision making