Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation.
Christoph LuckenederMichael RathmairHermann KaindlPublished in: HICSS (2017)
Keyphrases
- safety critical
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- agent architecture
- nuclear power plant
- feature interactions
- support systems
- adaptive systems
- regulatory requirements
- load balancing
- intelligent agents
- learning systems
- knowledge based systems
- distributed systems
- cooperative
- decision making
- information systems
- real time