基于UML的CTCS-2级列控车载设备的建模及实现

被引量 : 0次 | 上传用户:yjnter
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着我国经济的快速发展,对铁路行车的安全和效率提出了更高的要求,而列车运行控制系统在提高运输效率、保证行车安全等方面具有重要的作用。其中的列车超速防护系统(Automatic Train Protection,以下简称ATP)是关键部分,它的主要任务是监督列车的运行速度,自动控制列车的制动系统,实现列车的超速防护,这样一种安全性很高的控制系统,软件设计上必须要保证系统安全。本论文主要研究CTCS-2级列控车载设备的建模设计方法。本文介绍了列车运行控制系统开发遇到的问题,随着计算机技术在列车运行控制系统中的应用,安全问题显得越发的重要和复杂,传统的安全系统设计、分析和测试方法难以满足以计算机技术为基础的安全系统的需要。近年来,对系统进行模型的开发,为解决列控系统设计开发的正确性问题提供了一条可能的途径。本文介绍了UML以及基于UML的实时嵌入式系统软件开发环境Rhapsody建模的优势。针对传统列控系统开发的瀑布生命周期的缺点,引入了CTCS-2列控车载设备的建模方法——嵌入式系统的快速面向对象开发过程(RapidObject-Oriented Process for Embedded System,以下简称ROPES)。根据ROPES过程,论文将CTCS-2列控车载设备的软件开发分为分析、设计、实现和测试四个阶段,并以模式切换和等级转换为例,详细介绍了ROPES的具体应用。基于UML的建模开发方法将ATP软件开发的抽象层次由传统的代码层提升到了模型层,以使开发者可以更加专注于所要解决的领域问题,而不是繁锁的程序代码,实现了在模型层就可以对系统功能进行测试和验证;由UML模型所自动生成的代码是基于实时框架技术的可以高效地运行于目标平台的代码,并且模型与代码之间可以保持自动关联,因而不但解决了传统系统模型与系统实现之间往往存在脱节的问题,每次迭代开发的生命周期也大为降低,对所开发出的软件的质量有着必要的保障。最后,本文将模型在VxWorks上实现,对其分别进行了白盒和黑盒测试,验证了该论文建模方法的有效性和可行性。基于UML的列控车载设备的建模方法利用UML的优势,在保证系统实时性、安全性的前提下,有效地降低了软件设计的复杂度,并使得软件具有更好的层次性、可移植性、完整性。
其他文献
目的分析葡萄糖酸锌联合醒脾养儿颗粒治疗小儿腹泻的临床疗效。方法选取我院2017年10月~2018年10月收治的80例小儿腹泻患者作为研究对象,以随机分配法,将这80例小儿腹泻患者
荧光碳点是继碳纳米管、纳米金刚石和石墨烯之后,最受关注的碳纳米材料之一。与传统半导体量子点相比,碳点具有优异的荧光性能、小尺寸特性、良好的生物相容性、低毒性以及表
本文研究了马大猷的微穿孔板理论。在此基础上,总结了单层和双层微穿孔板结构声阻抗以及吸声系数的计算方法,利用驻波管实验对理论计算结果进行了验证。结果表明,理论计算结
研究目的:本文通过研究肥胖与正常体重的大学生在体力活动量及体质各项指标上是否存在差异,并进一步探讨体力活动量与学生体质各项指标之间的关系。最后将所有的资料加以分析
织造过程中,浆纱受到拉伸、弯曲、摩擦等各种作用。浆纱质量的好坏影响着其抵御这些复杂作用力的能力,最终影响织机上经纱断头率,由此对浆纱质量进行科学的评价,选择合理的浆
老龄社会的到来,使得老年照顾成为既重要又迫切的研究问题。如何解决人口老龄化及其所带来的问题在我们这样一个“未富先老”的发展中国家是一个极具挑战性的现实问题。不断
随着信息社会不断发展,计算模式正逐渐从网络计算向普适计算(Ubiquitous/Pervasive Computing)方向延伸,对生活空间的智能性也提出了更高要求,于是出现了智能空间(Smart Spac
泉州天后宫是泉州妈祖信仰的重要宫庙,自创建以来,就与其他水神信仰和谐共处,共同发展。明清以后,妈祖的神通扩展,泉州天后宫又融合许多民间俗神配祀,并分灵到台湾及东南亚等
猪病毒性腹泻是由多种病毒引起的单纯以呕吐、腹泻为主要临床表现的综合症候群。不同年龄的猪患病后死亡率不同,年龄越小,死亡率越高。而且本病具有传播范围广、流行迅速、发病
“音乐是非语义性的艺术”,这似乎已成为不争的定论。这种观念实际上源于语言学概念(即以其所指的关系来判断音乐材料是否所指明确)并得出否定性答案而形成。加之嵇康的《声