Compliance, Functional Safety and Fault Detection by Formal Methods.
Christof FetzerChristoph WeidenbachPatrick WischnewskiPublished in: ISoLA (2) (2016)
Keyphrases
- fault detection
- formal methods
- safety critical
- fault diagnosis
- industrial processes
- fault identification
- formal analysis
- condition monitoring
- tennessee eastman
- artificial intelligence
- knowledge based systems
- software engineering
- failure detection
- model checking
- fuel cell
- fault localization
- fault detection and isolation
- formal specification
- development lifecycle
- fault detection and diagnosis
- robust fault detection
- expert systems
- formal specification language
- modeling language
- power plant
- knowledge representation
- database systems