Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems.
Stefan SchuppErika ÁbrahámPublished in: SEFM (2018)
Keyphrases
- hybrid systems
- multi threaded
- safety analysis
- nuclear power plant
- control system
- safety critical
- black box
- fault model
- soft computing
- meta learning
- neural network
- intelligent systems
- operating system
- multi core processors
- information flow
- computational intelligence
- multithreading
- discrete event
- real time
- artificial intelligence
- fuzzy logic
- embedded systems
- formal methods
- fault tolerant
- software engineering
- knowledge base
- dynamic systems
- design patterns