Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations.
Henk A. P. BlomSybert H. StroeveHans H. de JongPublished in: SSS (2006)
Keyphrases
- safety critical
- monte carlo simulation
- risk assessment
- safety analysis
- fault tolerant
- monte carlo
- formal methods
- markov chain
- embedded systems
- nuclear power plant
- risk management
- agent architecture
- support systems
- network security
- information security
- decision making
- high level
- real time
- model checking
- artificial intelligence
- databases