Thread Homeostasis: Real-Time Anomalous Behavior Detection for Safety-Critical Software.
Mohamed AlsharnoubyAnil SomayajiPublished in: CoRR (2019)
Keyphrases
- safety critical
- anomalous behavior
- anomaly detection
- embedded systems
- formal methods
- safety analysis
- real time
- fault tolerant
- nuclear power plant
- agent architecture
- support systems
- regulatory requirements
- normal behavior
- intrusion detection
- adaptive systems
- data analysis
- decision support
- decision support system
- medical images
- low cost
- artificial intelligence