On the Use of CEP in Safety-critical Systems.
Veronika AbramovaJorge BernardinoBruno CabralPublished in: COMPLEXIS (2017)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- nuclear power plant
- fault tolerant
- adaptive systems
- agent architecture
- cooperative
- knowledge acquisition
- intelligent systems
- knowledge based systems
- support systems
- domain independent
- fault model
- real time
- distributed systems
- management system
- expert systems
- reinforcement learning
- information systems