《文献调研报告》由会员分享，可在线阅读，更多相关《文献调研报告（16页珍藏版）》请在金锄头文库上搜索。
1、文献调研报告- 08 Simulation and verification of RSSP-II safety munication protocolC.20_ Second International Conference on Busine puting and Global Information, 20_.(国内-许孟华) 9 Formal verification of safety protocol in train control system J.Technological Sciences, 2022 (国内-北交团队) 10 无线传感器网络安全通信协议研究与设计D.硕士，
2、大连理工大学，20_6.11 安全关键实时通信协议研究D.博士，兰州大学，2022.12 基于ZigBee的无线传感器网络通信协议栈设计与实现D.硕士，电子科技大学，2022.13 基于工业以太网的列车通信网络研究D.硕士，北京交通大学，2022.6 检索结果【摘要】：p 汇总根据以上检索范围与检索【关键词】：p ，其中部分检索结果，摘述如下： 【篇名】安全通信与安全通信标准EN50159 【作者】杨剑【期刊名称】铁路通信信号工程技术 【年份】20_年2月，第11卷第1期【摘要】：p 】EN50159是欧洲铁路通信信号领域信息传输系统中安全通信标准。对安全通信基本知识进行一般介绍，对最新版本E
3、N50159:2022标准内容进行简单解读，并结合自身实践，对安全通信协议软件开发相关经验要点进行介绍。【篇名】Development of verification and conformance testing tools for a railway signaling munication protocol 【作者】Jae-Ho Lee, Jong-Gyu Hwang, Ducko Shin, Kang-Mi Lee, Sung-Un Kim 【期刊名称】puter Standards & Interfaces 【年份】2022 【摘要】：p 】Verification and conf
4、ormance testing for protocol specification, the key part of the protocol development proce, are plementary technologies employed to increase confidence that a system will function as stated in its specifications.In this paper, we verify the safety and livene of the protocol specified for the Labeled
5、 Transition System (LTS) by using model-checking method and implementing the testing tool, which e_perimentally demonstrates the presence of deadlock and reachability from the initial state to a random state.Implementing the testing tool can use modal mu-calculus to ae whether protocol model propert
6、ies, presented by modal logic, meet protocol specifications.In addition, we propose a conformance testing tool to check correct implementation of sequences that have been derived by the UIO method from the specification of the protocol being verified.This generating tool uses the C+ language in the
7、Microsoft Windows NT environment.【篇名】positional verification of a munication protocol for a remotely operated aircraft 【作者】Alwyn E.Goodloe, Csar A.Muoz 【期刊类型】Science of puter Programming 【年份】20_ 【摘要】：p 】This paper presents the formal specification and verification of a munication protocol between a
8、ground station and a remotely operated aircraft.The protocol can be seen as the vertical position of protocol layers, where each layer performs input and output meage proceing,- 2本文着重介绍了协议栈的MAC层、网络层的设计与实现。设计实现的MAC层在数据服务上支持直接传输与间接传输,支持CSMA/CA机制接入信道;在管理上,支持信道的扫描、数据请求、关联等功能。网络层支持网络的建立、加入、离开、网络地址分配等网络管理
9、功能,支持网络数据的单播及广播服务等数据服务功能。网络层的路由管理支持多对一、分级路由、最小路由成本等路由策略。本文在以射频芯片CC2531为核心硬件平台上,进行了协议栈的性能指标测试:MAC层主要进行链路的数据传输吞吐量与丢帧率等性能指标的测试;网络层主要进行自组织网络能力、路由算法反应能力、端对端网络时延及传输成功率等性能指标的测试。7 调研结果分析p 7.1 国外相关研究4 Group munication on highways: An evaluation study of geocast protocols and applicationsJ.Ad Hoc Networks, 20
10、_.该论文针对高速道路交通系统的安全通信需求,提出一种DBA MAC (Dynamic Backbone Aisted MAC)协议,通过模型分析p 、仿真学习等方法得到信噪比、通信延时等QoS参数，并与传统的geocast协议相比，仿真结果证明可以该协议可以作为高速道路交通系统中的安全通信协议。5 positional verification of a munication protocol for a remotely operated aircraftC.Science of puter Programming, 20_.该论文主要对遥控飞行系统和地面站之间的安全通信协议进行组合验证，
11、从而对协议整体安全性进行验证。为了对通信协议进行安全性验证，首先要对其进行各种规范和状态的定义，这里用到的PVS是一种紧密耦合的规范语言，也是一种交互式的定理证明器。接着将协议分为应用层、传输层、链路层和介质层,每一层都单独执行输入和输出消息的处理，并且每一层的传输过程都应该满足不同的信息传输要求。这里用PVS表示不同层的行为和状态,从而验证其安全性。7.2 EN50159学习该标准中没有对通信协议的基本框架有规定，也未对安全通信协议的具体内涵和要求有规定。欧洲电工标准化委员会(CENELEC)制定了网络传输系统安全通信标准EN50159，该标准适用于为了通信使用封闭或开放传输系统的安全相关电
12、子系统。为在连接到传输系统的安全相关设备之间达成安全相关的通信，该标准给出了所需的基本要求（并不是专门针对安全通信协议）。早期公布的版本中分为EN50159-1:20_1和EN50159-2:20_1两部分。EN50159-1定义了封闭传输系统中的安全通信标准,而EN50159-2则定义了开放传输系统中的安全通信标准。2022年9月的最新版本的EN50159:2022标准中,将两部分合成一部分,统称为传输系统的安- 4尽管目前有多种可用的现场总线，但其并没有被广泛的应用于安全关键系统中，因其开发过程中并没有融入安全的设计理念，而是在实现完成后，再去推到其设计的安全性。作为一种涌现特征，安全性不
13、可能在系统部署之后被添加进去，它必须贯穿于系统的整个开发过程中。因此若要将现场总线应用于安全关键系统，应将安全管理概念贯穿于协议设计开发和验证过程中，从过程中保证与安全标准的兼容性以提高系统的安全置信度。工业用现场总线的拓扑方式主要有总线型、星型、环型、树型等，不同的组网方式有各自不同的优缺点。其中星型拓扑结构中所有的通信节点都连接在一个中心设备上,删除或移动某个节点都比较方便,某个节点发生故障,不会影响到整个网络,中心节点是整个网络的关键,要求具有很高的可靠性和安全性。（2）工业以太网现场总线技术诞生后，实时通信网络技术被广泛的用于工业控制领域，如上面内容所示，有40多种不同的现场总线应用在
14、不同的行业领域。与此同时，工业以太网成为现场总线研究和应用的新热点，并涌现了大量的工业以太网实时通信协议应用于工业控制领域。虽然相比于现场总线技术,以太网具有普遍性,低成本,高带宽等特性。但是同时传统以太网是一种非确定性、非实时性的网络系统，会造成数据传输的不确定性，无法满足安全关键系统信息传输对于网络的高实时性和确定性的要求。同时最初以太网的设计也没有考虑到安全关键系统工业现场的特殊应用环境，也无法保证通信网络的可靠性和稳定性。为了满足实时性和稳定性要求，同时降低成本，部分实时通信协议对OSI参考模型进行了优化，只剩下物理层，数据链路层和应用层。在物理层和应用层的制定上实时通信协议都比较灵活
15、，而对数据链路层的制定相对严格，因为介质访问控制层(MAC层)的特征直接与通信协议的实时能力相关。目前在实时通信协议中使用的MAC层协议有基于载波监听多路访问(Carrier SenseMultiple Aeees,简称CSMA)方式,令牌坏/令牌总线,minislotting,和时分复用访问(Time Division Multiple Acce，简称为TDMA)方式，基于每一种访问控制方式都产生了大量实际应用的实时协议。 （3）无线传感器网络无线传感器网络由具有通信协议转换功能的网关节点和大量运行着同一系统平台的传感器节点组成。传感器节点具有受限的能量、存储及处理能力弱、较短的通信距离等特
16、点 ,并集成了简单的数据采集与处理、无线通信、路由转发等多种功能。无线传感器网络技术应用前景非常广阔，并已广泛应用于诸多领域。无线传感器网络中的通信协议栈属于网络底层关键技术之一,是使得传感器网络应用能够进行交互的关键所在。它直接影响到无线传感器网络的能量消耗、时延与系统的运行效率。传感器与应用程序之间,传感器节点之间的通信都需要通信协议支持。传感器网络的通信协议体系结构是按功能划分为物理层、数据链路层、网络层、传输层。有别于传统网络,无线传感器网络的通信协议要保证传感器节点既要能自组织形成网络,又要在运行当中能够进行自我控制和管理,使其工作在一个高效的状态。目前业界并没有制定针对无线传感网络的通信协议标准规范。IEEE802.15.4标准由于其低功耗,低成本,短距离通信等特点与无线传感器网络特性非常类似,从而被业界视
