文献调研报告模板.docx
安全关键系统通信协议调研报告。1IVM目安全关键系统通信协议的建模与分析b任务说附D查阅国外的相关文献；2）补充通信协议中的具体网络;3）阅读标准EN50159；3关字检索词：CBTC；安全关键系统；安全通信协议；EN50159；safetycommunicationprotocol检索策略：无线*通信；总线*通信；以太网*通信；CBTC*communicationprotocol；safety*protocol；verification/test/modeI/simulation/design/analysis*(safety)co<municationprotocol;4检索范圉中国知网science(SCIE)ScienceDirect(SDOL)百度of1.INK在不同关键词组合下，检索范围内，近三年的文献总数批注XJ1J：对本次调研任务的具体说明5主要的检索文M-二批注XJ2:对重点文献的说明1BSEN50159RaiIwayapplications-Communication,signaIingandprocessingsystems-Safety-relatedcommunicationintransmissionsystemsS.2安全通信与安全通信标准EN50159J铁路通信信号工程技术，2014.3 PerformanceevaluationandverificationofcommunicationprotocolforraiIwaysignalingsystemsJ.ComputerStandards&Interfaces,2005.4 VerificationandconformancetestgenerationofcommunicationprotocolforraiIwaysignalingsystemsJ.ComputerStandards&Interfaces,2007.5 DeveIopmentofverificationandconformancetestingtoolsforaraiIwaysignalingcommunicationprotocolJ.ComputerStandards&Interfaces,2009.4 Groupc(xunicationonhighways:AnevaluationstudyofgeocastprotocoIsandapplicationsJ.AdHocNetworks.2013.6 CompositionaIverificationofacommunicationprotocolforaremoteIyoperatedaircraftC.ScinceofComputerProgramming,2013.7 VerificationofthesafetycommunicationprotocolintraincontrolsystemusingcoloredPetrinetJ.ReliabilityEngineeringandSystemSafety,2012.(国内-陈黎洁)8 SimulationandverificationofRSSP-IIsafetycommunicationprotocolC.2012SecondInternationalConferenceonBusinessComputingandGlobaIInformation.2012.（国内-许孟华）9FormalverificationofsafetyprotocolintraincontrolsystemJ.TechnologicalSciences.2011（国内-北交团队）10无线传感器网络安全通信协议研究与设计D硕士,大连理工大学，2006.11安全关键实时通信协议研究DL博士,兰州大学，2011.12基于ZigBee的无线传感器网络通信协议栈设计与实现D.硕士,电子科技大学,2009.13基于工业以太网的列车通信网络研究D.硕士，北京交通大学，2011.B检索结JIMlm汇剧批注【XJ3:自己要着重解稗的文献信息，文献格式可以根据以上检索范围与检索关键词，其中部分检索结果5篇，摘述如下：适当简化【篇名】安全通信与安全通信标准EN50159【作者】杨剑【期刊名称】铁路通信信号工程技术【年份】2014年2月，第11卷第1期【摘要】EN50159是欧洲铁路通信信号领域信息传输系统中安全通信标准。对安全通信基本知识进行一般介绍，对最新版本EN5015%2010标准内容进行简单解读，并结合自身实践，对安全通信协议软件开发相关经验要点进行介绍°【篇名】DevelopmentofverificationandconformancetestingtoolsforaraiIwaysignalingcommunicationprotocol【作者】Jae-HoLee1Jong-GyuHwang.DuckoShin.Kang-MiLee1Sung-UnKim【期刊名称】ComputerStandards&Interfacs【年份】2009【摘要】Verificationandconformancetestingforprotocolspecification,thekeypartoftheprotocoldevelopmentprocess,arecomplementarytechnologiesempIoyedtoincreaseconfidencethatasystemwillfunctionasstatedinitsspecifications.Inthispaper,weverifythesafetyandIivenessoftheprotocolspecifiedfortheLabeledTransitionSystem(LTS)byusingmodeI-checkingmethodandimplementingthetestingtool,whichexperimentalIydemonstratesthepresenceofdeadlockandreachabiIityfromtheinitialstatetoarandomstate.ImpIementingthetestingtooIcanusemodalmu-calculustoassesswhetherprotocolmodelproperties,presentedbymodaIlogic,meetprotocolspecifications.Inaddition,weproposeaconformancetestingtooltocheckcorrectimplementationofsequencesthathavebeenderivedbytheUIOmethodfromthespecificationoftheprotocolbeingverified.ThisgeneratingtoolusestheC+languageintheMicrosoftWindowsNTenvironment.【篇名】CompositionaIverificationofacommunicationprotocolforaremoteIyoperatedaircraft【作者】AlwynE.Goodloe1C6sarA.Muoz【期刊类型】ScienceofComputerProgramming【年份】2013【摘要】Thispaperpresentstheformalspecificationandverificationofaco11nunicationprotocolbetweenagroundstationandaremotelyoperatedaircraft.Theprotocolcanbeseenastheverticalcompositionofprotocollayers,whereeachlayerperformsinputandoutputmessageprocessing,andthehorizontaIcompositionofdifferentprocessesconcurrentlyinhabitingthesamelayer,whereeachprocessshouldsatisfyadistinetdeliveryrequirement.AcompositionaItechniqueisusedtoformaIIyprovethattheprotocolsatisfiestheserequirements.AIthoughtheprotocolitselfisnotnoveI,themethodologyempIoyedinitsverificationextendsexistingtechniquesbyautomatingthetediousandusualIyCimbersomepartoftheproof,therebymakingtheiterativedesignprocessofprotocolsfeasible.【篇名】基于工业以太网的列车通信网络研究【作者】张建斌【学位类型】硕士【授予单位】北京交通大学【导师】遵南林【年份】2011【摘要】：传统以太网通信的非实时和非确定性限制了其在列车通信网络中应用。改变以太网通信驱动和调度机制可使之成为适合列车通信的实时以太网。本文深入研究了影响以太网实时性和确定性通信的因素后提出了解决方案,并在设计的实验平台上进行了验证。本文以星型网络为基础研究了共享式和交换式以太网的实时特性,得出交换式以太网符合列车通信网络组网要求。分析了时间触发架构的通信机制并引入以太网中,分时复用的通信方法保证了以太网的通信的实时性和确定性,在此基础上提出以太网确定性通信的调度机制,并分析计算了通信网络的宏观调度周期.为了建立基于时间触发机制的以太网通信网络,本文在IEEE1588时钟同步协议基础上，提出了一种新的从时钟时间补偿方法即渐近时间补偿法,解决了直接补偿算法的时间“突变”问题,为验证算法的合理性和科学性,用MATLAB对时钟同步过程进行了建模分析。在以太网技术基础上研究了以太网通信节点可行性设计方案。完成了两类以太网通信节点硬件设计,移植了实时操作系统和TCP/IP协议栈,搭建了交换式以太网通信的实验平台.以实验平台为基础.实现了IEEE1588时钟同步协议栈,建立了时钟同步网络。最后.为考察通信网络的实时响应能力和时钟同步精度,本文设计了通信网络的测试方案,对通信网络平台的通信性能进行了定量分析。【篇名】基于ZigBee的无线传感器网络通信协议栈设计与实现【作者】李前【学位类型】硕士【授予单位】电子科技大学【导师】童玲【年份】2012【摘要】无线传感器网络技术应用前景非常广阔,在医疗、农业、环境、军事、侵入监测、轨迹跟踪、机器故障等不同应用领域开始显现出了巨大的潜力。无线传感器网络中的通信协议栈属于网络底层关键技术之一,是通信系统中不可分割的重要组成部分,是使得传感器网络应用能够进行交互的关键所在。本文基于ZigBee技术提出了一种可移植性强'提供良好编程接口的无线传感器网络通信协议栈的设计与实现,其目的是为了降低开发传感器网络应用的难度,同时也可为研究人员研究无线传感器网络效能、改进通
