AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

This paper describes the motivation, design, analysis and implementation of a new protocol for critical wireless communication called AirTight. Wireless communication has become a crucial part of the infrastructure of many cyber-physical applications. Many of these applications are real-time and also mixed-criticality, in that they have components/subsystems with different consequences of failure. Wireless communication is inevitably subject to levels of external interference. In this paper we represent this interference using a criticality-aware fault model; for each level of interference in the fault model we guarantee the timing behaviour of the protocol (i.e. we guarantee that packet deadlines are satisfied for certainly levels of criticality). Although a new protocol, AirTight is built upon existing standards such as IEEE 802.15.4. A prototype implementation and protocol-accurate simulator, which are also built upon existing technologies, demonstrate the effectiveness and functionality of the protocol.

[1]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[2]  David Wright,et al.  Probabilistic scheduling guarantees for fault-tolerant real-time systems , 1999, Dependable Computing for Critical Applications 7.

[3]  Neil C. Audsley,et al.  On priority assignment in fixed priority scheduling , 2001, Inf. Process. Lett..

[4]  Anthony Rowe,et al.  Voice over Sensor Networks , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[5]  Anthony Rowe,et al.  RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[6]  Joseph L. Rose,et al.  Active health monitoring of an aircraft wing with embedded piezoelectric sensor/actuator network: I. Defect detection, localization and growth monitoring , 2007 .

[7]  Steve Vestal,et al.  Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[8]  Milind Dawande,et al.  Link scheduling in wireless sensor networks: Distributed edge-coloring revisited , 2008, J. Parallel Distributed Comput..

[9]  Philip Levis,et al.  TinyOS Programming: Introduction , 2009 .

[10]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[11]  Leandro Soares Indrusiak,et al.  Joint Validation of Application Models and Multi-Abstraction Network-on-Chip Platforms , 2010, Int. J. Embed. Real Time Commun. Syst..

[12]  Yixin Chen,et al.  Real-Time Scheduling for WirelessHART Networks , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[13]  Lothar Thiele,et al.  Efficient network flooding and time synchronization with Glossy , 2011, Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks.

[14]  Yixin Chen,et al.  End-to-End Delay Analysis for Fixed Priority Scheduling in WirelessHART Networks , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[15]  Alan Burns,et al.  Response-Time Analysis for Mixed Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[16]  Lothar Thiele,et al.  Low-power wireless bus , 2012, SenSys '12.

[17]  Robert I. Davis,et al.  Traffic shaping to reduce jitter in controller area network (CAN) , 2012, SIGBED.

[18]  Alemayehu Addisu.  Mixed Criticality Scheduling Applied to JPEG 2000 Video Streaming Over Wireless Multimedia Sensor Networks , 2013 .

[19]  Alan Burns,et al.  Mixed Criticality on Controller Area Network , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[20]  Alan Burns,et al.  A Wormhole NoC Protocol for Mixed Criticality Systems , 2014, 2014 IEEE Real-Time Systems Symposium.

[21]  Alan Burns,et al.  Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[22]  Yixin Chen,et al.  Schedulability Analysis under Graph Routing in WirelessHART Networks , 2015, 2015 IEEE Real-Time Systems Symposium.

[23]  Thiemo Voigt,et al.  Arpeggio: A Penetration Attack on Glossy Networks , 2016, 2016 13th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON).

[24]  Mara Nikolaidou,et al.  A multi-core context-aware management architecture for mixed-criticality smart building applications , 2016, 2016 11th System of Systems Engineering Conference (SoSE).

[25]  Jintao Wang,et al.  Mixed Criticality Scheduling for Industrial Wireless Sensor Networks , 2016, Sensors.

[26]  Lothar Thiele,et al.  Adaptive Real-Time Communication for Wireless Cyber-Physical Systems , 2017, ACM Trans. Cyber Phys. Syst..