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.

中文翻译：

---

使用 Uppaal Statistical Model Checker 分析自主有轨电车定位系统

摘要

用自主定位系统 (APS) 替代传统的占用检测传感器是一种很有前途的解决方案，可以控制成本并提高当前有轨电车信号系统的性能。APS 是一种车载系统，它使用卫星定位和其他惯性平台来自主估计有轨电车的位置，并具有所需的不确定性和保护水平。然而，即使没有故障，自主定位也会引入相对于传统传感器的定量不确定性。本文在一个工业项目的背景下研究了这个问题：提出了一个设想的解决方案模型，并使用Uppaal对其进行了分析统计模型检查器。提出了一种新的模型驱动的危害分析方法来探索新出现的危害。该分析强调了传统轨道电路和机载卫星定位设备的虚拟化如何产生传统系统中不存在的新危险。