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

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

Cite as

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}
}