Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.
Bartosz NowickiJanusz GórskiPublished in: SAFECOMP (1998)
Keyphrases
- high voltage
- safety analysis
- object oriented
- safety critical
- nuclear power plant
- control system
- symbolic model checking
- fault model
- operating conditions
- relational databases
- software engineering
- data model
- normal operation
- partial discharge
- fault tolerant
- model checking
- real time
- reliability analysis
- formal methods
- agent architecture
- dynamic programming
- decision making