A safety-focused verification using software fault trees.
Sung Deok ChaJunbeom YooPublished in: Future Gener. Comput. Syst. (2012)
Keyphrases
- safety analysis
- nuclear power plant
- safety critical
- formal methods
- software systems
- software development
- computer systems
- software design
- fault diagnosis
- decision trees
- normal operation
- high assurance
- software platform
- formal verification
- software package
- safe operation
- software tools
- fault detection
- real time
- model checking
- neural network
- software components
- development process
- source code
- data structure
- information systems
- hardware designs
- artificial intelligence