Timing fault detection for safety-critical real-time embedded systems.
Sébastien FaucouAnne-Marie DéplancheYvon TrinquetPublished in: ACM SIGOPS European Workshop (2002)
Keyphrases
- fault detection
- safety critical
- real time embedded systems
- fault tolerant
- formal methods
- safety analysis
- industrial processes
- fault diagnosis
- agent architecture
- embedded systems
- fault identification
- support systems
- condition monitoring
- regulatory requirements
- fuel cell
- adaptive systems
- tennessee eastman
- failure detection
- robust fault detection
- model checking
- computational intelligence
- cooperative
- real time
- power plant
- distributed systems
- data sources
- information systems