Majority and Minority Voted Redundancy for Safety-Critical Applications.

P. Balasubramanian Douglas L. Maskell Nikos E. Mastorakis

Published in: MWSCAS (2018)

Keyphrases

safety critical
formal methods
embedded systems
fault tolerant
agent architecture
safety analysis
nuclear power plant
support systems
regulatory requirements
adaptive systems
real time
multi agent
databases
domain independent
model checking
database design
low cost
cooperative
decision making
data mining