STP安全通信协议设计与形式化验证

来源 :计算机工程 | 被引量 : 0次 | 上传用户:liongliong591
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
无线调车机车信号和监控系统(STP)是基于无线数传电台,实现车载和地面设备之间双向信息传输的实时信号监控和安全防护系统。为保证系统中车-地之间交互信息的实时性、可靠性与完整性,依据欧标EN50159,在现有ETCS安全通信协议EuroRadio的基础上,通过增加安全连接超时重发、双序号时间戳和故障导向安全机制,设计一套适用于STP系统的安全通信协议,并利用分层着色Petri网和ASK-CTL时序逻辑验证语言对其进行建模和形式化验证。分析结果表明,该协议不仅满足功能安全性要求,同时还能保证系统在非理想信道环
其他文献
摘要:以往教师为主的课堂变成了学生主动学习的教学模式.互动教学、小组教学、合作学习变成了新的教学主流.在高中化学的课堂中也开始进行小组合作的学习模式,效果也非常明显.  关键词:高中化学;教学;实施小组;合作学习  近年来,在新的课程改革的推动下,当代教育模式发生了根本性的变化,学生成为了学习的主人,也从以往教师为主的课堂变成了学生主动学习的教学模式.互动教学、小组教学、合作学习变成了新的教学主流
高考试题,凝聚着命题专家的智慧、思想和方法.一道好的高考试题往往是命题背景新颖、呈现独特、内涵深刻、给人以启迪、耐人寻味的.它有较强的启示性、代表性和拓展性,下面就采撷
美国住房抵押贷款市场的发展历史虽然不长,但却经历了很多大的波动。美国的住房和抵押贷款市场存在着许多问题,其中种族歧视和红线制度是20世纪引人注目的问题。本文共分为四
大宗交易是对证券市场普通交易机制的补充,随着证券市场的发展越来越受到投资者的重视。大宗交易制度的建立对于降低大宗股票交易对二级市场的冲击、减少交易成本、提高流动
针对传统机器学习方法在完成分类任务时多数存在人工标记成本较高、泛化能力较弱的问题,提出一种标记组合半监督学习算法。基于集成学习的思想,利用有标记数据训练多个弱模型
云网融合将使5G业务的价值得到进一步提升,从而为运营商带来业务收入。随着5G商用牌照的正式发放,车联网、智能工厂、远程医疗等云应用场景被激活,云计算依托5G技术与产业深
由五千年中华民族文化滋养的中国绘画艺术,历史悠久,群星璀璨。在绘画史上曾涌现出诸多才能出众的画家,论及花鸟这一画科,不能不说到齐白石与八大山人这两位画家在花鸟领域无
2010年在四川省稻城地区发现鹮嘴鹬3个夜栖地,采用样方法调查其夜栖地的生境特征,并设置对照样方15个。研究结果表明河滩宽度、河心岛面积和石头盖度为关键因子。
在实际的无线传感器网络中,由于路由空洞而采用的边缘转发方式容易引起空洞边缘节点能量消耗过快从而导致空洞不断扩大,形成能量空洞。为延长网络生命周期,避免能量空洞的出
目前,中国传统的“应试教育”观念虽然有所改观,但是依然存在.学生的学习负担过重而且被动,欠缺独创精神.