文献调研报告模板范文 .pdfVIP

文献调研报告模板

1

2020年4月19日

文档仅供参考

安全关键系统通信协议调研报告（.4.12）

1调研题目

安全关键系统通信协议的建模与分析

2任务说明

1)查阅国外的相关文献；

2)补充通信协议中的具体网络；

3)阅读标准EN50159；

3关键字

检索词：

CBTC；安全关键系统；安全通信协议；EN50159；safety

communicationprotocol

检索策略：

无线*通信；总线*通信；以太网*通信；CBTC*communication

protocol；safety*protocol；verification/test/model/simulation/

design/analysis*(safety)communicationprotocol;

4检索范围

中国知网

百度

webofscience(SCIE)

IEEE

-0-

2020年4月19日

文档仅供参考

SpringerLINK

ELSEVIERScienceDirect(SDOL)

在不同关键词组合下，检索范围内，近三年的文献总数

5主要的检索文献

[1]BSEN50159Railwayapplications—Communication,signalingand

processingsystems-Safety-relatedcommunicationintransmission

systems[S].

[2]安全通信与安全通信标准EN50159[J].铁路通信信号工程技

术，.

[3]Performanceevaluationandverificationofcommunication

protocolforrailwaysignalingsystems[J].ComputerStandards

Interfaces,.

[4]Verificationandconformancetestgenerationofcommunication

protocolforrailwaysignalingsystems[J].ComputerStandards

Interfaces,.

[5]Developmentofverificationandconformancetestingtoolsfora

railwaysignalingcommunicationprotocol[J].ComputerStandards

Interfaces,.

[4]Groupcommunicationonhighways:Anevaluationstudyofgeocast

protocolsandapplications[J].AdHocNetworks,.

[6]Compositionalverificationofacommunicationprotocolfora

remotelyoperatedaircraft[C].ScienceofComputerProgramming,.

-1-

2020年4月19日

文档仅供参考

[7]Verificationofthesafetycommunicationprotocolintraincontrol

systemusingcoloredPetrinet[J].ReliabilityEngineeringand