R
Roberto Nardone
Researcher at University of Naples Federico II
Publications - 62
Citations - 807
Roberto Nardone is an academic researcher from University of Naples Federico II. The author has contributed to research in topics: Promela & Computer science. The author has an hindex of 16, co-authored 56 publications receiving 541 citations. Previous affiliations of Roberto Nardone include Mediterranean University & Mediterranea University of Reggio Calabria.
Papers
More filters
Journal ArticleDOI
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis
Carlo Di Meo,Marco Di Vaio,Francesco Flammini,Roberto Nardone,Stefania Santini,Valeria Vittorini +5 more
TL;DR: A proof of concept of Virtual coupling is provided by introducing a specific operating mode within the European rail traffic management system/European train control system (ERTMS/ETCS) standard specification, and by defining a coupling control algorithm accounting for time-varying delays affecting the communication links.
Proceedings ArticleDOI
Towards Railway Virtual Coupling
Francesco Flammini,Stefano Marrone,Roberto Nardone,Alberto Petrillo,Stefania Santini,Valeria Vittorini +5 more
TL;DR: This paper introduces Virtual Coupling in the context of a standard ATC, that is ERTMS/ETCS, considering a reference ATC simplifies the discussion about implementation and performance issues and provides some preliminary hints, models and results.
Journal ArticleDOI
Vulnerability modeling and analysis for critical infrastructure protection applications
Stefano Marrone,Roberto Nardone,Annarita Tedesco,Pasquale D’amore,Valeria Vittorini,Roberto Setola,Francesca De Cillis,Nicola Mazzocca +7 more
TL;DR: The language extends the popular Unified Modeling Language (UML) to provide vulnerability and protection modeling functionality and provides an abstract representation of concepts and activities in the infrastructure protection domain that enables model-to-model transformations for analysis purposes.
Journal ArticleDOI
Enabling the usage of UML in the verification of railway systems : The DAM-rail approach
Simona Bernardi,Francesco Flammini,Stefano Marrone,Nicola Mazzocca,José Merseguer,Roberto Nardone,Valeria Vittorini +6 more
TL;DR: This paper addresses the definition of a Model-Driven approach for the evaluation of RAM attributes in railway applications to automatically generate formal models and shows that the MARTE-DAM framework can be successfully specialized for the railway domain.
Journal ArticleDOI
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review
TL;DR: In this article, the relevant research literature in recent years has been systematically reviewed and classified in order to investigate the state-of-the-art in the software verification and validation (V&V) of autonomous cars.