• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computers in railways XII: Computer system design and operation in railways and other transit systems >Formalizing train control language: automating analysis of train stations
【24h】

Formalizing train control language: automating analysis of train stations

机译：正规化列车控制语言：火车站的自动化分析

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Train Control Language (TCL) is a domain-specific language that allows automation of the production of interlocking source code. From a graphical editor a model of a train station is created. This model can then be transformed to other representations, e.g. an interlocking table and functional blocks, keeping the representations internally consistent. Formal methods are mathematical techniques for precisely expressing a system, contributing to the reliability and robustness of the system through analysis. Traditionally, applying formal methods involves a high cost. This paper presents a formalization of TCL, including its behavior expressed in the constraint solving language Alloy. We show how analysis of station models can be performed automatically. Analysis, such as simulation of a station, searching for dangerous train movements and deadlocks, is used to illustrate the approach.
机译：列车控制语言（TCL）是一种特定于域的语言，它允许自动生成互锁源代码。通过图形编辑器创建火车站模型。然后可以将该模型转换为其他表示形式，例如一个互锁的表和功能块，使表示在内部保持一致。形式化方法是用于精确表达系统的数学技术，通过分析有助于提高系统的可靠性和鲁棒性。传统上，采用形式化方法会涉及较高的成本。本文介绍了TCL的形式化，包括以约束解决语言Alloy表示的行为。我们展示了如何自动进行站模型分析。使用分析方法（例如车站模拟，搜索危险的火车运动和死锁）来说明该方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号