雷洋　胡晓辉等

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

关键词：VOBCEvent-B功能列表定义 环境规约定义

中图分类号:TP311 文献标识码：A 文章编号：1007-9416(2012)08-0013-01