Run time safety analysis for automotive systems in an open and adaptive environment.
Kenneth ÖstbergMagnus BengtssonPublished in: ASCoMS@SAFECOMP (2013)
Keyphrases
- safety analysis
- safety critical
- real time
- fault tolerant
- control system
- expert systems
- mobile robot
- nuclear power plant
- dynamic environments
- complex systems
- fault model
- symbolic model checking
- formal methods
- support systems
- load balancing
- learning systems
- knowledge based systems
- software development
- knowledge base
- artificial intelligence