Advanced

Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

Nayak Seetanadi, Gautham LU ; Maggio, Martina LU ; Årzén, Karl-Erik LU ; Almeida, Luis and Camara, Javier (2018) 38th IEEE Real-Time Systems Symposium, 2017 In IEEE Real-Time Systems Symposium (RTSS) p.243-254
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... (More)
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. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
in
IEEE Real-Time Systems Symposium (RTSS)
pages
12 pages
publisher
IEEE--Institute of Electrical and Electronics Engineers Inc.
conference name
38th IEEE Real-Time Systems Symposium, 2017
external identifiers
  • scopus:85046350517
DOI
10.1109/RTSS.2017.00030
language
English
LU publication?
yes
id
fe4168fd-de0c-49ca-a955-f9503e444e84
date added to LUP
2017-09-15 11:35:00
date last changed
2018-05-29 10:20:32
@inproceedings{fe4168fd-de0c-49ca-a955-f9503e444e84,
  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.},
  author       = {Nayak Seetanadi, Gautham and Maggio, Martina and Årzén, Karl-Erik and Almeida, Luis and Camara, Javier},
  booktitle    = {IEEE Real-Time Systems Symposium (RTSS) },
  language     = {eng},
  month        = {01},
  pages        = {243--254},
  publisher    = {IEEE--Institute of Electrical and Electronics Engineers Inc.},
  title        = {Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks},
  url          = {http://dx.doi.org/10.1109/RTSS.2017.00030},
  year         = {2018},
}