介绍了列车车载控制器系统（Vehicle On-borad controller system）的系统结构和功能,采用Event-B建模理论对VOBC的系统结构与功能模式......