期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
车站联锁系统形式化模型构建与安全验证
1
作者 杨晓军 《科学技术创新》 2026年第7期123-126,共4页
针对传统测试验证手段难以覆盖联锁系统所有可能状态,容易遗漏某些极端场景导致事故发生的问题,本文提出了一种基于统一建模语言(Unified Modeling Language,UML)的计算机联锁系统形式化建模与验证方法。该方法通过UML建模和模型转换,... 针对传统测试验证手段难以覆盖联锁系统所有可能状态,容易遗漏某些极端场景导致事故发生的问题,本文提出了一种基于统一建模语言(Unified Modeling Language,UML)的计算机联锁系统形式化建模与验证方法。该方法通过UML建模和模型转换,有效降低了计算机联锁系统形式化建模与验证的复杂性,减少了直接模型构建过程中可能出现的错误,为计算机联锁系统形式化模型的构建与验证提供了一种新的解决方案。经由五股道模拟站场的测试验证,车站联锁系统形式化模型构建逻辑正确、判别符合实际。 展开更多
关键词 计算机联锁 形式化检验 UML PROMELA jspin
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部