基于Event-B的列车车载控制器系统的形式化建模

• 作者: 李欣 胡晓辉 陈永 雷洋
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: VOBC Event-B 功能列表定义环境规约定义
• 年，卷（期）: 2012,（8）
• 页码范围: 13
• 分类号: TP311
• 字数: 1137字
• 语种: 中文

摘要

介绍了列车车载控制器系统(Vehicle On-borad controller system)的系统结构和功能,采用Event-B建模理论对VOBC的系统结构与功能模式做了建模所必要的功能(FUN)列表定义与环境规约(EV)分类描述,给出了基于Event-B方法的VOBC执行指令的建模流程并指出了模型的分层提精步骤,对最终建立好模型进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡晓辉	兰州交通大学电子与信息工程学院	99	503	10.0	16.0
2	陈永	兰州交通大学电子与信息工程学院	49	201	8.0	11.0
3	雷洋	兰州交通大学电子与信息工程学院	2	4	2.0	2.0