By the same authors

From the same journal

From the same journal

The AirTight Protocol for Mixed Criticality Wireless CPS

Research output: Contribution to journalArticlepeer-review

Full text download(s)

  • CPS

    1.33 MB, PDF document

Published copy (DOI)



Publication details

JournalACM Transactions on Cyber-Physical Systems
DateAccepted/In press - 15 Sep 2019
DateE-pub ahead of print - Dec 2019
DatePublished (current) - Feb 2020
Issue number2
Number of pages28
Early online date1/12/19
Original languageEnglish


This paper describes the motivation, design, analysis and configuration of the criticality-aware multi-hop wireless communication protocol 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 temporal interference in the fault model we guarantee the timing behaviour of the protocol (i.e.~we guarantee
that packet deadlines are satisfied for certain 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 have been produced.
This paper develops a series of schedulability analysis techniques for single-channel and multichannel wireless Cyber-Physical Systems (CPS). Heuristics are specified and evaluated as the starting point of design space exploration. Genetic algorithms are then defined and evaluated to assess their performance in developing schedule tables incorporating multichannel allocations in these systems.

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.


Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations