轨旁系统的形式化建模精化与验证

《轨旁系统的形式化建模精化与验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、２０１５届硏究生硕±学位论文分类号：ＴＰ２０２学校代码：１０２６９密级：＼学号；５１１２１５０００２０＃變Ｅ辦緩ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ损±导恆巧交ＭＡＳＴＥＦＴＳＤＩＳＳＥＲＴＡＴＩＯＮ轨旁系统的形式化建模精化与验证论文题目：院系；软件学院软件工程系专业：软件王程研究方向；模型驱动式软件构造技术指导教师：刘静教授论文作者；竺＿查２０巧年５月华东师范大学硕±学位论文２０１５届研巧生硕±学位论文分类号；ＴＰ２０２学校代码；１

2、０２６９密级：５１１２１５０００２０：学号榮華東种锭乂爹ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ硕±学位论文ＭＡ’ＳＴＥＲＳＤＩＳＳＥＲＴＡＴＩＯＮ论文题目：轨旁系统的形式化建橫精化与验证院系：敕件挙協：鞭件工程专业研巧方向：模型驱动式款件构造巧术指导教师：刘静織学位申请人：ｍ．２０１５年５月２５日华东师范大学硕±学位论文ＴｈｅｓｉｓｆｏｒＭａｓｔｅｒｄｅｇｒｅｅｉｎ２０１５ＳｔｕｄｅｎｔＩＤ：５１１２１５０００２０Ｕｎｉｖｅｒｓｉｔｃｏ

3、ｄｅ：１０２６９ｙＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙＴｉｔｌｅ：ＲｅｆｉｎｅｍｅｎｔａｎｄＶｅｒｉｆｉｃａ村０田ｏｆＴｒａｃｋｓｋｌｅＳｙｓｔｅｍｓＤｅｐａｒｔｍｅｎｔ：ＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇＩｎｓｔｉｔｕｔｅＭａｏｒ：ＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇｊ＊－Ｒｅｓｅａｒｃｈｄｉｉｅｃｔｉｏｎ：ＭｏｄｅｌｄｒｉｖｅｎｓｏｆｔｗａｒｅｄｅｖｅｉｏｐｍｅｎｔＳｕｅｒｖｉｓｏｒ；ＰｒｏｆｅｓｓｏｒＵｕＪｉｎｇｐＣａｎｄｉｄａｔ：ｅ：ＱｉａｎＪｉ

4、ｅＭａ２０１５ｙ，华东师范大学硕±学位论文华东师范大学学俭论文原创幢声巧，郑重声明：本人呈交的学位论文《轨旁系统的形式化建模精化与验证》是在华东师范大学攻读硕壬／博±（请勾选）学位期间，在导师的指导下进行的研究工作及取得的研究成果。除文中己经注明引用的内容外，本论文不包含其他个人已经发表或撰写过的研巧成果。对本文的研究做出重要贡献的个人和集体，均己在文中作了明确说明并表示谢意。１化者給《（文年＾月日：統旅日期：如华东师覆大学学位论文著化极使用声明《轨旁系统的形式化建模精化与验证》系本人在华东师范大学

5、攻读学位期间在导师指导下完成的硕博±（请勾选）学位论文，本论文的著作权归本人所有。本人同意华东师范大学根据相关规定保留和使用此学位论文，并向主管部口和学校指定的相关机构送交学位论文的印刷版和电子版；允许学位论文进入华东师范大学图书馆及数据库被查、阅；，、借阅同意学校将学位论文加入全国博±硕±学位论文共建单位数据库进行检索、。将学位论文的标题和摘要汇编出版，采用影印缩印或者其它方式含理复制学位论文’本学位论文属于（请勾选）＂＂＂＂＊（）１．经华东师范大学相关部口审查核定的内部或涉密学位论文，于年月日解密。，解密后

6、适用上述授权＊（ｙ）２．不保密，适用上述授权。名鮮據导师签名—本人签＿＾１＾＾＾＿年月日＞杉／Ｉ＂＊＂学位论文应是涉密已经华东师范大学学位评定委员会办公室或保密委员会审定过的学＂＂位论文涉密审批表》方为有效），未经（需附获批的《华东师范大学研究生申请学位论文上巧部口审定的学位论文均为公开学位论文。此声明栏不填写的，默认为公开学位论文，均适用上述授权）。ｉｉｉ华东师范大学硕±学位论文钱洁硕壬学化论文答巧委员会成员名单—姓名职称单位容在￣￣￣孙军峰高级工程师卡斯柯信号有限公司主席￣江建慧

7、教授同济大学￣张荣华高级工程师爱斯特尔技术有限公司ｉｖ华东师范大学硕±学位论文内容摘要Ｃ一基于无线通信的列车自动控制系统（ｏｍｍｕｎｉｃａｔｉｏｎｂａｓｅｄｔｒａｉｎｃｏｎｔｒｏｌＣＢＴＣ是新，）代轨道信号系统。ＣＢＴＣ发车间隔短、轨道负荷大、运行平稳，大幅提高了城市公共交通的运载能为。为了应对日益严峻的城市交通问题，中国正加紧建设ＣＢＴＣ轨道信号系一Ｃ一统。其中，轨旁系统是ＣＢＴ系统中安全需求最高的子系统之。在实际情况中，旦轨旁系统出现间题，会导致列车脱轨、碰撞等极为恶劣的后果。因此，在轨旁系统的

8、开一发过程中。，保障系统安全性是极为重要的环然而，由于轨旁系统中的物理环境和