文献调研报告模板

-0-安全关键系统通信协议调研报告（2015.4.12）1调研题目安全关键系统通信协议的建模与分析2任务说明1)查阅国外的相关文献；2)补充通信协议中的具体网络；3)阅读标准EN50159；3关键字检索词：CBTC；安全关键系统；安全通信协议；EN50159；safetycommunicationprotocol检索策略：无线*通信；总线*通信；以太网*通信；CBTC*communicationprotocol；safety*protocol；verification/test/model/simulation/design/analysis*(safety)communicationprotocol;4检索范围中国知网百度(SCIE)://ieeexplore.ieee.org/Xplore/home.jspSpringerLINK(SDOL)在不同关键词组合下，检索范围内，近三年的文献总数5主要的检索文献[1]BSEN50159Railwayapplications—Communication,signalingandprocessingsystems-Safety-relatedcommunicationintransmissionsystems[S].[2]安全通信与安全通信标准EN50159[J].铁路通信信号工程技术，2014.[3]Performanceevaluationandverificationofcommunicationprotocolforrailwaysignalingsystems[J].ComputerStandards&Interfaces,2005.[4]Verificationandconformancetestgenerationofcommunicationprotocolforrailwaysignalingsystems[J].ComputerStandards&Interfaces,2007.[5]Developmentofverificationandconformancetestingtoolsforarailwaysignalingcommunicationprotocol[J].ComputerStandards&Interfaces,2009.[4]Groupcommunicationonhighways:Anevaluationstudyofgeocastprotocolsandapplications[J].AdHocNetworks,2013.[6]Compositionalverificationofacommunicationprotocolforaremotelyoperatedaircraft[C].ScienceofComputerProgramming,2013.[7]VerificationofthesafetycommunicationprotocolintraincontrolsystemusingcoloredPetrinet[J].ReliabilityEngineeringandSystemSafety,2012.(国内-陈黎洁)-1-[8]SimulationandverificationofRSSP-IIsafetycommunicationprotocol[C].2012SecondInternationalConferenceonBusinessComputingandGlobalInformation,2012.(国内-许孟华)[9]Formalverificationofsafetyprotocolintraincontrolsystem[J].TechnologicalSciences,2011(国内-北交团队)[10]无线传感器网络安全通信协议研究与设计[D].硕士，大连理工大学，2006.[11]安全关键实时通信协议研究[D].博士，兰州大学，2011.[12]基于ZigBee的无线传感器网络通信协议栈设计与实现[D].硕士，电子科技大学，2009.[13]基于工业以太网的列车通信网络研究[D].硕士，北京交通大学，2011.6检索结果摘要汇总根据以上检索范围与检索关键词，其中部分检索结果5篇，摘述如下：【篇名】安全通信与安全通信标准EN50159【作者】杨剑【期刊名称】铁路通信信号工程技术【年份】2014年2月，第11卷第1期【摘要】EN50159是欧洲铁路通信信号领域信息传输系统中安全通信标准。对安全通信基本知识进行一般介绍，对最新版本EN50159:2010标准内容进行简单解读，并结合自身实践，对安全通信协议软件开发相关经验要点进行介绍。【篇名】Developmentofverificationandconformancetestingtoolsforarailwaysignalingcommunicationprotocol【作者】Jae-HoLee,Jong-GyuHwang,DuckoShin,Kang-MiLee,Sung-UnKim【期刊名称】ComputerStandards&Interfaces【年份】2009【摘要】Verificationandconformancetestingforprotocolspecification,thekeypartoftheprotocoldevelopmentprocess,arecomplementarytechnologiesemployedtoincreaseconfidencethatasystemwillfunctionasstatedinitsspecifications.Inthispaper,weverifythesafetyandlivenessoftheprotocolspecifiedfortheLabeledTransitionSystem(LTS)byusingmodel-checkingmethodandimplementingthetestingtool,whichexperimentallydemonstratesthepresenceofdeadlockandreachabilityfromtheinitialstatetoarandomstate.Implementingthetestingtoolcanusemodalmu-calculustoassesswhetherprotocolmodelproperties,presentedbymodallogic,meetprotocolspecifications.Inaddition,weproposeaconformancetestingtooltocheckcorrectimplementationofsequencesthathavebeenderivedbytheUIOmethodfromthespecificationoftheprotocolbeingverified.ThisgeneratingtoolusestheC++languageintheMicrosoftWindowsNTenvironment.【篇名】Compositionalverificationofacommunicationprotocolforaremotelyoperatedaircraft【作者】AlwynE.Goodloe,CésarA.Muñoz【期刊类型】ScienceofComputerProgramming【年份】2013【摘要】Thispaperpresentstheformalspecificationandverificationofacommunicationprotocolbetweenagroundstationandaremotelyoperatedaircraft.Theprotocolcanbeseenastheverticalcompositionofprotocollayers,whereeachlayerperformsinputandoutputmessageprocessing,-2-andthehorizontalcompositionofdifferentprocessesconcurrentlyinhabitingthesamelayer,whereeachprocessshouldsatisfyadistinctdeliveryrequirement.Acompositionaltechniqueisusedtoformallyprovethattheprotocolsatisfiestheserequirements.Althoughtheprotocolitselfisnotnovel,themethodologyemployedinitsverificationextendsexistingtechniquesbyautomatingthetediousandusuallycumbersomepartoftheproof,therebymakingtheiterativedesignprocessofprotocolsfeasible.【篇名】基于工业以太网的列车通信网络研究【作者】张建斌【学位类型】硕士【授予单位】北京交通大学【导师】谭南林【年份】2011【摘要】:传统以太网通信的非实时和非确定性限制了其在列车通信网络中应用。改变以太网通信驱动和调度机制可使之成为适合列车通信的实时以太网。本文深入研究了影响以太网实时性和确定性通信的因素后提出了解决方案,并在设计的实验平台上进行了验证。本文以星型网络为基础研究了共享式和交换式以太网的实时特性,得出交换式以太网符合列车通信网络组网要求。分析了时间触发架构的通信机制并引入以太网中,分时复用的通信方法保证了以太网的通信的实时性和确定性,在此基础上提出以太网确定性通信的调度机制,并分析计算了通信网络的宏观调度周期。为了建立基于时间触发机制的以太网通信网络,本文在IEEEI588时钟同步协议基础上,提出了一种新的从时钟时间补偿方法即渐近时间补偿法,解决了直接补偿算法的时间“突变”问题,为验证算法的合理性和科学性,用MATLAB对时钟同步过程进行了建模分析。在以太网技术基础上研究了以太网通信节点可行性设计方案。完成了两类以太网通信节点硬件设计,移植了实时操作系统和TCP/IP协议栈,搭建了交换式以太网通信的实验平台,以实验平台为基础,实现了IEEEI588时钟同步协议栈,建立了时钟同步网络。最后,为考察通信网络的实时响应能力和时钟同步精度,本文设计了通信网络的测试方案,对通信网络平台的通信性能进行了定量分析。【篇名】基于ZigBee的无线传感器网络通信协议栈设计与实现【作者】李蔚【学位类型】硕士【授予单位】电子科技大学【导师】童玲【年份】2012【摘要】无线传感器网络技术应用前景非常广阔,在医疗、农业、环境、军事、侵入监测、轨迹跟踪、机器故障等不同应用领域开始显现出了巨大的潜力。无线传感器网络中的通信协议栈属于网络底层关键技术之一,是通信系统中不可分割的重要组成部分,是使得传感器网络应用能够进行交互的关键所在。本文基于ZigBee技术提出了一种可移植性强、提供良好编程接口的无线传感器网络通信协议栈的设计与实现,其目的是为了降低开发传感器网络应用的难度,同时也可为研究人员研究无线传感器网络效能、改进通信协议提供一个坚实基础。本文设计的无线传感器网络通信协议栈具有理论和应用上的意义。-3-本文着重介绍了协议栈的MAC层、网络层的设计与实现。设计实现的MA