Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

Abstract

Modern computing systems are often formed by multiple components that interact with each other through the use of shared resources (e.g., CPU, network bandwidth, storage). In this paper, we consider a representative scenario of one such system in the context of an Internet of Things application. The system consists of a network of self-adaptive cameras that share a communication channel, transmitting streams of frames to a central node. The cameras can modify a quality parameter to adapt the amount of information encoded and to affect their bandwidth requirements and usage. A critical design choice for such a system is scheduling channel access, i.e., how to determine the amount of channel capacity that should be used by each of the cameras at any point in time. Two main issues have to be considered for the choice of a bandwidth allocation scheme: (i) camera adaptation and network access scheduling may interfere with one another, (ii) bandwidth distribution should be triggered only when necessary, to limit additional overhead. This paper proposes the first formally verified event-triggered adaptation scheme for bandwidth allocation, designed to minimize additional overhead in the network. Desired properties of the system are verified using model checking. The paper also describes experimental results obtained with an implementation of the scheme.

Detaljer

Författare
Enheter & grupper
Externa organisationer
  • Carnegie Mellon University
  • University of Porto
Forskningsområden

Ämnesklassifikation (UKÄ) – OBLIGATORISK

  • Reglerteknik
Originalspråkengelska
Titel på värdpublikationIEEE Real-Time Systems Symposium (RTSS)
FörlagIEEE - Institute of Electrical and Electronics Engineers Inc.
Sidor243-254
Antal sidor12
StatusPublished - 2018 jan 31
PublikationskategoriForskning
Peer review utfördJa
Evenemang38th IEEE Real-Time Systems Symposium, 2017 - Paris, Frankrike
Varaktighet: 2017 okt 52017 okt 8

Konferens

Konferens38th IEEE Real-Time Systems Symposium, 2017
Förkortad titelRTSS
LandFrankrike
OrtParis
Period2017/10/052017/10/08

Nedladdningar

Ingen tillgänglig data

Relaterad forskningsoutput

Gautham Nayak Seetanadi, Karl-Erik Årzén & Martina Maggio, 2019, IEEE International Conference on Autonomic Computing. IEEE - Institute of Electrical and Electronics Engineers Inc., s. 95-104 8831206

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

Gautham Nayak Seetanadi, Martina Maggio, Karl-Erik Årzén, Almeida, L. & Oliveira, L., 2017, The 15th International Workshop on Real-Time Networks.

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

Visa alla (2)

Related projects

Visa alla (1)