Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems.
Yiannis PapadopoulosChristian GrantePublished in: COMPSAC (2003)
Keyphrases
- decision support
- safety analysis
- safety critical
- formal methods
- decision support system
- nuclear power plant
- management system
- distributed systems
- control system
- embedded systems
- real time
- knowledge discovery
- agent architecture
- expert systems
- dynamic programming
- decision makers
- knowledge based systems
- learning systems
- search space
- search algorithm