A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

Francesco Flammini, Stefano Marrone, Nicola Mazzocca +1

A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to…