The substitution of traditional occupancy detecting sensors with an Autonomous Positioning System (APS) is a promising solution to contain costs and improve performance of current tramway signalling systems. APS is an onboard system using satellite positioning and other inertial platforms to autonomously estimate the position of the tram with the needed levels of uncertainty and protection. However, autonomous positioning introduces, even in absence of faults, a quantitative uncertainty with respect to traditional sensors. This paper investigates this issue in the context of an industrial 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 of emerging hazards is proposed. The analysis emphasises how the virtualisation of legacy track circuits and on-board satellite positioning equipment may give rise to new hazards, not present in the traditional system.

Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker / Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - -:(2021), pp. 0-0. [10.1007/s00165-021-00556-1]

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

Basile, Davide;Fantechi, Alessandro;
2021

Abstract

The substitution of traditional occupancy detecting sensors with an Autonomous Positioning System (APS) is a promising solution to contain costs and improve performance of current tramway signalling systems. APS is an onboard system using satellite positioning and other inertial platforms to autonomously estimate the position of the tram with the needed levels of uncertainty and protection. However, autonomous positioning introduces, even in absence of faults, a quantitative uncertainty with respect to traditional sensors. This paper investigates this issue in the context of an industrial 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 of emerging hazards is proposed. The analysis emphasises how the virtualisation of legacy track circuits and on-board satellite positioning equipment may give rise to new hazards, not present in the traditional system.
2021
-
0
0
Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca
File in questo prodotto:
File Dimensione Formato  
Basile2021_Article_AnalysingAnAutonomousTramwayPo.pdf

Accesso chiuso

Descrizione: Articolo principale
Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: DRM non definito
Dimensione 3.87 MB
Formato Adobe PDF
3.87 MB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1248094
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact