On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications-Reference-Cited by-同舟云学术

On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications

Published:2014-03-18 Issue:3 Volume:69 Page:1254-1283
ISSN:0920-8542
Container-title:The Journal of Supercomputing
language:en
Short-container-title:J Supercomput

Author:

Zhou Rui,Li Chanjuan,Min Rong,Yu Qi,Gu Fei,Zhou Qingguo,Hung Jason C.,Li Kuan-Ching,Wang Xuan

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Information Systems,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s11227-014-1157-2.pdf

Reference52 articles.

1. Kopetz H (1991) Event-triggered versus time-triggered real-time systems, operating systems of the 90s and beyond. Lecture Notes Comput Sci 563:86–101

2. Kopetz H (2011) Real-time systems: design principles for distributed embedded applications, 2nd edn. Springer, Germany

3. Trawczynski D, Sosnowski J, Zalewski J (2007) The effect of large clock drifts on performance of event and time triggered network interfaces. In: 2nd international conference on dependability of computer systems (DepCoS-RELCOMEX ’07), Szklarska, pp 344–351

4. Kopetz H (1992) Sparse time versus dense time in distributed real-time systems. In: Proceedings of 12th international conference on distributed computing systems, Yokohama, pp 460–467

5. Sinha A, Lobiyal DK (2013) Performance evaluation of data aggregation for cluster-based wireless sensor network. Human Centric Comput Inf Sci 3(13):1–17

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. L4eRTL: a robust and secure real-time architecture with L4 microkernel and para-virtualised PSE51 partitions;International Journal of Embedded Systems;2017

2. Advanced metering infrastructure design and test bed experiment using intelligent agents: focusing on the PLC network base technology for Smart Grid system;The Journal of Supercomputing;2016-03-05

3. The Design and Implementation of Embedded Online Laboratory;2015 44th International Conference on Parallel Processing Workshops;2015-09

4. Computational awareness towards green environments;The Journal of Supercomputing;2014-08-20