A taxonomy for software voting algorithms used in safety-critical systems.
Gholamreza Latif ShabgahiJulian M. BassStuart BennettPublished in: IEEE Trans. Reliab. (2004)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- management system
- nuclear power plant
- fault tolerant
- support systems
- knowledge based systems
- learning systems
- agent architecture
- adaptive systems
- software intensive systems
- regulatory requirements
- real time
- decision support
- software development
- source code
- learning algorithm