This file was created by the TYPO3 extension bib --- Timezone: UTC Creation date: 2024-11-21 Creation time: 12-33-28 --- Number of references 5 inproceedings DombrowskiSRDS16 2016 9 27 307--316 fault tolerance;formal verification;protocols;wireless channels;EchoRing protocol;fault-tolerant methods;formal model-based verification;model-checking assisted protocol;probabilistic model checking;reliability constraints;safety-critical industrial applications;salient features;token loss;token-based system;ultrareliable low-latency wireless networks;unprecedented latency;wireless networking community;wireless protocols;wireless token-passing systems;Automata;Model checking;Payloads;Probabilistic logic;Protocols;Reliability;Wireless communication;Model checking;Probabilistic timed automata;Token passing;Wireless Industrial Networks;tool-assisted protocol design;validation cps,hodrian http://ieeexplore.ieee.org/document/7794360/ Proc. of IEEE 35th Symposium on Reliable Distributed Systems IEEE Budapest, Hungary IEEE 35th Symposium on Reliable Distributed Systems (SRDS) 10.1109/SRDS.2016.048 1 ChristianDombrowski SebastianJunges Joost-PieterKatoen JamesGross poster serror-zdn-2015 2015 9 25 cps,koi,hodrian https://www.comsys.rwth-aachen.de/fileadmin/papers/2015/2015-serror-zdn-cooperation.pdf http://kn.inf.uni-tuebingen.de/itg-zdn-2015-poster-session VDE online ITG-Fachtagung "Zukunft der Netze 2015" – Poster Session, Tübingen, Germany Tübingen, Germany MartinSerror ChristianDombrowski KlausWehrle JamesGross inproceedings Dombrowski2015EW 2015 5 20 Spurred by recent industrial trends, such as factory automation or phase synchronization in the smart grid, there is a significant interest for wireless industrial networks lately. In contrast to traditional applications, the focus is on carrying out communication at very short latencies together with high reliabilities. Meeting such extreme requirements with wireless networks is challenging. A potential candidate for such a network is a token-passing protocol, as it allows to bound latencies. However, it lacks mechanisms to cope with the dynamics of wireless channels. In this paper, we present EchoRing, a novel wireless token-passing protocol. Cooperative communication and an improved fault tolerance allow this decentralized protocol to support industrial applications over wireless networks. Based on experimental results, we demonstrate the suitability of EchoRing to support demands of industrial applications. EchoRing outperforms other schemes by several orders of magnitude in terms of reliability for latencies of and below 10ms. Protocols and architectures for wireless networks; Testbeds and experimental wireless systems; Reliability: robust and dependable wireless systems cps,hodrian IEEE Proc. of 21st European Wireless Conference (EW15) Budapest, Hungary European Wireless Conference (EW) 20/05/2015 978-3-8007-3976-9 ChristianDombrowski JamesGross inproceedings Dombrowski2015NetSys 2015 3 9 1--3 cps,hodrian http://www.netsys2015.com/wp-content/uploads/NetSys2015_Demo_Dombrowski.pdf http://www.netsys2015.com/program/demonstrations/ http://www.netsys2015.com/communication-software-awards/ 2nd Place Regular Demonstrations IEEE Proc. of 2nd International Conference on Networked Systems, Demonstrations (NetSys15) Cottbus, Germany Conference on Networked Systems (NetSys) - Demo Session 09/03/2015 1 ChristianDombrowski JamesGross conference Schumacher2014 2014 11 19 hodrian,cps Proc. of European workshop on testbed based wireless research Stockholm, Sweden European workshop on testbed based wireless research 19/11/2014 AndreasSchumacher ChristianDombrowski JamesGross