文档介绍：劣臻交硕士学位论文基于腃蚩刂破魅砑7北京交通大学作者:张路导师:王海峰年月
导师繇矽呼/、罗长谬各妒签字日期:沙つ闖隆隆踗~学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,提供阅览服务,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得学位论文作者签名:导师签名:∥∥’∥签字日期:≥口D闕
北京交通大学\硕士学位论文基于腃蚩刂破魅砑7鬈。学位类别:工学称:副教授学科专业:交通信息工程及控制研究方向:运输自动化与控制年月作者姓名:张路导师姓名:王海峰学号:职学位级别:硕士中图分类号:.学校代码:密级:公开,
致谢本论文的工作是在我的导师王海峰副教授的悉心指导下完成的,王老师严谨的治学态度、勤勉的工作精神和科学的工作方法给了我极大的帮助和影响,尤其在事务繁忙的情况下仍然关心我的研究工作,对我的科研工作和论文撰写提出了许多宝贵的意见和建议,使我能够顺利完成课题研究。三年的学习生活中,王老师身体力行,以身作则,在向我们传授专业知识的同时还如慈父一般教导我们做人的道理,对我将来的人生之路具有深远的指导意义,在此衷心感谢三年来王海峰老师对我的关心和指导。在攻读硕士学位期间,轨道交通控制与安全国家重点实验室的燕飞老师、张勇老师、刘中田老师的课程使我受益匪浅,在此,向这些令人尊敬的老师们表示衷心的感谢同时,非常感谢我的师兄刘硕、杨旭文、李伟和梁楠,是他们让我对交通信息工程及控制专业有了初步的认知和理解,并在科研和论文撰写中给予我宝贵的支持和指导。在实验室工作及撰写论文期间,李雷、边远、曹欣、张洪涛、杨永清、蒋奇、吴雅静、张越、岳龙等同学对我的课题研究工作也给予了热情的帮助,在此向他们表达我的感激之情。感谢我的好友杨宝锋、陈敏、上官志敏等,在我攻读硕士学位期间给予我的支持和力量,让我的研究生生活充满色彩和活力。深深感谢我的父母,感谢他们在物质和精神双层面上给我提供最大可能的支持和帮助,是他们的支持使我能够在学校专心完成我的学业。感谢我的恋人高海燕,在生活上给予我无微不至的关心和照顾,在课题研究上不断启发我,鼓励我,帮我拓展思路,给我提供了很大帮助。
件开发方法在安全关键领域逐渐被认可,本文研究基于P偷腪砑发方法,主要工作体现在如下方面:怨斓澜煌ǹ刂葡低澄1尘埃芯苛税踩ü丶韵低车南喙匕踩ū曜迹分析了模型驱动开发的优势,并介绍了P涂7⒐ぞ摺芯苛薙理论基础一同步编程理论。研究了语言的语法规则和语言对反应式系统的进行模型描述的抽象方法。分析了数据流图和安全状态机这两种形式化建模机制的语义基础、建模方法以及模型的特性。研究了同步编程理论对模型的两种确认方法模拟仿真和形式化验证。捎肧模型工具,对进行建模。对进行了形式化描述,建立的芴迥P汀Mü治銮蚩刂破骺刂屏谐档牡湫统【埃玓主要功能划分为列车管理功能、进路匹配功能和计算功能,详细的设计了各功能的软件流程。采用安全自动机建模机制,建立了列车管理功能的模型;采用数据流建模机制,建立了进路匹配功能和计算功能的模型。捎肧仿真与验证工具,对模型进行检验。采用故障模式及影响分析方法,对的主要功能进行了安全分析。使用D夥抡婺?椋对模型进行了测试,使用问交橹て鳎阅P偷陌踩粜越辛搜橹ぃ从而确认了模型的正确性。通过对课题的研究,本文得出以下结论:基于P偷目7⒈苊饬硕匀件的重复性描述,避免了人工编写代码,能在系统设计初期发现设计缺陷,提高了软件质量和开发效率。关键词:;磺蚩刂破鳎换谀P涂7分类号:.“
:;;甖—,,.—....琒籺.~疘..甋..篣
目录中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.选题的目的和意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..研究背景⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一系统概述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯系统的发展概况⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯安全关键性软件开发概论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...踩ü⒘⒗⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.同步建模方式⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。系统结构描述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...蚩刂