|
|||||
|
|
| 基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究 | |
| 引用本文： | 李建雄,吉志军,罗飞豹.基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究[J].铁道通信信号,2023(5):60-66. |
| 作者姓名： | 李建雄 吉志军 罗飞豹 |
| 作者单位： | 1.中国铁道科学研究院集团有限公司通信信号研究所100081;2.北京华铁信息技术有限公司100081; |
| 基金项目： | 中国铁道科学研究院集团有限公司科研课题(2019YJ062)；中国铁道科学研究院集团有限公司通信信号研究所科研课题(2021HT04)。 |
| 摘 要： | 模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进行仿真和BNF语句验证。结果表明:该模型满足LKJ-15模式转换的功能要求,其安全性得以验证,为系统开发和应用提供了理论保障。 |
| 关 键 词： | LKJ-15系统 形式化建模 自动机理论 模式转换 建模验证 |
| 本文献已被 维普 等数据库收录！ | |