Development of Safety Software for the Paks Nuclear Power Plant.
Tamás BarthaIstván VargaPublished in: ERCIM News (2008)
Keyphrases
- decision support
- nuclear power plant
- safety critical
- safety analysis
- safe operation
- support systems
- formal methods
- embedded systems
- decision making
- fault tolerant
- condition monitoring
- software systems
- software development
- agent architecture
- source code
- evolutionary algorithm
- recommender systems
- expert systems
- real time