Search: onr:"swepub:oai:lup.lub.lu.se:fe4168fd-de0c-49ca-a955-f9503e444e84" > Event-Driven Bandwi...
Fältnamn | Indikatorer | Metadata |
---|---|---|
000 | 03657naa a2200361 4500 | |
001 | oai:lup.lub.lu.se:fe4168fd-de0c-49ca-a955-f9503e444e84 | |
003 | SwePub | |
008 | 170915s2018 | |||||||||||000 ||eng| | |
024 | 7 | a https://lup.lub.lu.se/record/fe4168fd-de0c-49ca-a955-f9503e444e842 URI |
024 | 7 | a https://doi.org/10.1109/RTSS.2017.000302 DOI |
040 | a (SwePub)lu | |
041 | a engb eng | |
042 | 9 SwePub | |
072 | 7 | a kon2 swepub-publicationtype |
072 | 7 | a ref2 swepub-contenttype |
100 | 1 | a Nayak Seetanadi, Gauthamu Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH4 aut0 (Swepub:lu)ga8654na |
245 | 1 0 | a Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks |
264 | 1 | c 2018 |
300 | a 12 s. | |
338 | a electronic2 rdacarrier | |
520 | a 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. | |
650 | 7 | a TEKNIK OCH TEKNOLOGIERx Elektroteknik och elektronikx Reglerteknik0 (SwePub)202022 hsv//swe |
650 | 7 | a ENGINEERING AND TECHNOLOGYx Electrical Engineering, Electronic Engineering, Information Engineeringx Control Engineering0 (SwePub)202022 hsv//eng |
700 | 1 | a Maggio, Martinau Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH4 aut0 (Swepub:lu)cont-mmo |
700 | 1 | a Årzén, Karl-Eriku Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH4 aut0 (Swepub:lu)cont-kar |
700 | 1 | a Almeida, Luisu University of Porto4 aut |
700 | 1 | a Camara, Javieru Carnegie Mellon University4 aut |
710 | 2 | a Institutionen för reglerteknikb Institutioner vid LTH4 org |
773 | 0 | t IEEE Real-Time Systems Symposium (RTSS)g , s. 243-254q <243-254 |
856 | 4 | u https://portal.research.lu.se/files/31171242/RTSS17_Gautham_2_.pdfx primaryx freey FULLTEXT |
856 | 4 | u http://dx.doi.org/10.1109/RTSS.2017.00030y FULLTEXT |
856 | 4 8 | u https://lup.lub.lu.se/record/fe4168fd-de0c-49ca-a955-f9503e444e84 |
856 | 4 8 | u https://doi.org/10.1109/RTSS.2017.00030 |
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.