2021
Journal article  Open Access

Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker

Basile D., Fantechi A., Rucher L., Mandò G.

Autonomous positioning system  Railway  Signaling  Statistical model checking  Uppaal 

The substitution of traditional occupancy detecting sensors with anAutonomous Positioning System (APS) is a promising solution tocontain costs and improve performance of current tramway signallingsystems. APS is an onboard system using satellite positioning andother inertial platforms to autonomously estimate the position ofthe tram with the needed levels of uncertainty and protection.However, autonomous positioning introduces, even in absence offaults, a quantitative uncertainty with respect to traditionalsensors. This paper investigates this issue in the context of anindustrial project: a model of the envisaged solution is proposed,and it is analysed using Uppaal Statistical Model Checker.A novel model-driven hazard analysis approach to the exploration ofemerging hazards is proposed. The analysis emphasises how thevirtualisation of legacy track circuits and on-board satellitepositioning equipment may give rise to new hazards, not present inthe traditional system.

Source: Formal aspects of computing (2021). doi:10.1007/s00165-021-00556-1

Publisher: Springer, London , Regno Unito


Metrics



Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:456085,
	title = {Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker},
	author = {Basile D. and Fantechi A. and Rucher L. and Mandò G.},
	publisher = {Springer, London , Regno Unito},
	doi = {10.1007/s00165-021-00556-1},
	journal = {Formal aspects of computing},
	year = {2021}
}