|国家科技期刊平台
| 注册
首页|期刊导航|中国铁道科学|基于STPA的联锁系统层级安全需求建模及确认方法

基于STPA的联锁系统层级安全需求建模及确认方法

陈祖希 周林 梅萌 王龙生 张宏扬 徐中伟

中国铁道科学2026，Vol.47Issue(1)：P.185-196,12.
✕
中国铁道科学2026，Vol.47Issue(1)：P.185-196,12.DOI:10.3969/j.issn.1001-4632.2026.01.17

基于STPA的联锁系统层级安全需求建模及确认方法

陈祖希 1周林 1梅萌 2王龙生 3张宏扬 3徐中伟2

作者信息

  • 1. 华侨大学计算机科学与技术学院,福建厦门361021 厦门市数据安全与区块链技术重点实验室,福建厦门361021
  • 2. 同济大学电子与信息工程学院,上海201804
  • 3. 中国铁道科学研究院集团有限公司通信信号研究所,北京100081
  • 折叠

摘要

关键词

铁路联锁系统/形式化方法/安全需求/线性时序逻辑/STPA

分类

交通工程

引用本文复制引用

陈祖希,周林,梅萌,王龙生,张宏扬,徐中伟..基于STPA的联锁系统层级安全需求建模及确认方法[J].中国铁道科学,2026,47(1):P.185-196,12.

基金项目

国家重点研发计划项目(2022YFB4300504) （2022YFB4300504）

国家铁路局研究计划课题(KF2024-039)。 （KF2024-039）

中国铁道科学

1001-4632

访问量0
|
下载量0
段落导航相关论文