Reliability modeling of safety-critical network communication in a digitalized nuclear power plant.
Sang Hun LeeHee Eun KimKwang Seop SonSung Min ShinSeung Jun LeeHyun Gook KangPublished in: Reliab. Eng. Syst. Saf. (2015)
Keyphrases
- nuclear power plant
- safety critical
- safety analysis
- network communication
- formal methods
- fault tolerant
- embedded systems
- agent architecture
- support systems
- adaptive systems
- low cost
- information exchange
- load balancing
- condition monitoring
- model checking
- cooperative
- decision support system
- computational intelligence
- multi agent systems