Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Modeling multicast packet losses in wireless LANs
MSWIM '03 Proceedings of the 6th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems
Model Checking Dependability Attributes of Wireless Group Communication
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Characterising the behaviour of IEEE 802.11 broadcast transmissions in ad hoc wireless LANs
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
Design and Analysis of a Secure Routing Protocol Algorithm for Wireless Sensor Networks
AINA '11 Proceedings of the 2011 IEEE International Conference on Advanced Information Networking and Applications
Propagation measurements and models for wireless communications channels
IEEE Communications Magazine
Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems
EDCC '12 Proceedings of the 2012 Ninth European Dependable Computing Conference
Hi-index | 0.00 |
In this paper we perform a model-based analysis of the Timed Reliable Communication (TRC) protocol, which is being used within the EU funded ALARP project for railway worksite com-munication. TRC is a group communication protocol based on IEEE 802.11 networks, targeting safety-critical applications with limited bandwidth requirements. The paper contains an in-depth analysis of the performance and reliability characteristics of the protocol using a Stochastic Activity Networks model. The results are first compared with available experimental measurements for the sake of model validation. The validated model is then used for a thorough analysis of a set of key metrics under different envi-ronment and network conditions. The obtained results allow: i) to assess that the protocol allows to satisfy the ALARP targeted performance and reliability requirements, and ii) to evaluate the existing tradeoffs and help in choosing parameter values for the final implementation.