Theories, techniques and tools for engineering

工程理论、技术和工具

• 批准号: 2513782
• 金额: --
• 依托单位: Newcastle University
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2016
• 资助国家: 英国
• 起止时间: 2016 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2513782
• 关键词: Theories; techniques; tools; engineering

Railway networks use a range of different signalling principles, for example route-based signalling, speed signalling, signalling using train protection systems such as the different levels of the European Train Control System, and Communication Based Train Control. Cost and practical constraints mean that there is a limit to the amount of each network that can be changed from one system to another in a given time period, as a result of which it is inevitable that networks use a mixture of signalling systems.There is no single theory for rigorous analysis and simulation of such mixed systems, leading to a strong dependence on engineering judgement. This has the potential to lead to either over-design or accidental restrictions in capacity. In the worst case certain situations which have the potential to reduce safety levels may be missed. The PhD study will develop such theories for modelling and verifying complex networks comprising areas with mixed signalling. The general aim is to come up with a general, open and extendable agent-based framework to enable capturing any type of signalling, legacy or new, and to assist signalling engineers in ensuring safety of such heterogeneous systems.The theories will provide a formal foundation for fully automated verification of system safety that can be tool supported with the use of the advanced mechanised theorem proving.As an important part of the study we will also develop techniques to support evaluation of heterogeneous systems' capacity.The study will focus on supporting the application of such theories by a set of tools that have domain-specific interfaces and are scalable and useable.The work will be driven by the needs of industry and conducted in a close cooperation with Siemens Rail Automation (Chippenham) to ensure that the results have potential to be deployed in real industrial settings.

铁路网络使用一系列不同的信令原理，例如基于路线的信令、速度信令、使用列车保护系统的信令，例如不同级别的欧洲列车控制系统和基于通信的列车控制。由于成本和实用性的限制，在给定的时间内，每个网络从一种系统转换到另一种系统的数量是有限的，因此，网络不可避免地使用混合的信令系统，没有一种理论可以对这种混合系统进行严格的分析和模拟，这导致了对工程判断的强烈依赖。这有可能导致过度设计或意外的容量限制。在最坏的情况下，可能会错过某些可能降低安全水平的情况。博士研究将开发这些理论，用于建模和验证复杂网络，包括具有混合信号的区域。总的目标是提出一个通用的，开放的和可扩展的基于代理的框架，以实现捕获任何类型的信令，传统的或新的，这些理论将为系统安全性的全自动验证提供形式化的基础，并可以使用先进的机械化定理证明工具进行支持。作为研究的重要部分，该研究还将开发支持异构系统能力评估的技术。该研究将侧重于通过一套具有特定领域接口、可扩展和可用的工具来支持这些理论的应用。该工作将由行业需求驱动，并与西门子铁路自动化（奇彭纳姆）密切合作，以确保结果具有在真实的工业环境中部署的潜力。