Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus

Recent successes of wireless networked systems in advancing industrial automation and in spawning the Internet of Things paradigm motivate the adoption of wireless networked systems in current and future safety-critical applications. As reliability is key in safety-critical applications, in this work we present NETDAG, a scheduler design and implementation suitable for real-time applications in the wireless setting. NETDAG is built upon the Low-Power Wireless Bus, a high-performant communication abstraction for wireless networked systems, and enables system designers to directly schedule applications under specified task-level real-time constraints. Access to real-time primitives in the scheduler permits efficient design exploration of tradeoffs between power consumption and latency. Furthermore, NETDAG provides support for weakly hard real-time applications with deterministic guarantees, in addition to heretofore considered soft real-time applications with probabilistic guarantees. We propose novel abstraction techniques for reasoning about conjunctions of weakly hard constraints and show how such abstractions can be used to handle the significant scheduling difficulties brought on by networked components with weakly hard behaviors.

[1]  Wenchao Li,et al.  Formal verification of weakly-hard systems , 2019, HSCC.

[2]  Wenchao Li,et al.  Exploring weakly-hard paradigm for networked systems , 2019, DESTION@CPSIoTWeek.

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

[4]  Lothar Thiele,et al.  TTW: A Time-Triggered Wireless design for CPS , 2017, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Stephen P. Boyd,et al.  Disciplined quasiconvex programming , 2019, Optimization Letters.

[6]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[7]  Lothar Thiele,et al.  End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[8]  Song Han,et al.  WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[9]  Alan Burns,et al.  Weakly Hard Real-Time Systems , 2001, IEEE Trans. Computers.

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

[11]  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.

[12]  Chenyang Lu,et al.  Efficient Holistic Control over Industrial Wireless Sensor-Actuator Networks , 2018, 2018 IEEE International Conference on Industrial Internet (ICII).

[13]  Lothar Thiele,et al.  Feedback control goes wireless: guaranteed stability over low-power multi-hop networks , 2018, ICCPS.

[14]  Lothar Thiele,et al.  On Modeling Low-Power Wireless Protocols Based on Synchronous Packet Transmissions , 2013, 2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems.

[15]  Parameswaran Ramanathan,et al.  Real-time computing: a new discipline of computer science and engineering , 1994, Proc. IEEE.