• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the 3rd international conference on electrical and information technologies for rail transportation: transportation >Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis
【24h】

Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis

机译：基于有色Petri网的列车控制系统安全性分析和系统理论过程分析

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

摘要

This paper proposes a new method called formalSTPA which combines Colored Petri Nets (CPN) and System-Theoretic Process Analysis (STPA). Using formal method to extend the STPA includes establishing the system hierarchical control structure and transforming it into CPN model. First we use ASK-CTL formula to test and verify the CPN model, and then Programming Language (ML) is used to identify the cause of hazards and realize safety analysis of system functions. ML can be used to identify hazards effectively. In this paper, the formalSTPA is applied in Chinese Train Control System Three Level (CTCS-3). The result shows that the formalSTPA is suitable for the safety analysis of CTCS-3.
机译：本文提出了一种新的方法，称为formalSTPA，它结合了彩色Petri网（CPN）和系统理论过程分析（STPA）。使用形式化方法扩展STPA包括建立系统分层控制结构并将其转换为CPN模型。首先，我们使用ASK-CTL公式对CPN模型进行测试和验证，然后使用编程语言（ML）识别危害原因并实现系统功能的安全性分析。 ML可用于有效地识别危害。本文将formalSTPA应用于中国三级列车控制系统（CTCS-3）。结果表明，formalSTPA适用于CTCS-3的安全性分析。

著录项

  • 来源
  • 会议地点
  • 作者

    Shaoqiang Hu; Daohua Wu; Huashen Wang;

  • 作者单位

    Beijing Key Laboratory of Security and Privacy in Intelligent Transportation, National Research Center of Railway Safety Assessment, Beijing Jiaotong University, No. 3 Shang Yuan Cun, Haidian District, Beijing 100044, China;

    Beijing Key Laboratory of Security and Privacy in Intelligent Transportation, National Research Center of Railway Safety Assessment, Beijing Jiaotong University, No. 3 Shang Yuan Cun, Haidian District, Beijing 100044, China;

    Beijing Key Laboratory of Security and Privacy in Intelligent Transportation, National Research Center of Railway Safety Assessment, Beijing Jiaotong University, No. 3 Shang Yuan Cun, Haidian District, Beijing 100044, China;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    CTCS-3; STPA; CPN; Safety risk analysis;

    机译：CTCS-3； STPA； CPN；安全风险分析;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号