期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
进路联锁系统安全需求推导与形式化验证方法
1
作者 张世旭 陈祖希 +2 位作者 梅萌 潘亮 汪小勇 《华侨大学学报(自然科学版)》 2026年第2期136-145,共10页
基于轨道交通联锁系统日益增长的智能化需求与安全性验证挑战,提出一种结合系统理论过程分析(STPA)与Kind2模型检查的安全性分析框架。首先,通过STPA系统性提取安全需求;随后,将需求转化为形式化不变量,并利用Kind2进行模型检查。结果表... 基于轨道交通联锁系统日益增长的智能化需求与安全性验证挑战,提出一种结合系统理论过程分析(STPA)与Kind2模型检查的安全性分析框架。首先,通过STPA系统性提取安全需求;随后,将需求转化为形式化不变量,并利用Kind2进行模型检查。结果表明:在模拟站场数据集上,所有17条安全需求不变量在k=2展开的深度内判定为Valid,无反例轨迹生成;STPA与形式化模型检查的安全验证方法不仅能发现传统分析易忽视的复杂交互风险,还能通过形式化验证提供更高的安全保障,提升系统在智能化场景下的可复用性与鲁棒性。 展开更多
关键词 轨道交通联锁系统 系统理论过程分析(STPA) 人工智能 kind2模型检查 形式化方法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部