信息科学与工程学院机构知识库

Institutional Repository, School of Information Science and Engineering

 

兰州大学机构库  > 信息科学与工程学院  > 期刊论文
题名: On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications
作者: Zhou, R; Li, CJ; Min, R; Yu, Q; Gu, F; Zhou, QG(周庆国); Hung, JC; Li, KC; Wang, X
收录类别: SCIE ; EI
出版日期: 2014-09
刊名: JOURNAL OF SUPERCOMPUTING
卷号: 69, 期号:3, 页码:1254-1283
出版者: SPRINGER
出版地: DORDRECHT
英文摘要: The correct operation of time-triggered protocols highly depends on the well-synchronized clocks of the system. To maintain the global time, one strict constraint must be exerted on communication activities (e.g. temporal padding and sparse time base etc.), which not only increases complexity of the protocol design but also incurs a penalty in the network utilization. While for event-triggered protocols, it is difficult to achieve the real-time requirement and determinism. Therefore, it is necessary to explore the combination of the advantages of these two categories of protocol for applications in different scenarios. This paper proposes the Safe Node Sequence Protocol (SNSP), which is a variant of full time-triggered protocol TTP/C. In SNSP, a strict node sequence is defined and the order of communication events is established by this pre-configured order without binding to global time, so the protocol changes communication activities and error detection to an event-triggered model. Therefore, SNSP possesses the characteristics of both time-triggered and event-triggered model. Also, the potential impact of global time, such as byzantine clock failure, on the protocol is eliminated. At the same time, the formal verification of SNSP is much easier in the absence of global time. Moreover, we model the protocol and use formal checker SPIN to validate the basic fault-tolerant requirement of SNSP. The simulation results show the protocol enables better resource utilization and is more effective.
关键词: Event-triggered protocol ; Safe node sequence protocol ; Safety ; Fault-tolerance ; Formal verification
作者部门: [Zhou, Rui ; Li, Chanjuan ; Min, Rong ; Yu, Qi ; Zhou, Qingguo] Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China ; [Gu, Fei] Huawei Technol Co Ltd, Shenzhen, Peoples R China ; [Hung, Jason C.] Overseas Chinese Univ, Dept Informat Management, Taichung, Taiwan ; [Li, Kuan-Ching] Providence Univ, Dept Comp Sci & Informat Engn CSIE, Taichung, Taiwan ; [Wang, Xuan] Lanzhou Univ Technol, Sch Sci, Lanzhou, Peoples R China
通讯作者: Zhou, QG (reprint author), Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China.
学科分类: Computer Science; Engineering
文章类型: Article
所属项目编号: National Natural Science Foundation of China [60973137] ; Program for New Century Excellent Talents in University [NCET-12-0250] ; Gansu Sci.Tech. Program [1104GKCA049, 1204GKCA061, 1304GKCA018, 1212RJYA003] ; Fundamental Research Funds for the Central Universities [lzujbky-2013-k05, lzujbky-2013-43, lzujbky-2013-44, lzujbky-2012-44] ; Gansu Telecom Cuiying Research Fund [lzudxcy-2013-4] ; Google Research Awards ; Google Faculty Award ; Providence University research program [PU102-11100-A12]
所属项目名称: 国家自然科学基金项目 ; 新世纪优秀人才支持计划 ; 中央高校基本科研业务费专项资金 ; 甘肃省青年科技基金计划 ; 甘肃省科技支撑计划
项目资助者: NSFC ; MOST ; MOE ; LZU ; GSSTD
语种: 英语
DOI: 10.1007/s11227-014-1157-2
ISSN号: 0920-8542
WOS记录号: WOS:000342454300016
EI记录号: IP53060787
第一机构:
Citation statistics:
内容类型: 期刊论文
URI标识: http://ir.lzu.edu.cn/handle/262010/116276
Appears in Collections:信息科学与工程学院_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
Zhou-2014-On design and formal verification of.pdf(1385KB)----限制开放 联系获取全文

Recommended Citation:
Zhou, R,Li, CJ,Min, R,et al. On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications[J]. JOURNAL OF SUPERCOMPUTING,2014,69(3):1254-1283.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Altmetrics Score
 
Google Scholar
Similar articles in Google Scholar
[Zhou, R]'s Articles
[Li, CJ]'s Articles
[Min, R]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Zhou, R]‘s Articles
[Li, CJ]‘s Articles
[Min, R]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Copyright © 2007-2017  兰州大学 - Feedback
Powered by CSpace