35 citations · 35 across the 1 of their papers we have counts for
2 papers
cs.SE2013★ 35 cited
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…
cs.SE2013
Automatic instantiation of abstract tests on specific configurations for large critical control systems
Francesco Flammini, Nicola Mazzocca, Antonio Orazzo
Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large c…