文献调研报告模板

- 0 -安全关键系统通信协议调研报告（2015.4.12）1 调研题目安全关键系统通信协议的建模与分析2 任务说明1) 查阅国外的相关文献；2) 补充通信协议中的具体网络；3) 阅读标准 EN50159；3 关键字检索词：CBTC；安全关键系统；安全通信协议；EN50159；safety communication protocol检索策略：无线*通信；总线*通信；以太网*通信；CBTC*communication protocol；safety*protocol；verification/ test/ model / simulation / design / analysis *(safety) communication protocol;4 检索范围中国知网http://www.cnki.net/百度http://www.baidu.com/web of science(SCIE)http://apps.webofknowledge.com/IEEEhttp://ieeexplore.ieee.org/Xplore/home.jspSpringer LINKhttp://link.springer.com/ELSEVIER ScienceDirect(SDOL)http://www.sciencedirect.com/在不同关键词组合下，检索范围内，近三年的文献总数5 主要的检索文献[1] BS EN50159 Railway applications—Communication, signaling and processing systems-Safety- related communication in transmission systems[S].[2] 安全通信与安全通信标准 EN50159[J]. 铁路通信信号工程技术，2014.[3] Performance evaluation and verification of communication protocol for railway signalingsystems [J]. Computer Standards & Interfaces, 2005.[4] Verification and conformance test generation of communication protocol for railway signalingsystems [J]. Computer Standards & Interfaces, 2007.[5] Development of verification and conformance testing tools for a railway signalingcommunication protocol [J]. Computer Standards & Interfaces, 2009.[4] Group communication on highways: An evaluation study of geocast protocols andapplications[J].Ad Hoc Networks, 2013.[6] Compositional verification of a communication protocol for a remotely operated aircraft[C].Science of Computer Programming, 2013.[7] Verification of the safety communication protocol in train control system using colored Petrinet[J]. Reliability Engineering and System Safety, 2012.(国内-陈黎洁)- 1 -[8] Simulation an...