• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on reliability, safety, and security of railway systems >Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
【24h】

Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks

机译：工程异构铁路网的理论，技术和工具

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Modernising outdated national railway systems will be done gradually due to practical constraints thus creating network areas with different signalling systems. Formal methods have been successfully applied in the railway domain for years. Yet the latest railway challenges such as heterogeneous railway signalling will require novel modelling techniques and adequate verification tools support. In this research we aim to develop new theories, techniques and tools for modelling and verification of complex networks comprising areas with a mixed signalling. This student paper discusses the research problem, related work and presents the ongoing work.
机译：由于实际限制，过时的国家铁路系统将逐步进行现代化改造，从而创建具有不同信号系统的网络区域。形式化方法已成功应用于铁路领域多年。然而，最新的铁路挑战（例如异构铁路信号）将需要新颖的建模技术和适当的验证工具支持。在这项研究中，我们旨在开发新的理论，技术和工具，用于对包含混合信号区域的复杂网络进行建模和验证。该学生论文讨论了研究问题，相关工作并提出了正在进行的工作。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号