32 citations · 40 across the 3 of their papers we have counts for
3 papers
cs.SE2022★ 4 cited
Formal Modeling and Initial Analysis of the 4SECURail Case Study
Franco Mazzanti, Dimitri Belli
We present the case study developed in the context of the 4SECURail project and the approach used for its formal modeling and analysis. Starting from a simple SysML/UML behavioral…
cs.SE2021★ 4 cited
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
Alessio Ferrari, Franco Mazzanti, Davide Basile +1
Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for sy…
cs.SE2018★ 32 cited
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System
Franco Mazzanti, Alessio Ferrari
Communications-based Train Control (CBTC) systems are metro signalling platforms, which coordinate and protect the movements of trains within the tracks of a station, and between d…