35 citations · 49 across the 3 of their papers we have counts for
4 papers
Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT
Alessandro Cilardo, Marcello Cinque, Luigi De Simone +1
The next-generation Industrial Internet of Things (IIoT) inherently requires smart devices featuring rich connectivity, local intelligence, and autonomous behavior. Emerging Multip…
Semantic Support for Log Analysis of Safety-Critical Embedded Systems
Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque +1
Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs…
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…
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…