安全关键系统通信协议调研报告（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检索范围中国知网wwcnki/百度wwbaidu/webofscience(SCIE)apps.webofknowledge/IEEEieeexplore.ieee.org/Xplore/home.jspSpringerLINKlink.springer/ELSEVIERScienceDirect(SDOL)wwsciencedirect/在不同关键词组合下，检索范围内，近三年的文献总数5主要的检索文献[1]BSEN50159Railwayapplications—Communication,signalingandprocessingsystems-Safety-relatedcommunicationintransmissionsystems[S].[2]安全通信与安全通信标准EN50159[J].铁路通信信号工程技术，2014.[3]Performanceevaluationandverificationofcommunicationprotocolforrailwaysignalingsystems[J].ComputerStandardsInterfaces,2005.[4]Verificationandconformancetestgenerationofcommunicationprotocolforrailwaysignalingsystems[J].ComputerStandardsInterfaces,2007.[5]Developmentofverificationandconformancetestingtoolsforarailwaysignalingcommunicationprotocol[J].ComputerStandardsInterfaces,2009.[4]Groupcommunicationonhighways:Anevaluationstudyofgeocastprotocolsandapplications[J].AdHocNetworks,2013.[6]Compositionalverificationofacommunicationprotocolforaremotelyoperatedaircraft[C].ScienceofComputerProgramming,2013.[7]VerificationofthesafetycommunicationprotocolintraincontrolsystemusingcoloredPetrinet[J].ReliabilityEngineeringandSystemSafety,2012.(国内-陈黎洁)---本文来源于网络，仅供参考，勿照抄，如有侵权请联系删除---[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【期刊名称】ComputerStandardsInterfaces【年份】2009【摘要】Verificationandconformancetestingforprotocolspecification,thekeypartoftheprotocoldevelopmentprocess,arecomplementarytechnologiesemployedtoincreaseconfidencethatasystemwillfunctionasstatedinitsspecifications.Inthispaper,weverifythesafetyandlivenessoftheprotocolspecifiedfortheLabeledTransitionSystem(LTS)byusingmodel-checkingmethodandimplementingthetestingtool,whichexperimentallydemonstratesthepresenceofdeadlockandreachabilityfromtheinitialstatetoarandomstate.Implementingthetestingtoolcanusemodalmu...