Safety Analysis of a Data Center's Electrical System Using Production Trees.
Walid Mokhtar BennaceurLeïla KloulAntoine RauzyPublished in: IMBSA (2017)
Keyphrases
- data center
- safety analysis
- electrical energy
- nuclear power plant
- cloud computing
- control system
- safety critical
- symbolic model checking
- fault model
- cost effective
- power consumption
- energy consumption
- low cost
- distribution systems
- reinforcement learning
- database
- model checking
- intelligent systems
- embedded systems
- web services
- machine learning
- databases
- real time