|
|||||
|
|
| 基于Event-B的列车车载控制器系统的形式化建模 | |
| 引用本文： | 雷洋,胡晓辉,陈永,李欣.基于Event-B的列车车载控制器系统的形式化建模[J].数字技术与应用,2012(8):13. |
| 作者姓名： | 雷洋 胡晓辉 陈永 李欣 |
| 作者单位： | 兰州交通大学电子与信息工程学院;兰州交通大学图书馆 |
| 摘 要： | 介绍了列车车载控制器系统(Vehicle On-borad controller system)的系统结构和功能,采用Event-B建模理论对VOBC的系统结构与功能模式做了建模所必要的功能(FUN)列表定义与环境规约(EV)分类描述,给出了基于Event-B方法的VOBC执行指令的建模流程并指出了模型的分层提精步骤,对最终建立好模型进行了验证。 |
| 关 键 词： | VOBC Event-B 功能列表定义 环境规约定义 |
| 本文献已被 CNKI 等数据库收录！ | |