Software safety goal verification using fault tree techniques: a critically ill patient monitor example.
Brian ConnollyPublished in: CBMS (1989)
Keyphrases
- fault tree
- safety analysis
- safety critical
- formal methods
- monitoring system
- real time
- friendly interface
- patient data
- fault tree analysis
- test cases
- model checking
- vital signs
- neural network
- hardware designs
- health monitoring
- reliability analysis
- software development
- control system
- gas turbine
- heart rate
- computer aided
- fault diagnosis