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