文献调研报告模板.doc
《文献调研报告模板.doc》由会员分享,可在线阅读,更多相关《文献调研报告模板.doc(11页珍藏版)》请在咨信网上搜索。
1、安全关键系统通信协议调研报告(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
2、 *(safety) communication protocol; 4 检索范围中国知网 百度 web of science(SCIE) IEEE http:/ieeexplore.ieee.org/Xplore/home.jspSpringer LINK ELSEVIER ScienceDirect(SDOL) 在不同关键词组合下,检索范围内,近三年的文献总数5 主要的检索文献对重点文献的说明1 BS EN50159 Railway applicationsCommunication, signaling and processing systems- Safety- related co
3、mmunication in transmission systemsS.2 安全通信与安全通信标准EN50159J. 铁路通信信号工程技术,2014.3 Performance evaluation and verification of communication protocol for railway signaling systems J. Computer Standards & Interfaces, 2005.4 Verification and conformance test generation of communication protocol for railway
4、signaling systems J. Computer Standards & Interfaces, 2007.5 Development of verification and conformance testing tools for a railway signaling communication protocol J. Computer Standards & Interfaces, 2009.4 Group communication on highways: An evaluation study of geocast protocols and applicationsJ
5、.Ad Hoc Networks, 2013.6 Compositional verification of a communication protocol for a remotely operated aircraftC. Science of Computer Programming, 2013.7 Verification of the safety communication protocol in train control system using colored Petri netJ. Reliability Engineering and System Safety, 20
6、12.(国内-陈黎洁)8 Simulation and verification of RSSP-II safety communication protocolC. 2012 Second International Conference on Business Computing and Global Information, 2012.(国内-许孟华)9 Formal verification of safety protocol in train control system J. Technological Sciences, 2011 (国内-北交团队)10 无线传感器网络安全通信
7、协议研究与设计D.硕士,大连理工大学,2006.11 安全关键实时通信协议研究D.博士,兰州大学,2011.12 基于ZigBee的无线传感器网络通信协议栈设计与实现D.硕士,电子科技大学,2009.13 基于工业以太网的列车通信网络研究D.硕士,北京交通大学,2011.6 检索结果摘要汇总自己要着重解释的文献信息,文献格式可以适当简化根据以上检索范围与检索关键词,其中部分检索结果5篇,摘述如下:【篇名】安全通信与安全通信标准EN50159【作者】杨剑【期刊名称】铁路通信信号工程技术【年份】2014年2月,第11卷第1期【摘要】EN50159是欧洲铁路通信信号领域信息传输系统中安全通信标准。对
8、安全通信基本知识进行一般介绍,对最新版本EN50159:2010标准内容进行简单解读,并结合自身实践,对安全通信协议软件开发相关经验要点进行介绍。【篇名】Development of verification and conformance testing tools for a railway signaling communication protocol【作者】Jae-Ho Lee, Jong-Gyu Hwang, Ducko Shin, Kang-Mi Lee, Sung-Un Kim【期刊名称】Computer Standards & Interfaces【年份】2009【摘要】Ve
9、rification and conformance testing for protocol specification, the key part of the protocol development process, are complementary technologies employed to increase confidence that a system will function as stated in its specifications. In this paper, we verify the safety and liveness of the protoco
10、l specified for the Labeled Transition System (LTS) by using model-checking method and implementing the testing tool, which experimentally demonstrates the presence of deadlock and reachability from the initial state to a random state. Implementing the testing tool can use modal mu-calculus to asses
11、s whether protocol model properties, presented by modal logic, meet protocol specifications. In addition, we propose a conformance testing tool to check correct implementation of sequences that have been derived by the UIO method from the specification of the protocol being verified. This generating
12、 tool uses the C+ language in the Microsoft Windows NT environment.【篇名】Compositional verification of a communication protocol for a remotely operated aircraft【作者】Alwyn E. Goodloe, Csar A. Muoz【期刊类型】Science of Computer Programming【年份】2013【摘要】This paper presents the formal specification and verificati
13、on of a communication protocol between a ground station and a remotely operated aircraft. The protocol can be seen as the vertical composition of protocol layers, where each layer performs input and output message processing, and the horizontal composition of different processes concurrently inhabit
14、ing the same layer, where each process should satisfy a distinct delivery requirement. A compositional technique is used to formally prove that the protocol satisfies these requirements. Although the protocol itself is not novel, the methodology employed in its verification extends existing techniqu
15、es by automating the tedious and usually cumbersome part of the proof, thereby making the iterative design process of protocols feasible.【篇名】基于工业以太网的列车通信网络研究【作者】张建斌【学位类型】硕士【授予单位】北京交通大学【导师】谭南林【年份】2011【摘要】:传统以太网通信的非实时和非确定性限制了其在列车通信网络中应用。改变以太网通信驱动和调度机制可使之成为适合列车通信的实时以太网。本文深入研究了影响以太网实时性和确定性通信的因素后提出了解决方案,
16、并在设计的实验平台上进行了验证。本文以星型网络为基础研究了共享式和交换式以太网的实时特性,得出交换式以太网符合列车通信网络组网要求。分析了时间触发架构的通信机制并引入以太网中,分时复用的通信方法保证了以太网的通信的实时性和确定性,在此基础上提出以太网确定性通信的调度机制,并分析计算了通信网络的宏观调度周期。为了建立基于时间触发机制的以太网通信网络,本文在IEEEI588时钟同步协议基础上,提出了一种新的从时钟时间补偿方法即渐近时间补偿法,解决了直接补偿算法的时间“突变”问题,为验证算法的合理性和科学性,用MATLAB对时钟同步过程进行了建模分析。在以太网技术基础上研究了以太网通信节点可行性设计
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 文献 调研 报告 模板
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【丰****】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【丰****】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。