ProMoSA - Probabilistic Models for Safety Analysis.
Frank OrtmeierMatthias GüdemannPublished in: MBEES (2010)
Keyphrases
- safety analysis
- probabilistic model
- nuclear power plant
- control system
- symbolic model checking
- safety critical
- graphical models
- fault model
- latent variables
- bayesian networks
- reliability analysis
- expert systems
- model checking
- artificial intelligence
- hidden variables
- formal methods
- model checker
- monitoring system
- intelligent systems
- distributed systems