Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="google" content="notranslate"> <meta http-equiv="Content-Language" content="en"> <meta name="viewport" content="width=device-width, initial-scale=1"> <meta name="csrf-token" content="6TsBeIaRGplgHuIz0ZtOMnmxfgN4w7cuKKZumAyk"> <link rel="canonical" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117"> <script type="application/ld+json"> { "@context": "https://schema.org/", "@type": "WebPage", "mainEntity": { "@type": "PublicationVolume", "@id": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117", "url": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117", "volumeNumber": 117, "name": "Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)", "dateCreated": "2024-03-04", "datePublished": "2024-03-04", "editor": [ { "@type": "Person", "name": "Yomsi, Patrick Meumeu", "givenName": "Patrick Meumeu", "familyName": "Yomsi", "email": "mailto:pmy@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0003-0473-1559", "affiliation": "CISTER Research Centre, ISEP, Porto, Portugal" }, { "@type": "Person", "name": "Wildermann, Stefan", "givenName": "Stefan", "familyName": "Wildermann", "email": "mailto:stefan.wildermann@fau.de", "sameAs": "https://orcid.org/0000-0002-4324-2187", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany" } ], "isAccessibleForFree": true, "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "isPartOf": { "@type": "BookSeries", "url": "https://drops.dagstuhl.de/entities/series/OASIcs", "name": "Open Access Series in Informatics", "issn": "2190-6807", "isAccessibleForFree": true, "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "hasPart": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117" }, "hasPart": [ { "@type": "ScholarlyArticle", "url": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024", "headline": "OASIcs, Volume 117, NG-RES 2024, Complete Volume", "name": "OASIcs, Volume 117, NG-RES 2024, Complete Volume", "abstract": "OASIcs, Volume 117, NG-RES 2024, Complete Volume", "keywords": "OASIcs, Volume 117, NG-RES 2024, Complete Volume", "author": [ { "@type": "Person", "name": "Yomsi, Patrick Meumeu", "givenName": "Patrick Meumeu", "familyName": "Yomsi", "email": "mailto:pmy@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0003-0473-1559", "affiliation": "CISTER Research Centre, ISEP, Porto, Portugal" }, { "@type": "Person", "name": "Wildermann, Stefan", "givenName": "Stefan", "familyName": "Wildermann", "email": "mailto:stefan.wildermann@fau.de", "sameAs": "https://orcid.org/0000-0002-4324-2187", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany" } ], "position": -1, "dateCreated": "2024-03-04", "datePublished": "2024-03-04", "isAccessibleForFree": true, "license": "https://creativecommons.org/licenses/by/4.0/legalcode", "copyrightHolder": [ { "@type": "Person", "name": "Yomsi, Patrick Meumeu", "givenName": "Patrick Meumeu", "familyName": "Yomsi", "email": "mailto:pmy@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0003-0473-1559", "affiliation": "CISTER Research Centre, ISEP, Porto, Portugal" }, { "@type": "Person", "name": "Wildermann, Stefan", "givenName": "Stefan", "familyName": "Wildermann", "email": "mailto:stefan.wildermann@fau.de", "sameAs": "https://orcid.org/0000-0002-4324-2187", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany" } ], "copyrightYear": "2024", "creativeWorkStatus": "Published", "inLanguage": "en-US", "identifier": "https://doi.org/10.4230/OASIcs.NG-RES.2024", "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "pageStart": 1, "pageEnd": 62, "accessMode": "textual", "accessModeSufficient": "textual", "thumbnailUrl": "https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/thumbnails/OASIcs.NG-RES.2024/OASIcs.NG-RES.2024.png", "potentialAction": { "@type": "ReadAction", "target": { "@type": "EntryPoint", "urlTemplate": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024", "actionPlatform": [ "https://schema.org/DesktopWebPlatform", "https://schema.org/AndroidPlatform", "https://schema.org/IOSPlatform" ] } }, "isPartOf": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117" }, { "@type": "ScholarlyArticle", "url": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.0", "headline": "Front Matter, Table of Contents, Preface, Conference Organization", "name": "Front Matter, Table of Contents, Preface, Conference Organization", "abstract": "Front Matter, Table of Contents, Preface, Conference Organization", "keywords": [ "Front Matter", "Table of Contents", "Preface", "Conference Organization" ], "author": [ { "@type": "Person", "name": "Yomsi, Patrick Meumeu", "givenName": "Patrick Meumeu", "familyName": "Yomsi", "email": "mailto:pmy@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0003-0473-1559", "affiliation": "CISTER Research Centre, ISEP, Porto, Portugal" }, { "@type": "Person", "name": "Wildermann, Stefan", "givenName": "Stefan", "familyName": "Wildermann", "email": "mailto:stefan.wildermann@fau.de", "sameAs": "https://orcid.org/0000-0002-4324-2187", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany" } ], "position": 0, "dateCreated": "2024-03-04", "datePublished": "2024-03-04", "isAccessibleForFree": true, "license": "https://creativecommons.org/licenses/by/4.0/legalcode", "copyrightHolder": [ { "@type": "Person", "name": "Yomsi, Patrick Meumeu", "givenName": "Patrick Meumeu", "familyName": "Yomsi", "email": "mailto:pmy@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0003-0473-1559", "affiliation": "CISTER Research Centre, ISEP, Porto, Portugal" }, { "@type": "Person", "name": "Wildermann, Stefan", "givenName": "Stefan", "familyName": "Wildermann", "email": "mailto:stefan.wildermann@fau.de", "sameAs": "https://orcid.org/0000-0002-4324-2187", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany" } ], "copyrightYear": "2024", "creativeWorkStatus": "Published", "inLanguage": "en-US", "identifier": "https://doi.org/10.4230/OASIcs.NG-RES.2024.0", "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "pageStart": "0:i", "pageEnd": "0:x", "accessMode": "textual", "accessModeSufficient": "textual", "thumbnailUrl": "https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/thumbnails/OASIcs.NG-RES.2024.0/OASIcs.NG-RES.2024.0.png", "potentialAction": { "@type": "ReadAction", "target": { "@type": "EntryPoint", "urlTemplate": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.0", "actionPlatform": [ "https://schema.org/DesktopWebPlatform", "https://schema.org/AndroidPlatform", "https://schema.org/IOSPlatform" ] } }, "isPartOf": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117" }, { "@type": "ScholarlyArticle", "url": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.1", "headline": "HMB: Scheduling PREM-Like Real-Time Tasks at High Memory Bandwidth (Invited Paper)", "name": "HMB: Scheduling PREM-Like Real-Time Tasks at High Memory Bandwidth (Invited Paper)", "abstract": "Current homogeneous and heterogeneous computing systems reach high performance through parallelization. Yet, parallel execution of tasks entails non-trivial latency-vs-throughput issues when it comes to concurrent accesses to shared memory. In this respect, effective bandwidth regulation solutions do exist, and provide a basic mechanism to control the latency of memory accesses. Such solutions, though, are often cumbersome to deploy and to configure to guarantee both bounded latency and high utilization of the memory bandwidth. The problem is that memory latency varies non-linearly with the number and type of concurrent accesses, and the latter may in turn vary with time, often unpredictably. For this reason, previous attempts at memory regulation in scheduling solutions resulted either in poor real-time execution guarantees, or in severe underutilization of the memory bandwidth. In this paper, we outline High Memory Bandwidth (HMB), a scheduling solution that guarantees bounded response times to real-time task sets through memory regulation, while also reaching a high utilization memory bandwidth. Since the complete solution is complex, just like the problem it addresses, this preliminary work defines in full detail only the core mechanism. This mechanism builds on the notion of memory access slowdown experienced by any processor performing back-to-back memory operations; this slowdown is due to the interference generated by other processors also accessing the memory at the same time. The core mechanism assumes that each processor can tolerate a certain amount of slowdown before the timing behavior of the task(s) it is running is compromised. Each processor has a priority assigned: the higher the priority, the more stringent the timing requirements. The slowdown can be controlled by regulating with precision the maximum amount of system bandwidth each processor is allowed to use, based on its priority. The proposed mechanism finds the maximum bandwidth each processor can use such that the highest number of processors simultaneously accessing memory is found (thus avoiding memory bandwidth underutilization) while guaranteeing that the slowdown of each processor is kept within the tolerated limits.", "keywords": [ "Heterogenous systems", "Parallel execution", "Shared memory", "Bandwidth regulation", "Memory access", "Real-time execution", "Memory bandwidth utilization", "High Memory Bandwidth (HMB)", "Memory access slowdown", "Memory interference", "Memory-centric scheduling" ], "author": [ { "@type": "Person", "name": "Gholami Derouei, Mohammadhassan", "givenName": "Mohammadhassan", "familyName": "Gholami Derouei", "email": "mailto:321477@studenti.unimore.it", "sameAs": "https://orcid.org/0009-0006-2731-2145", "affiliation": "Universit\u00e0 degli Studi di Modena e Reggio Emilia, Italy" }, { "@type": "Person", "name": "Valente, Paolo", "givenName": "Paolo", "familyName": "Valente", "email": "mailto:paolo.valente@unimore.it", "sameAs": "https://orcid.org/0000-0002-1842-4974", "affiliation": "Universit\u00e0 degli Studi di Modena e Reggio Emilia, Italy" }, { "@type": "Person", "name": "Solieri, Marco", "givenName": "Marco", "familyName": "Solieri", "email": "mailto:marco.solieri@minervasys.tech", "sameAs": "https://orcid.org/0000-0003-4531-2633", "affiliation": "Minerva Systems srl, Modena, Italy" }, { "@type": "Person", "name": "Marongiu, Andrea", "givenName": "Andrea", "familyName": "Marongiu", "email": "mailto:andrea.marongiu@unimore.it", "sameAs": "https://orcid.org/0000-0003-1010-4762", "affiliation": "Universit\u00e0 degli Studi di Modena e Reggio Emilia, Italy" } ], "position": 1, "dateCreated": "2024-03-04", "datePublished": "2024-03-04", "isAccessibleForFree": true, "license": "https://creativecommons.org/licenses/by/4.0/legalcode", "copyrightHolder": [ { "@type": "Person", "name": "Gholami Derouei, Mohammadhassan", "givenName": "Mohammadhassan", "familyName": "Gholami Derouei", "email": "mailto:321477@studenti.unimore.it", "sameAs": "https://orcid.org/0009-0006-2731-2145", "affiliation": "Universit\u00e0 degli Studi di Modena e Reggio Emilia, Italy" }, { "@type": "Person", "name": "Valente, Paolo", "givenName": "Paolo", "familyName": "Valente", "email": "mailto:paolo.valente@unimore.it", "sameAs": "https://orcid.org/0000-0002-1842-4974", "affiliation": "Universit\u00e0 degli Studi di Modena e Reggio Emilia, Italy" }, { "@type": "Person", "name": "Solieri, Marco", "givenName": "Marco", "familyName": "Solieri", "email": "mailto:marco.solieri@minervasys.tech", "sameAs": "https://orcid.org/0000-0003-4531-2633", "affiliation": "Minerva Systems srl, Modena, Italy" }, { "@type": "Person", "name": "Marongiu, Andrea", "givenName": "Andrea", "familyName": "Marongiu", "email": "mailto:andrea.marongiu@unimore.it", "sameAs": "https://orcid.org/0000-0003-1010-4762", "affiliation": "Universit\u00e0 degli Studi di Modena e Reggio Emilia, Italy" } ], "copyrightYear": "2024", "creativeWorkStatus": "Published", "inLanguage": "en-US", "identifier": "https://doi.org/10.4230/OASIcs.NG-RES.2024.1", "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "citation": [ "https://doi.org/10.1109/RTAS.2015.7108452", "https://developer.arm.com/documentation/ddi0598/latest", "https://doi.org/10.1109/RTCSA.2012.48", "https://doi.org/10.1145/3548773", "https://doi.org/10.1145/3398665", "https://gitlab.com/minervasys/public/jailhouse", "http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-10.html", "https://doi.org/10.1109/ACCESS.2022.3151891", "https://api.semanticscholar.org/CorpusID:12573936", "https://doi.org/10.1109/ECRTS.2014.20", "https://doi.org/10.1109/DATE.2010.5456952", "https://doi.org/10.1109/RTAS54340.2022.00019", "https://api.semanticscholar.org/CorpusID:220275158", "https://doi.org/10.4230/LIPIcs.ECRTS.2019.4", "https://doi.org/10.1109/RTAS.2016.7461361", "https://doi.org/10.1007/s11241-012-9158-9", "https://doi.org/10.1109/TC.2015.2500572" ], "pageStart": "1:1", "pageEnd": "1:18", "accessMode": "textual", "accessModeSufficient": "textual", "thumbnailUrl": "https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/thumbnails/OASIcs.NG-RES.2024.1/OASIcs.NG-RES.2024.1.png", "potentialAction": { "@type": "ReadAction", "target": { "@type": "EntryPoint", "urlTemplate": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.1", "actionPlatform": [ "https://schema.org/DesktopWebPlatform", "https://schema.org/AndroidPlatform", "https://schema.org/IOSPlatform" ] } }, "isPartOf": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117" }, { "@type": "ScholarlyArticle", "url": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.2", "headline": "A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)", "name": "A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)", "abstract": "Traffic congestion is one of the growing urban problem with associated problems like fuel wastage, loss of lives, and slow productivity. The existing traffic system uses programming logic control (PLC) with round-robin scheduling algorithm. Recent works have proposed IoT-based frameworks that use traffic density of each lane to control traffic movement, but they suffer from low accuracy due to lack of emergency vehicle image datasets for training deep neural networks. In this paper, we propose a novel distributed IoT framework that is based on two observations. The first observation is major structural changes to road are rare. This observation is exploited by proposing a novel two stage vehicle detector that is able to achieve 77% vehicle detection accuracy on UA-DETRAC dataset. The second observation is emergency vehicle have distinct siren sound that is detected using a novel acoustic detection algorithm on an edge device. The proposed system is able to detect emergency vehicles with an average accuracy of 99.4%.", "keywords": [ "Vehicle Detection", "Deep Neural Network", "Traffic Control", "Edge Computing", "Emergency Vehicle Detection", "Sliding Window" ], "author": [ { "@type": "Person", "name": "Khanam, Zeba", "givenName": "Zeba", "familyName": "Khanam", "affiliation": "BT Security Research, Adastral Park, UK" }, { "@type": "Person", "name": "Achari, Vejey Pradeep Suresh", "givenName": "Vejey Pradeep Suresh", "familyName": "Achari", "email": "mailto:vejey.pradeep@gmail.com", "affiliation": "Keele University, Keele, UK" }, { "@type": "Person", "name": "Boukhennoufa, Issam", "givenName": "Issam", "familyName": "Boukhennoufa", "email": "mailto:ib20472@essex.ac.uk", "sameAs": "https://orcid.org/0000-0002-3535-1367", "affiliation": "University of Essex, Colchester, UK" }, { "@type": "Person", "name": "Jindal, Anish", "givenName": "Anish", "familyName": "Jindal", "email": "mailto:anish.jindal@durham.ac.uk", "sameAs": "https://orcid.org/0000-0002-3052-2892", "affiliation": "Durham University, Durham, UK" }, { "@type": "Person", "name": "Singh, Amit Kumar", "givenName": "Amit Kumar", "familyName": "Singh", "email": "mailto:a.k.singh@essex.ac.uk", "sameAs": "https://orcid.org/0000-0003-2056-0569", "affiliation": "University of Essex, Colchester, UK" } ], "position": 2, "dateCreated": "2024-03-04", "datePublished": "2024-03-04", "isAccessibleForFree": true, "license": "https://creativecommons.org/licenses/by/4.0/legalcode", "copyrightHolder": [ { "@type": "Person", "name": "Khanam, Zeba", "givenName": "Zeba", "familyName": "Khanam", "affiliation": "BT Security Research, Adastral Park, UK" }, { "@type": "Person", "name": "Achari, Vejey Pradeep Suresh", "givenName": "Vejey Pradeep Suresh", "familyName": "Achari", "email": "mailto:vejey.pradeep@gmail.com", "affiliation": "Keele University, Keele, UK" }, { "@type": "Person", "name": "Boukhennoufa, Issam", "givenName": "Issam", "familyName": "Boukhennoufa", "email": "mailto:ib20472@essex.ac.uk", "sameAs": "https://orcid.org/0000-0002-3535-1367", "affiliation": "University of Essex, Colchester, UK" }, { "@type": "Person", "name": "Jindal, Anish", "givenName": "Anish", "familyName": "Jindal", "email": "mailto:anish.jindal@durham.ac.uk", "sameAs": "https://orcid.org/0000-0002-3052-2892", "affiliation": "Durham University, Durham, UK" }, { "@type": "Person", "name": "Singh, Amit Kumar", "givenName": "Amit Kumar", "familyName": "Singh", "email": "mailto:a.k.singh@essex.ac.uk", "sameAs": "https://orcid.org/0000-0003-2056-0569", "affiliation": "University of Essex, Colchester, UK" } ], "copyrightYear": "2024", "creativeWorkStatus": "Published", "inLanguage": "en-US", "identifier": "https://doi.org/10.4230/OASIcs.NG-RES.2024.2", "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "citation": "https://arxiv.org/abs/1804.02767", "pageStart": "2:1", "pageEnd": "2:10", "accessMode": "textual", "accessModeSufficient": "textual", "thumbnailUrl": "https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/thumbnails/OASIcs.NG-RES.2024.2/OASIcs.NG-RES.2024.2.png", "potentialAction": { "@type": "ReadAction", "target": { "@type": "EntryPoint", "urlTemplate": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.2", "actionPlatform": [ "https://schema.org/DesktopWebPlatform", "https://schema.org/AndroidPlatform", "https://schema.org/IOSPlatform" ] } }, "isPartOf": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117" }, { "@type": "ScholarlyArticle", "url": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.3", "headline": "DynaVLC - Towards Dynamic GTS Allocation in VLC Networks (Invited Paper)", "name": "DynaVLC - Towards Dynamic GTS Allocation in VLC Networks (Invited Paper)", "abstract": "Envisioned to deliver superior Quality of Service (QoS) by offering faster data rates and reduced latency in 6G communication scenarios, pioneering communication protocols like the IEEE 802.15.7 are poised to facilitate emerging application trends (e.g. metaverse). The IEEE 802.15.7 standard that supports visible light communication (VLC) provides determinism for time-critical reliable communication through its guaranteed time-slots mechanism of the contention-free period (CFP) while supporting non-time-critical communication through contention-access period (CAP). Nevertheless, the IEEE 802.15.7 MAC structure is fixed and statically defined at the beginning of the network creation. This rigid definition of the network can be detrimental when the traffic characteristics evolve dynamically, for example, due to environmental or user-driven workload conditions. To this purpose, this paper proposes a resource-aware dynamic architecture for IEEE 802.15.7 networks that efficiently adapts the superframe structure to traffic dynamics. Notably, this technique was shown to reduce the overall delay and throughput by up to 45% and 30%, respectively, when compared to the traditional IEEE 802.15.7 protocol performance under the same network conditions.", "keywords": [ "IEEE 802.15.7", "VLC networks", "network tuning" ], "author": [ { "@type": "Person", "name": "Kurunathan, Harrison", "givenName": "Harrison", "familyName": "Kurunathan", "email": "mailto:jhk@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0002-1270-1213", "affiliation": "CISTER/ISEP, Polytechnic Institute of Porto, Portugal" }, { "@type": "Person", "name": "Gait\u00e1n, Miguel Guti\u00e9rrez", "givenName": "Miguel Guti\u00e9rrez", "familyName": "Gait\u00e1n", "email": "mailto:mjggt@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0002-3307-8731", "affiliation": "Department of Electrical Engineering, Pontificia Universidad Cat\u00f3lica de Chile, Santiago, Chile" }, { "@type": "Person", "name": "S\u00e1mano-Robles, Ramiro", "givenName": "Ramiro", "familyName": "S\u00e1mano-Robles", "email": "mailto:rsr@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0002-1054-1818", "affiliation": "CISTER/ISEP, Polytechnic Institute of Porto, Portugal" }, { "@type": "Person", "name": "Tovar, Eduardo", "givenName": "Eduardo", "familyName": "Tovar", "email": "mailto:emt@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0001-8979-3876", "affiliation": "CISTER/ISEP, Polytechnic Institute of Porto, Portugal" } ], "position": 3, "dateCreated": "2024-03-04", "datePublished": "2024-03-04", "isAccessibleForFree": true, "license": "https://creativecommons.org/licenses/by/4.0/legalcode", "copyrightHolder": [ { "@type": "Person", "name": "Kurunathan, Harrison", "givenName": "Harrison", "familyName": "Kurunathan", "email": "mailto:jhk@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0002-1270-1213", "affiliation": "CISTER/ISEP, Polytechnic Institute of Porto, Portugal" }, { "@type": "Person", "name": "Gait\u00e1n, Miguel Guti\u00e9rrez", "givenName": "Miguel Guti\u00e9rrez", "familyName": "Gait\u00e1n", "email": "mailto:mjggt@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0002-3307-8731", "affiliation": "Department of Electrical Engineering, Pontificia Universidad Cat\u00f3lica de Chile, Santiago, Chile" }, { "@type": "Person", "name": "S\u00e1mano-Robles, Ramiro", "givenName": "Ramiro", "familyName": "S\u00e1mano-Robles", "email": "mailto:rsr@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0002-1054-1818", "affiliation": "CISTER/ISEP, Polytechnic Institute of Porto, Portugal" }, { "@type": "Person", "name": "Tovar, Eduardo", "givenName": "Eduardo", "familyName": "Tovar", "email": "mailto:emt@isep.ipp.pt", "sameAs": "https://orcid.org/0000-0001-8979-3876", "affiliation": "CISTER/ISEP, Polytechnic Institute of Porto, Portugal" } ], "copyrightYear": "2024", "creativeWorkStatus": "Published", "inLanguage": "en-US", "identifier": "https://doi.org/10.4230/OASIcs.NG-RES.2024.3", "funding": "This work was partially supported by National Funds through FCT/MCTES (Portuguese Foundation for Science and Technology) within the CISTER Research Unit (UIDB/04234/2020).", "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "citation": "https://doi.org/10.1109/SACVLC59022.2023.10347865", "pageStart": "3:1", "pageEnd": "3:11", "accessMode": "textual", "accessModeSufficient": "textual", "thumbnailUrl": "https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/thumbnails/OASIcs.NG-RES.2024.3/OASIcs.NG-RES.2024.3.png", "potentialAction": { "@type": "ReadAction", "target": { "@type": "EntryPoint", "urlTemplate": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.3", "actionPlatform": [ "https://schema.org/DesktopWebPlatform", "https://schema.org/AndroidPlatform", "https://schema.org/IOSPlatform" ] } }, "isPartOf": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117" }, { "@type": "ScholarlyArticle", "url": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.4", "headline": "History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs", "name": "History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs", "abstract": "Embedded system applications usually have requirements regarding non-functional properties of their execution like latency or power consumption. Enforcement of such requirements can be implemented by a reactive control loop, where an enforcer determines based on a system response (feedback) how to control the system, e.g., by selecting the number of active cores allocated to a program or by scaling their voltage/frequency mode. It is of a particular interest to design enforcement strategies for which it is possible to provide formal guarantees with respect to requirement violations, especially under a largely varying environmental input (workload) per execution. In this paper, we consider enforcement strategies that are modeled by a finite state machine (FSM) and the environment by a discrete-time Markov chain. Such a formalization enables the formal verification of temporal properties (verification goals) regarding the satisfaction of requirements of a given enforcement strategy.\r\nIn this paper, we propose history-based enforcement FSMs which compute a reaction not just on the current, but on a fixed history of K previously observed system responses. We then analyze the quality of such enforcement FSMs in terms of the probability of satisfying a given set of verification goals and compare them to enforcement FSMs that react solely on the current system response. As experimental results, we present three use cases while considering requirements on latency and power consumption. The results show that history-based enforcement FSMs outperform enforcement FSMs that only consider the current system response regarding the probability of satisfying a given set of verification goals.", "keywords": [ "Verification", "Runtime Requirement Enforcement", "History", "Latency" ], "author": [ { "@type": "Person", "name": "Esper, Khalil", "givenName": "Khalil", "familyName": "Esper", "email": "mailto:khalil.esper@fau.de", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany" }, { "@type": "Person", "name": "Teich, J\u00fcrgen", "givenName": "J\u00fcrgen", "familyName": "Teich", "email": "mailto:juergen.teich@fau.de", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany" } ], "position": 4, "dateCreated": "2024-03-04", "datePublished": "2024-03-04", "isAccessibleForFree": true, "license": "https://creativecommons.org/licenses/by/4.0/legalcode", "copyrightHolder": [ { "@type": "Person", "name": "Esper, Khalil", "givenName": "Khalil", "familyName": "Esper", "email": "mailto:khalil.esper@fau.de", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany" }, { "@type": "Person", "name": "Teich, J\u00fcrgen", "givenName": "J\u00fcrgen", "familyName": "Teich", "email": "mailto:juergen.teich@fau.de", "affiliation": "Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany" } ], "copyrightYear": "2024", "creativeWorkStatus": "Published", "inLanguage": "en-US", "identifier": "https://doi.org/10.4230/OASIcs.NG-RES.2024.4", "funding": "This work is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research-Foundation) - Project Number 146371743 - TRR 89 Invasive Computing.", "publisher": { "@type": "Organization", "name": "Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik", "alternateName": [ "Schloss Dagstuhl - Leibniz Center for Informatics", "Schloss Dagstuhl - LZI GmbH" ], "identifier": "https://ror.org/00k4h2615", "sameAs": [ "https://isni.org/isni/0000000100093196", "https://www.dagstuhl.de", "https://de.wikipedia.org/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" ], "department": { "@type": "Organization", "name": "Dagstuhl Publishing", "logo": { "@type": "ImageObject", "url": "https://www.dagstuhl.de/storage/media/0005/5660/publishing-logo.jpg" }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:publishing@dagstuhl.de", "url": "https://www.dagstuhl.de/en/publishing/team" } }, "contactPoint": { "@type": "ContactPoint", "contactType": "customer support", "email": "mailto:lzi@dagstuhl.de", "url": "https://www.dagstuhl.de/en/institute/team" } }, "citation": "https://doi.org/10.1109/TC.2017.2735967", "pageStart": "4:1", "pageEnd": "4:11", "accessMode": "textual", "accessModeSufficient": "textual", "thumbnailUrl": "https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/thumbnails/OASIcs.NG-RES.2024.4/OASIcs.NG-RES.2024.4.png", "potentialAction": { "@type": "ReadAction", "target": { "@type": "EntryPoint", "urlTemplate": "https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.4", "actionPlatform": [ "https://schema.org/DesktopWebPlatform", "https://schema.org/AndroidPlatform", "https://schema.org/IOSPlatform" ] } }, "isPartOf": "https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117" } ] } } </script> <title>Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)</title> <link rel="icon" href="https://drops.dagstuhl.de/favicon.ico"> <link rel="stylesheet" href="https://drops.dagstuhl.de/css/app.css?drops-core-2025-01-23.1"> </head> <body> <nav class="navbar main fixed-top navbar-expand-lg navbar-light bg-light"> <div class="container-fluid"> <a class="navbar-brand" href="https://www.dagstuhl.de"> <img class="lzi-logo" src="https://drops.dagstuhl.de/images/LZI-Logo.jpg" width="84" height="62" alt="Schloss Dagstuhl - LZI - Logo"> </a> <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse" id="navbarSupportedContent"> <ul class="navbar-nav me-auto mb-2 mb-lg-0"> <li class="nav-item" style="white-space: nowrap"> <a class="nav-link" href="https://drops.dagstuhl.de"> <i class="bi bi-house large-icon"></i> DROPS </a> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownSeries" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-journals large-icon"></i> Series </a> <ul class="dropdown-menu" aria-labelledby="navbarDropdown"> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/LIPIcs"> LIPIcs – Leibniz International Proceedings in Informatics </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/OASIcs"> OASIcs – Open Access Series in Informatics </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/DFU"> Dagstuhl Follow-Ups </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/DagAnnRep"> Schloss Dagstuhl Jahresbericht </a> </li> <li class="dropdown-divider"></li> <li> <a class="dropdown-item" href="/#discontinued-series">Discontinued Series</a> </li> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownJournals" role="button" data-bs-toggle="dropdown" aria-expanded="false" data-fix-width=" JournalsXXXXX "> <i class="bi bi-journal large-icon"></i> Journals </a> <ul class="dropdown-menu" aria-labelledby="navbarDropdown"> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DARTS"> DARTS – Dagstuhl Artifacts Series </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DagRep"> Dagstuhl Reports </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DagMan"> Dagstuhl Manifestos </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/LITES"> LITES – Leibniz Transactions on Embedded Systems </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/TGDK"> TGDK – Transactions on Graph Data and Knowledge </a> </li> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownConferences" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-people large-icon"></i> Conferences </a> <ul class="dropdown-menu conference-dropdown" aria-labelledby="navbarDropdown"> <div class="row"> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AFT"> AFT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AIB"> AIB </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AofA"> AofA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/APPROX"> APPROX </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ATMOS"> ATMOS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CALCO"> CALCO </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CCC"> CCC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CONCUR"> CONCUR </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/COSIT"> COSIT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CP"> CP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CPM"> CPM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CSL"> CSL </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DISC"> DISC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DITAM"> DITAM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DNA"> DNA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ECOOP"> ECOOP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ECRTS"> ECRTS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ESA"> ESA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FAB"> FAB </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FMBC"> FMBC </a> </li> </div> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FORC"> FORC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FSCD"> FSCD </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FSTTCS"> FSTTCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FUN"> FUN </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/GD"> GD </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/GIScience"> GIScience </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICALP"> ICALP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICDT"> ICDT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICPEC"> ICPEC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/IPEC"> IPEC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/iPMVM"> iPMVM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ISAAC"> ISAAC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITC"> ITC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITCS"> ITCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITP"> ITP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/LDK"> LDK </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/MFCS"> MFCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/Microservices"> Microservices </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/NG-RES"> NG-RES </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/OPODIS"> OPODIS </a> </li> </div> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/PARMA"> PARMA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/RANDOM"> RANDOM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SAND"> SAND </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SAT"> SAT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SEA"> SEA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SLATE"> SLATE </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SNAPL"> SNAPL </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SoCG"> SoCG </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/STACS"> STACS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SWAT"> SWAT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TIME"> TIME </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/Tokenomics"> Tokenomics </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TQC"> TQC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TYPES"> TYPES </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/WABI"> WABI </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/WCET"> WCET </a> </li> </div> </div> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownArtifacts" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-braces-asterisk large-icon"></i> Artifacts </a> <ul class="dropdown-menu" aria-labelledby="navbarDropdown"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/collection/supplementary-materials"> Supplementary Materials (Software, Datasets, ...) </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/collection/dblp"> dblp Artifacts </a> </li> <li class="dropdown-divider"></li> <li> <a class="dropdown-item" href="/entities/journal/DARTS"> DARTS (Evaluated Artifacts) </a> </li> </ul> </li> </ul> <form class="navbar-search d-flex" action="https://drops.dagstuhl.de/search" method="post"> <input type="hidden" name="_token" value="6TsBeIaRGplgHuIz0ZtOMnmxfgN4w7cuKKZumAyk" autocomplete="off"> <div class="input-group"> <input class="form-control" type="search" placeholder="Search" aria-label="Search" name="term" autocomplete="off" maxlength="600"> <button class="btn btn-outline-success" type="submit"> <i class="bi bi-search" style="color: #000"></i> </button> </div> </form> <ul class="navbar-nav nav-metadata"> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" id="navbarDropdownMetadata" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-database-down large-icon"></i><span class="nav-text-metadata">Metadata Export</span> </a> <ul class="dropdown-menu dropdown-metadata" aria-labelledby="navbarDropdownMetadata"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/metadata">Metadata Export</a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/oai?verb=Identify" target="_blank">OAI Interface</a> </li> </ul> </li> </ul> </div> </div> </nav> <div id="app" data-release="drops-core-2025-01-23.1" class="container "> <div id="_top-of-page"></div> <div class="fixed-search-button"><i class="bi bi-search"></i></div> <div class="volume-portal"> <div class="entity-type volume"> <div class="mt-3"> <span class="entity-type-name"> <i class="bi bi-book-half"></i> Volume </span> <span class="sharing-section"> <span class="sharing-buttons"> <span class="dropdown"> <a class="btn sharing-btn metadata dropdown-toggle" href="#" role="button" data-bs-toggle="dropdown" aria-expanded="false"><i class="bi bi-download"></i></a> <ul class="dropdown-menu dropdown-menu-end"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117/metadata/xml"> Export XML </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117/metadata/acm-xml"> Export ACM-XML </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117/metadata/doaj-xml"> Export DOAJ-XML </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117/metadata/schema-org"> Export Schema.org </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-117/metadata/html"> Export HTML </a> </li> </ul> </span> </span> </span> </div> </div> <hr> <div> <h4>OASIcs, Volume 117</h4> <h1>Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)</h1> </div> <section class="volume-issue-header mb-4"> <hr> <section class="is-part-of"> <ul> <li> <span>Part of:</span> <span style="white-space: nowrap"> <i class="bi bi-journals"></i> Series: </span> <a href="https://drops.dagstuhl.de/entities/series/OASIcs">Open Access Series in Informatics (OASIcs)</a> <br> <span style="visibility: hidden">Part of:</span> <span style="white-space: nowrap"> <i class="bi bi-people"></i> Conference: </span> <a href="https://drops.dagstuhl.de/entities/conference/NG-RES">Workshop on Next Generation Real-Time Embedded Systems (NG-RES)</a> </li> </ul> </section> <hr> <div class="mt-5 row"> <div class="col-lg-3 mb-3"> <section class="thumbnail"> <img src="https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/thumbnails/OASIcs.NG-RES.2024/OASIcs.NG-RES.2024.png" alt="Thumbnail PDF"> </section> </div> <div class="col-lg-6"> <section class="mb-5"> <h4>Event</h4> <a href="https://ng-res.deib.polimi.it/"> NG-RES 2024, January 17-19, 2024, Munich, Germany </a> </section> <section class="editors mb-5"> <h4>Editors</h4> <div class="author person-details"> <div> <i class="bi bi-person-fill"></i> <span class="name"><b>Patrick Meumeu Yomsi</b></span> <a href="https://orcid.org/0000-0003-0473-1559"><img class="orcid-logo" src="https://drops.dagstuhl.de/images/orcid.png" alt="ORCID-Logo"></a> <a href="mailto:pmy@isep.ipp.pt"><i class="bi bi-envelope"></i></a> <a href="https://drops.dagstuhl.de/search/documents?author=Yomsi, Patrick Meumeu"><small><i class="bi bi-search"></i></small></a> </div> <ul> <li class="affiliation">CISTER Research Centre, ISEP, Porto, Portugal </li> </ul> </div> <div class="author person-details"> <div> <i class="bi bi-person-fill"></i> <span class="name"><b>Stefan Wildermann</b></span> <a href="https://orcid.org/0000-0002-4324-2187"><img class="orcid-logo" src="https://drops.dagstuhl.de/images/orcid.png" alt="ORCID-Logo"></a> <a href="mailto:stefan.wildermann@fau.de"><i class="bi bi-envelope"></i></a> <a href="https://drops.dagstuhl.de/search/documents?author=Wildermann, Stefan"><small><i class="bi bi-search"></i></small></a> </div> <ul> <li class="affiliation">Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany </li> </ul> </div> </section> </div> <div class="col-lg-3"> <section class="mb-5"> <h4>Publication Details</h4> <ul> <li>published at: 2024-03-04</li> <li>Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik</li> <li>ISBN: 978-3-95977-313-3</li> <li>DBLP: <a href="https://dblp.org/db/conf/hipeac/ngres2024"> db/conf/hipeac/ngres2024 </a> </li> </ul> </section> <br> <section> <h4>Access Numbers</h4> <ul> <li> <a href="#" class="btn-statistics" data-entity="volume/OASIcs-volume-117" data-title="Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)"> <i class="bi bi-graph-up"></i> Detailed Access Statistics available here </a> </li> <li> Total Document Accesses (updated on a weekly basis): <div class="stats-total"> <div class="stats total-downloads"> <div class="circle"> <div class="number" data-number="0">0</div> </div> <div class="label">PDF Downloads</div> </div> <div class="stats total-metadata-views"> <div class="circle"> <div class="number" data-number="0">0</div> </div> <div class="label">Metadata Views</div> </div> </div>  </li> </ul> </section> </div> </div> <div id="end-of-header"></div> </section> <div class="row mt-2"> <div class="col-sm-9 mt-2"> <h2>Documents <span class="btn badge color-dark _filter-info"></span></h2> <div class="documents"> <div class="no-results alert alert-danger -hidden"> No documents found matching your filter selection. </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.NG-RES.2024"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div>   <div class="category">Complete Volume</div>   <div class="doi"><a href="https://doi.org/10.4230/OASIcs.NG-RES.2024">DOI: 10.4230/OASIcs.NG-RES.2024</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/OASIcs.NG-RES.2024/OASIcs.NG-RES.2024.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br>  <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-19789" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-19789" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.NG-RES.2024" data-bs-toggle="tooltip" data-title="OASIcs, Volume 117, NG-RES 2024, Complete Volume" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Yomsi, Patrick Meumeu"></span> <span data-key="dagstuhl.contributor.author" data-value="Wildermann, Stefan"></span>  <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Multicore architectures"></span> <span data-key="dagstuhl.subject.classification" data-value="Networks → Network protocols"></span> <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Distributed architectures"></span>  </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024"> OASIcs, Volume 117, NG-RES 2024, Complete Volume </a> </h5>  <p class="card-text small authors"> <b>Authors:</b> Patrick Meumeu Yomsi and Stefan Wildermann </p>   <div class="row"> <div class="collapse" id="abstract-19789"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-19789">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> OASIcs, Volume 117, NG-RES 2024, Complete Volume </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-19789"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-19789">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024). Open Access Series in Informatics (OASIcs), Volume 117, pp. 1-62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)</p> <hr> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-19789-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br><br> <pre class="bibtex">@Proceedings{yomsi_et_al:OASIcs.NG-RES.2024, title = {{OASIcs, Volume 117, NG-RES 2024, Complete Volume}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {1--62}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024}, URN = {urn:nbn:de:0030-drops-197028}, doi = {10.4230/OASIcs.NG-RES.2024}, annote = {Keywords: OASIcs, Volume 117, NG-RES 2024, Complete Volume} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-19789-input">@Proceedings{yomsi_et_al:OASIcs.NG-RES.2024, title = {{OASIcs, Volume 117, NG-RES 2024, Complete Volume}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {1--62}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024}, URN = {urn:nbn:de:0030-drops-197028}, doi = {10.4230/OASIcs.NG-RES.2024}, annote = {Keywords: OASIcs, Volume 117, NG-RES 2024, Complete Volume} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.NG-RES.2024.0"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div>   <div class="category">Front Matter</div>   <div class="doi"><a href="https://doi.org/10.4230/OASIcs.NG-RES.2024.0">DOI: 10.4230/OASIcs.NG-RES.2024.0</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/OASIcs.NG-RES.2024.0/OASIcs.NG-RES.2024.0.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.0" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br>  <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-19790" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-19790" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.NG-RES.2024.0" data-bs-toggle="tooltip" data-title="Front Matter, Table of Contents, Preface, Conference Organization" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Yomsi, Patrick Meumeu"></span> <span data-key="dagstuhl.contributor.author" data-value="Wildermann, Stefan"></span>  <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Multicore architectures"></span> <span data-key="dagstuhl.subject.classification" data-value="Networks → Network protocols"></span> <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Distributed architectures"></span>  </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.0"> Front Matter, Table of Contents, Preface, Conference Organization </a> </h5>  <p class="card-text small authors"> <b>Authors:</b> Patrick Meumeu Yomsi and Stefan Wildermann </p>   <div class="row"> <div class="collapse" id="abstract-19790"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-19790">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Front Matter, Table of Contents, Preface, Conference Organization </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-19790"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-19790">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024). Open Access Series in Informatics (OASIcs), Volume 117, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)</p> <hr> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-19790-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br><br> <pre class="bibtex">@InProceedings{yomsi_et_al:OASIcs.NG-RES.2024.0, author = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {0:i--0:x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.0}, URN = {urn:nbn:de:0030-drops-197032}, doi = {10.4230/OASIcs.NG-RES.2024.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-19790-input">@InProceedings{yomsi_et_al:OASIcs.NG-RES.2024.0, author = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {0:i--0:x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.0}, URN = {urn:nbn:de:0030-drops-197032}, doi = {10.4230/OASIcs.NG-RES.2024.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.NG-RES.2024.1"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div>   <div class="category">Invited Paper</div>   <div class="doi"><a href="https://doi.org/10.4230/OASIcs.NG-RES.2024.1">DOI: 10.4230/OASIcs.NG-RES.2024.1</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/OASIcs.NG-RES.2024.1/OASIcs.NG-RES.2024.1.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.1" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br>  <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-19791" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-19791" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.NG-RES.2024.1" data-bs-toggle="tooltip" data-title="HMB: Scheduling PREM-Like Real-Time Tasks at High Memory Bandwidth (Invited Paper)" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Gholami Derouei, Mohammadhassan"></span> <span data-key="dagstuhl.contributor.author" data-value="Valente, Paolo"></span> <span data-key="dagstuhl.contributor.author" data-value="Solieri, Marco"></span> <span data-key="dagstuhl.contributor.author" data-value="Marongiu, Andrea"></span>  <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Real-time operating systems"></span>  </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.1"> HMB: Scheduling PREM-Like Real-Time Tasks at High Memory Bandwidth (Invited Paper) </a> </h5>  <p class="card-text small authors"> <b>Authors:</b> Mohammadhassan Gholami Derouei, Paolo Valente, Marco Solieri, and Andrea Marongiu </p>   <div class="row"> <div class="collapse" id="abstract-19791"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-19791">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Current homogeneous and heterogeneous computing systems reach high performance through parallelization. Yet, parallel execution of tasks entails non-trivial latency-vs-throughput issues when it comes to concurrent accesses to shared memory. In this respect, effective bandwidth regulation solutions do exist, and provide a basic mechanism to control the latency of memory accesses. Such solutions, though, are often cumbersome to deploy and to configure to guarantee both bounded latency and high utilization of the memory bandwidth. The problem is that memory latency varies non-linearly with the number and type of concurrent accesses, and the latter may in turn vary with time, often unpredictably. For this reason, previous attempts at memory regulation in scheduling solutions resulted either in poor real-time execution guarantees, or in severe underutilization of the memory bandwidth. In this paper, we outline High Memory Bandwidth (HMB), a scheduling solution that guarantees bounded response times to real-time task sets through memory regulation, while also reaching a high utilization memory bandwidth. Since the complete solution is complex, just like the problem it addresses, this preliminary work defines in full detail only the core mechanism. This mechanism builds on the notion of memory access slowdown experienced by any processor performing back-to-back memory operations; this slowdown is due to the interference generated by other processors also accessing the memory at the same time. The core mechanism assumes that each processor can tolerate a certain amount of slowdown before the timing behavior of the task(s) it is running is compromised. Each processor has a priority assigned: the higher the priority, the more stringent the timing requirements. The slowdown can be controlled by regulating with precision the maximum amount of system bandwidth each processor is allowed to use, based on its priority. The proposed mechanism finds the maximum bandwidth each processor can use such that the highest number of processors simultaneously accessing memory is found (thus avoiding memory bandwidth underutilization) while guaranteeing that the slowdown of each processor is kept within the tolerated limits. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-19791"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-19791">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Mohammadhassan Gholami Derouei, Paolo Valente, Marco Solieri, and Andrea Marongiu. HMB: Scheduling PREM-Like Real-Time Tasks at High Memory Bandwidth (Invited Paper). In Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024). Open Access Series in Informatics (OASIcs), Volume 117, pp. 1:1-1:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)</p> <hr> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-19791-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br><br> <pre class="bibtex">@InProceedings{gholamiderouei_et_al:OASIcs.NG-RES.2024.1, author = {Gholami Derouei, Mohammadhassan and Valente, Paolo and Solieri, Marco and Marongiu, Andrea}, title = {{HMB: Scheduling PREM-Like Real-Time Tasks at High Memory Bandwidth}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {1:1--1:18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.1}, URN = {urn:nbn:de:0030-drops-197049}, doi = {10.4230/OASIcs.NG-RES.2024.1}, annote = {Keywords: Heterogenous systems, Parallel execution, Shared memory, Bandwidth regulation, Memory access, Real-time execution, Memory bandwidth utilization, High Memory Bandwidth (HMB), Memory access slowdown, Memory interference, Memory-centric scheduling} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-19791-input">@InProceedings{gholamiderouei_et_al:OASIcs.NG-RES.2024.1, author = {Gholami Derouei, Mohammadhassan and Valente, Paolo and Solieri, Marco and Marongiu, Andrea}, title = {{HMB: Scheduling PREM-Like Real-Time Tasks at High Memory Bandwidth}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {1:1--1:18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.1}, URN = {urn:nbn:de:0030-drops-197049}, doi = {10.4230/OASIcs.NG-RES.2024.1}, annote = {Keywords: Heterogenous systems, Parallel execution, Shared memory, Bandwidth regulation, Memory access, Real-time execution, Memory bandwidth utilization, High Memory Bandwidth (HMB), Memory access slowdown, Memory interference, Memory-centric scheduling} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.NG-RES.2024.2"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div>   <div class="category">Invited Paper</div>   <div class="doi"><a href="https://doi.org/10.4230/OASIcs.NG-RES.2024.2">DOI: 10.4230/OASIcs.NG-RES.2024.2</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/OASIcs.NG-RES.2024.2/OASIcs.NG-RES.2024.2.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.2" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br>  <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-19792" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-19792" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.NG-RES.2024.2" data-bs-toggle="tooltip" data-title="A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Khanam, Zeba"></span> <span data-key="dagstuhl.contributor.author" data-value="Achari, Vejey Pradeep Suresh"></span> <span data-key="dagstuhl.contributor.author" data-value="Boukhennoufa, Issam"></span> <span data-key="dagstuhl.contributor.author" data-value="Jindal, Anish"></span> <span data-key="dagstuhl.contributor.author" data-value="Singh, Amit Kumar"></span>  <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Real-time system architecture"></span>  </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.2"> A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper) </a> </h5>  <p class="card-text small authors"> <b>Authors:</b> Zeba Khanam, Vejey Pradeep Suresh Achari, Issam Boukhennoufa, Anish Jindal, and Amit Kumar Singh </p>   <div class="row"> <div class="collapse" id="abstract-19792"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-19792">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Traffic congestion is one of the growing urban problem with associated problems like fuel wastage, loss of lives, and slow productivity. The existing traffic system uses programming logic control (PLC) with round-robin scheduling algorithm. Recent works have proposed IoT-based frameworks that use traffic density of each lane to control traffic movement, but they suffer from low accuracy due to lack of emergency vehicle image datasets for training deep neural networks. In this paper, we propose a novel distributed IoT framework that is based on two observations. The first observation is major structural changes to road are rare. This observation is exploited by proposing a novel two stage vehicle detector that is able to achieve 77% vehicle detection accuracy on UA-DETRAC dataset. The second observation is emergency vehicle have distinct siren sound that is detected using a novel acoustic detection algorithm on an edge device. The proposed system is able to detect emergency vehicles with an average accuracy of 99.4%. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-19792"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-19792">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Zeba Khanam, Vejey Pradeep Suresh Achari, Issam Boukhennoufa, Anish Jindal, and Amit Kumar Singh. A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper). In Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024). Open Access Series in Informatics (OASIcs), Volume 117, pp. 2:1-2:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)</p> <hr> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-19792-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br><br> <pre class="bibtex">@InProceedings{khanam_et_al:OASIcs.NG-RES.2024.2, author = {Khanam, Zeba and Achari, Vejey Pradeep Suresh and Boukhennoufa, Issam and Jindal, Anish and Singh, Amit Kumar}, title = {{A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {2:1--2:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.2}, URN = {urn:nbn:de:0030-drops-197057}, doi = {10.4230/OASIcs.NG-RES.2024.2}, annote = {Keywords: Vehicle Detection, Deep Neural Network, Traffic Control, Edge Computing, Emergency Vehicle Detection, Sliding Window} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-19792-input">@InProceedings{khanam_et_al:OASIcs.NG-RES.2024.2, author = {Khanam, Zeba and Achari, Vejey Pradeep Suresh and Boukhennoufa, Issam and Jindal, Anish and Singh, Amit Kumar}, title = {{A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {2:1--2:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.2}, URN = {urn:nbn:de:0030-drops-197057}, doi = {10.4230/OASIcs.NG-RES.2024.2}, annote = {Keywords: Vehicle Detection, Deep Neural Network, Traffic Control, Edge Computing, Emergency Vehicle Detection, Sliding Window} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.NG-RES.2024.3"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div>   <div class="category">Invited Paper</div>   <div class="doi"><a href="https://doi.org/10.4230/OASIcs.NG-RES.2024.3">DOI: 10.4230/OASIcs.NG-RES.2024.3</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/OASIcs.NG-RES.2024.3/OASIcs.NG-RES.2024.3.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.3" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br>  <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-19793" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-19793" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.NG-RES.2024.3" data-bs-toggle="tooltip" data-title="DynaVLC - Towards Dynamic GTS Allocation in VLC Networks (Invited Paper)" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Kurunathan, Harrison"></span> <span data-key="dagstuhl.contributor.author" data-value="Gaitán, Miguel Gutiérrez"></span> <span data-key="dagstuhl.contributor.author" data-value="Sámano-Robles, Ramiro"></span> <span data-key="dagstuhl.contributor.author" data-value="Tovar, Eduardo"></span>  <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Real-time systems"></span> <span data-key="dagstuhl.subject.classification" data-value="Networks → Network protocols"></span> <span data-key="dagstuhl.subject.classification" data-value="Theory of computation → Design and analysis of algorithms"></span>  </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.3"> DynaVLC - Towards Dynamic GTS Allocation in VLC Networks (Invited Paper) </a> </h5>  <p class="card-text small authors"> <b>Authors:</b> Harrison Kurunathan, Miguel Gutiérrez Gaitán, Ramiro Sámano-Robles, and Eduardo Tovar </p>   <div class="row"> <div class="collapse" id="abstract-19793"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-19793">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Envisioned to deliver superior Quality of Service (QoS) by offering faster data rates and reduced latency in 6G communication scenarios, pioneering communication protocols like the IEEE 802.15.7 are poised to facilitate emerging application trends (e.g. metaverse). The IEEE 802.15.7 standard that supports visible light communication (VLC) provides determinism for time-critical reliable communication through its guaranteed time-slots mechanism of the contention-free period (CFP) while supporting non-time-critical communication through contention-access period (CAP). Nevertheless, the IEEE 802.15.7 MAC structure is fixed and statically defined at the beginning of the network creation. This rigid definition of the network can be detrimental when the traffic characteristics evolve dynamically, for example, due to environmental or user-driven workload conditions. To this purpose, this paper proposes a resource-aware dynamic architecture for IEEE 802.15.7 networks that efficiently adapts the superframe structure to traffic dynamics. Notably, this technique was shown to reduce the overall delay and throughput by up to 45% and 30%, respectively, when compared to the traditional IEEE 802.15.7 protocol performance under the same network conditions. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-19793"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-19793">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Harrison Kurunathan, Miguel Gutiérrez Gaitán, Ramiro Sámano-Robles, and Eduardo Tovar. DynaVLC - Towards Dynamic GTS Allocation in VLC Networks (Invited Paper). In Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024). Open Access Series in Informatics (OASIcs), Volume 117, pp. 3:1-3:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)</p> <hr> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-19793-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br><br> <pre class="bibtex">@InProceedings{kurunathan_et_al:OASIcs.NG-RES.2024.3, author = {Kurunathan, Harrison and Gait\'{a}n, Miguel Guti\'{e}rrez and S\'{a}mano-Robles, Ramiro and Tovar, Eduardo}, title = {{DynaVLC - Towards Dynamic GTS Allocation in VLC Networks}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {3:1--3:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.3}, URN = {urn:nbn:de:0030-drops-197069}, doi = {10.4230/OASIcs.NG-RES.2024.3}, annote = {Keywords: IEEE 802.15.7, VLC networks, network tuning} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-19793-input">@InProceedings{kurunathan_et_al:OASIcs.NG-RES.2024.3, author = {Kurunathan, Harrison and Gait\'{a}n, Miguel Guti\'{e}rrez and S\'{a}mano-Robles, Ramiro and Tovar, Eduardo}, title = {{DynaVLC - Towards Dynamic GTS Allocation in VLC Networks}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {3:1--3:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.3}, URN = {urn:nbn:de:0030-drops-197069}, doi = {10.4230/OASIcs.NG-RES.2024.3}, annote = {Keywords: IEEE 802.15.7, VLC networks, network tuning} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.NG-RES.2024.4"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div>    <div class="doi"><a href="https://doi.org/10.4230/OASIcs.NG-RES.2024.4">DOI: 10.4230/OASIcs.NG-RES.2024.4</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol117-ng-res2024/OASIcs.NG-RES.2024.4/OASIcs.NG-RES.2024.4.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.4" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br>  <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-19794" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-19794" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.NG-RES.2024.4" data-bs-toggle="tooltip" data-title="History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Esper, Khalil"></span> <span data-key="dagstuhl.contributor.author" data-value="Teich, Jürgen"></span>  <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Multicore architectures"></span> <span data-key="dagstuhl.subject.classification" data-value="Theory of computation → Linear logic"></span> <span data-key="dagstuhl.subject.classification" data-value="Theory of computation → Modal and temporal logics"></span> <span data-key="dagstuhl.subject.classification" data-value="Hardware → Finite state machines"></span> <span data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Self-organizing autonomic computing"></span> <span data-key="dagstuhl.subject.classification" data-value="Theory of computation → Verification by model checking"></span> <span data-key="dagstuhl.subject.classification" data-value="Mathematics of computing → Probabilistic representations"></span>  </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.4"> History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs </a> </h5>  <p class="card-text small authors"> <b>Authors:</b> Khalil Esper and Jürgen Teich </p>   <div class="row"> <div class="collapse" id="abstract-19794"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-19794">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Embedded system applications usually have requirements regarding non-functional properties of their execution like latency or power consumption. Enforcement of such requirements can be implemented by a reactive control loop, where an enforcer determines based on a system response (feedback) how to control the system, e.g., by selecting the number of active cores allocated to a program or by scaling their voltage/frequency mode. It is of a particular interest to design enforcement strategies for which it is possible to provide formal guarantees with respect to requirement violations, especially under a largely varying environmental input (workload) per execution. In this paper, we consider enforcement strategies that are modeled by a finite state machine (FSM) and the environment by a discrete-time Markov chain. Such a formalization enables the formal verification of temporal properties (verification goals) regarding the satisfaction of requirements of a given enforcement strategy. In this paper, we propose history-based enforcement FSMs which compute a reaction not just on the current, but on a fixed history of K previously observed system responses. We then analyze the quality of such enforcement FSMs in terms of the probability of satisfying a given set of verification goals and compare them to enforcement FSMs that react solely on the current system response. As experimental results, we present three use cases while considering requirements on latency and power consumption. The results show that history-based enforcement FSMs outperform enforcement FSMs that only consider the current system response regarding the probability of satisfying a given set of verification goals. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-19794"> <hr> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-19794">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Khalil Esper and Jürgen Teich. History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs. In Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024). Open Access Series in Informatics (OASIcs), Volume 117, pp. 4:1-4:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)</p> <hr> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-19794-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br><br> <pre class="bibtex">@InProceedings{esper_et_al:OASIcs.NG-RES.2024.4, author = {Esper, Khalil and Teich, J\"{u}rgen}, title = {{History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {4:1--4:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.4}, URN = {urn:nbn:de:0030-drops-197074}, doi = {10.4230/OASIcs.NG-RES.2024.4}, annote = {Keywords: Verification, Runtime Requirement Enforcement, History, Latency} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-19794-input">@InProceedings{esper_et_al:OASIcs.NG-RES.2024.4, author = {Esper, Khalil and Teich, J\"{u}rgen}, title = {{History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs}}, booktitle = {Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)}, pages = {4:1--4:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-313-3}, ISSN = {2190-6807}, year = {2024}, volume = {117}, editor = {Yomsi, Patrick Meumeu and Wildermann, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.4}, URN = {urn:nbn:de:0030-drops-197074}, doi = {10.4230/OASIcs.NG-RES.2024.4}, annote = {Keywords: Verification, Runtime Requirement Enforcement, History, Latency} }</textarea> </div> </div> </div> </div> </div> </div> <div class="col-sm-3 mt-2"> <h2>Filters</h2> <div class="free-text-filter mb-4"> <div class="input-group"> <input class="form-control no-outline" type="search" placeholder="Free Text Filter" aria-label="Free Text Filter" id="free-text-filter" maxlength="300"> </div> </div> <div class="grouped-metadata-filter" data-filter-key="dagstuhl.contributor.author"> <ul class="list-group"> <li class="list-group-item filter-headline list-group-item-dark"> <b><span class="count"></span> Authors</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item filter-item pinned -hidden" data-value="" data-key=""> <i class="bi bi-pin-angle-fill"></i> <span class="value"></span> <span class="action"><i><i class="bi bi-x-circle"></i></i></span> </li> <li class="list-group-item details buttons"> <span class="btn-group" role="group" aria-label="Show-All/Collapse"> <button type="button" class="btn btn-primary">Show All</button> <button type="button" class="btn btn-secondary">Collapse</button> </span> </li> <li class="list-group-item details show-all -hidden"> <button type="button" class="btn btn-primary">Show All</button> </li> <li class="list-group-item details filter-group-headline -expanded " data-group-selector="dagstuhl.contributor.author.A"> <b>A</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.contributor.author" data-value="Achari, Vejey Pradeep Suresh" data-group-selector="dagstuhl.contributor.author.A"> Achari, Vejey Pradeep Suresh <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.B"> <b>B</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Boukhennoufa, Issam" data-group-selector="dagstuhl.contributor.author.B"> Boukhennoufa, Issam <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.E"> <b>E</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Esper, Khalil" data-group-selector="dagstuhl.contributor.author.E"> Esper, Khalil <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.G"> <b>G</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Gaitán, Miguel Gutiérrez" data-group-selector="dagstuhl.contributor.author.G"> Gaitán, Miguel Gutiérrez <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Gholami Derouei, Mohammadhassan" data-group-selector="dagstuhl.contributor.author.G"> Gholami Derouei, Mohammadhassan <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.J"> <b>J</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Jindal, Anish" data-group-selector="dagstuhl.contributor.author.J"> Jindal, Anish <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.K"> <b>K</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Khanam, Zeba" data-group-selector="dagstuhl.contributor.author.K"> Khanam, Zeba <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Kurunathan, Harrison" data-group-selector="dagstuhl.contributor.author.K"> Kurunathan, Harrison <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.M"> <b>M</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Marongiu, Andrea" data-group-selector="dagstuhl.contributor.author.M"> Marongiu, Andrea <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.S"> <b>S</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Sámano-Robles, Ramiro" data-group-selector="dagstuhl.contributor.author.S"> Sámano-Robles, Ramiro <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Singh, Amit Kumar" data-group-selector="dagstuhl.contributor.author.S"> Singh, Amit Kumar <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Solieri, Marco" data-group-selector="dagstuhl.contributor.author.S"> Solieri, Marco <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.T"> <b>T</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Teich, Jürgen" data-group-selector="dagstuhl.contributor.author.T"> Teich, Jürgen <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Tovar, Eduardo" data-group-selector="dagstuhl.contributor.author.T"> Tovar, Eduardo <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.V"> <b>V</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Valente, Paolo" data-group-selector="dagstuhl.contributor.author.V"> Valente, Paolo <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.W"> <b>W</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Wildermann, Stefan" data-group-selector="dagstuhl.contributor.author.W"> Wildermann, Stefan <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.Y"> <b>Y</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Yomsi, Patrick Meumeu" data-group-selector="dagstuhl.contributor.author.Y"> Yomsi, Patrick Meumeu <span class="action"><i class="bi bi-plus-circle"></i></span> </li> </ul> </div> <br> <div class="grouped-metadata-filter" data-filter-key="dagstuhl.subject.classification"> <ul class="list-group"> <li class="list-group-item filter-headline list-group-item-dark"> <b><span class="count"></span> Subjects</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item filter-item pinned -hidden" data-value="" data-key=""> <i class="bi bi-pin-angle-fill"></i> <span class="value"></span> <span class="action"><i><i class="bi bi-x-circle"></i></i></span> </li> <li class="list-group-item details buttons"> <span class="btn-group" role="group" aria-label="Show-All/Collapse"> <button type="button" class="btn btn-primary">Show All</button> <button type="button" class="btn btn-secondary">Collapse</button> </span> </li> <li class="list-group-item details show-all -hidden"> <button type="button" class="btn btn-primary">Show All</button> </li> <li class="list-group-item details filter-group-headline -expanded " data-group-selector="dagstuhl.subject.classification.Computer systems organization"> <b>Computer systems organization</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Distributed architectures" data-group-selector="dagstuhl.subject.classification.Computer systems organization"> Computer systems organization → Distributed architectures <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Multicore architectures" data-group-selector="dagstuhl.subject.classification.Computer systems organization"> Computer systems organization → Multicore architectures <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Real-time operating systems" data-group-selector="dagstuhl.subject.classification.Computer systems organization"> Computer systems organization → Real-time operating systems <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Real-time system architecture" data-group-selector="dagstuhl.subject.classification.Computer systems organization"> Computer systems organization → Real-time system architecture <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Real-time systems" data-group-selector="dagstuhl.subject.classification.Computer systems organization"> Computer systems organization → Real-time systems <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.subject.classification" data-value="Computer systems organization → Self-organizing autonomic computing" data-group-selector="dagstuhl.subject.classification.Computer systems organization"> Computer systems organization → Self-organizing autonomic computing <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.subject.classification.Hardware"> <b>Hardware</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.subject.classification" data-value="Hardware → Finite state machines" data-group-selector="dagstuhl.subject.classification.Hardware"> Hardware → Finite state machines <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.subject.classification.Mathematics of computing"> <b>Mathematics of computing</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.subject.classification" data-value="Mathematics of computing → Probabilistic representations" data-group-selector="dagstuhl.subject.classification.Mathematics of computing"> Mathematics of computing → Probabilistic representations <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.subject.classification.Networks"> <b>Networks</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.subject.classification" data-value="Networks → Network protocols" data-group-selector="dagstuhl.subject.classification.Networks"> Networks → Network protocols <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.subject.classification.Theory of computation"> <b>Theory of computation</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.subject.classification" data-value="Theory of computation → Design and analysis of algorithms" data-group-selector="dagstuhl.subject.classification.Theory of computation"> Theory of computation → Design and analysis of algorithms <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.subject.classification" data-value="Theory of computation → Linear logic" data-group-selector="dagstuhl.subject.classification.Theory of computation"> Theory of computation → Linear logic <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.subject.classification" data-value="Theory of computation → Modal and temporal logics" data-group-selector="dagstuhl.subject.classification.Theory of computation"> Theory of computation → Modal and temporal logics <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.subject.classification" data-value="Theory of computation → Verification by model checking" data-group-selector="dagstuhl.subject.classification.Theory of computation"> Theory of computation → Verification by model checking <span class="action"><i class="bi bi-plus-circle"></i></span> </li> </ul> </div> </div> </div> <div class="offcanvas offcanvas-bottom" tabindex="-1" id="statistics-offcanvas" aria-labelledby="statistics-offcanvas"> <div class="offcanvas-header"> <h5 class="offcanvas-title"></h5> <button type="button" class="btn-close text-reset" data-bs-dismiss="offcanvas" aria-label="Close"></button> </div> <div class="offcanvas-body small" data-context="Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)"> <div style="margin-top: 20vh" class="centered-loader"><div class="loader"></div></div> <iframe class="-hidden"></iframe> </div> </div> </div> </div> <span class="_feedback-button"> <i class="bi bi-question-circle"></i> <span class="text">Questions / Remarks / Feedback</span> </span> <div class="_feedback-form -hidden"> <span class="_feedback-close">X</span> <p>Feedback for Dagstuhl Publishing</p> <div> <textarea class="form-control" name="_feedback"></textarea> <input class="form-control" type="text" name="name" autocomplete="off" placeholder="Name (optional)" maxlength="60"> <input class="form-control" type="email" name="email" autocomplete="off" placeholder="Email (optional)" maxlength="60"> <br> <button class="btn btn-sm btn-default">Send</button> </div> </div> <div class="alert alert-success _feedback-success -hidden"> <span class="glyphicon glyphicon-ok"></span> <h3>Thanks for your feedback!</h3> <div>Feedback submitted</div> <button class="btn btn-white _feedback-done">OK</button> </div> <div class="alert alert-danger _feedback-error -hidden"> <span class="glyphicon glyphicon-remove"></span> <h3>Could not send message</h3> <div>Please try again later or send an <a href="mailto:publishing@dagstuhl.de">E-mail</a></div> <button class="btn btn-white _feedback-done">OK</button> </div> <a class="scroll-up-button -hidden" href="#_top-of-page"> <i class="bi bi-arrow-up-circle"></i> </a> <footer class="page-footer dark"> <div class="container"> <h5>About DROPS</h5> <p>Schloss Dagstuhl - Leibniz Center for Informatics has been operating the Dagstuhl Research Online Publication Server (short: DROPS) since 2004. DROPS enables publication of the latest research findings in a fast, uncomplicated manner, in addition to providing unimpeded, open access to them. All the requisite metadata on each publication is administered in accordance with general guidelines pertaining to online publications (cf. Dublin Core). This enables the online publications to be authorized for citation and made accessible to a wide readership on a permanent basis. Access is free of charge for readers following the open access idea which fosters unimpeded access to scientific publications. </p> <ul style="margin-top: -0.5em"> <li><a href="https://drops.dagstuhl.de/docs/about">More about DROPS</a></li> </ul> </div> <div class="container"> <div class="row"> <div class="col-lg-6"> <h5>Instructions for Authors</h5> <div class="row"> <div class="col-sm-6"> <b>Dagstuhl Series</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/lipics#author">LIPIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/oasics#author">OASIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dfu#author">Dagstuhl Follow-Ups</a></li> </ul> </div> <div class="col-sm-6"> <b>Dagstuhl Journals</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/darts#author">DARTS – Dagstuhl Artifacts Series</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagrep#author">Dagstuhl Reports</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagman#author">Dagstuhl Manifestos</a></li> <li><a href="https://submission.dagstuhl.de/series/details/lites#author">LITES</a></li> <li><a href="https://submission.dagstuhl.de/series/details/tgdk#author">TGDK – Transactions on Graph Data and Knowledge</a></li> </ul> </div> </div> </div> <div class="col-lg-6"> <h5>Instructions for Editors</h5> <div class="row"> <div class="col-sm-6"> <b>Dagstuhl Series</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/lipics#editor">LIPIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/oasics#editor">OASIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dfu#editor">Dagstuhl Follow-Ups</a></li> </ul> </div> <div class="col-sm-6"> <b>Dagstuhl Journals</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/darts#editor">DARTS – Dagstuhl Artifacts Series</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagrep#editor">Dagstuhl Reports</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagman#editor">Dagstuhl Manifestos</a></li> <li><a href="https://submission.dagstuhl.de/series/details/lites#editor">LITES</a></li> <li><a href="https://submission.dagstuhl.de/series/details/tgdk#editor">TGDK – Transactions on Graph Data and Knowledge</a></li> </ul> </div> </div> </div> </div> </div> </footer> <div class="copyright"> © 2023-2024 <a href="https://www.dagstuhl.de">Schloss Dagstuhl – LZI GmbH</a> <a href="https://drops.dagstuhl.de/docs/about">About DROPS</a> <a href="https://drops.dagstuhl.de/docs/imprint">Imprint</a> <a href="https://drops.dagstuhl.de/docs/privacy">Privacy</a> <a href="https://www.dagstuhl.de/en/publishing/team">Contact</a> </div> <script type="text/javascript" src="https://drops.dagstuhl.de/js/jquery-3.6.0.min.js"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/app.js?drops-core-2025-01-23.1"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/popper.min.js"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/circle-progress.js"></script> <script type="text/javascript"> $(document).ready(function() { const view = { statsServer: 'https://drops-stats.dagstuhl.de', animationStarted: false, isScrolledIntoView: function (elem) { const rect = elem.getBoundingClientRect(); const elemTop = rect.top; //const elemBottom = rect.bottom; // const elemHeight = rect.height; return (elemTop >= 0) && (elemTop <= window.innerHeight); }, progressCircle: function ($el) { $el.find('.circle').circleProgress({ value: 1, size: 80, fill: { color: '#555' }, animation: { duration: 1200 } }); }, countUp: function($el) { $el.find('.number').each(function() { const $this = $(this); const number = parseInt($this.attr('data-number')); let suffix = ''; if (number > 90000) { $this.text(Math.ceil(number/1000)+' k'); suffix = ' k'; } else if (number > 90000000) { $this.text(Math.ceil(number/1000000)+' m'); suffix = ' m'; } else { $this.text(Math.ceil(number)) } $({ Counter: 0 }).animate({ Counter: $this.text().replace(suffix, '').replace(',', '') }, { duration: 1000, easing: 'swing', step: function() { $this.text(Math.ceil(this.Counter).toString().replace(/\B(?=(\d{3})+(?!\d))/g, ",") + suffix); } }); }); }, checkVisibility: function() { const $container = $('.stats-total'); if (view.isScrolledIntoView($container[0])) { if (!view.animationStarted) { view.animationStarted = true; view.progressCircle($container); setTimeout(function() { view.countUp($container) }, 200); } } }, initialize: function() { $.ajax({ type: 'get', url: view.statsServer + '/api/external/drops2/volume/OASIcs-volume-117/-/stats', success: function (result) { $('.total-downloads .number').attr('data-number', result.total.downloads); $('.total-metadata-views .number').attr('data-number', result.total.clicks); window.addEventListener('scroll', view.checkVisibility); view.checkVisibility(); }, error: function () { $('.total-downloads .number').text(0); $('.total-metadata-views .number').text(0); window.addEventListener('scroll', view.checkVisibility); view.checkVisibility(); } }); } }; view.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const view = { trackInvestigation: function(e) { const $entity = $(e.currentTarget).parent().parent(); const permanentId = $entity.attr('data-permanent-id'); $.ajax({ url: '/entities/' + permanentId + '/_investigation', type: 'get', }); }, initialize: function() { $('a.investigation').on('click', view.trackInvestigation); } }; view.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const view = { $el: { root: $('.grouped-metadata-filter'), freeTextFilter: $('#free-text-filter') }, appliedFilters: { freeText: [] }, methods: { toggleDetails: function(e) { var $current = $(e.currentTarget); var $parent = $current.parent(); $parent.toggleClass('-expanded'); }, toggleGroup: function(e) { var $current = $(e.currentTarget); var selector = $current.attr('data-group-selector'); $current.toggleClass('-expanded'); $('.filter-item[data-group-selector="' + selector + '"]').toggleClass('-hidden'); }, toggleFilter: function(e) { var $current = $(e.currentTarget); var key = $current.attr('data-key'); var value = $current.attr('data-value'); if (view.appliedFilters[key] === undefined) { view.appliedFilters[key] = []; } var index = view.appliedFilters[key].indexOf(value); if (index !== -1) { view.appliedFilters[key].splice(index, 1); $('.grouped-metadata-filter[data-filter-key="'+key+'"]').find('.pinned[data-value="'+value+'"]').remove(); } else { view.appliedFilters[key].push(value); var $template = $('.grouped-metadata-filter[data-filter-key="'+key+'"]').find('.pinned.-hidden'); var $filter = $template.clone(); $filter.find('.value').html(value); $filter.attr('data-value', value) .attr('data-key', key) .removeClass('-hidden') .insertAfter($template) .on('click', view.methods.toggleFilter); } var event = (index !== -1) ? 'removeFilter' : 'addFilter'; var filterCount = 0; for(var filterKey in view.appliedFilters) { filterCount += view.appliedFilters[filterKey].length; } $(document).trigger('grouped-metadata-filter:' + event, { key: key, value: value, appliedFilters: view.appliedFilters, filterCount: filterCount }); }, setFreeTextFilter: function(e) { var $current = $(e.currentTarget); var value = $current.val().trim(); if (value === '') { view.appliedFilters.freeText = [] } else { view.appliedFilters.freeText = [ value ]; } var filterCount = 0; for(var filterKey in view.appliedFilters) { filterCount += view.appliedFilters[filterKey].length; } $(document).trigger('grouped-metadata-filter:addFilter', { key: 'free-text', value: value, appliedFilters: view.appliedFilters, filterCount: filterCount }); }, dropAllFilters: function() { $('.grouped-metadata-filter').find('.filter-item.pinned:not(.-hidden)').click(); $('#free-text-filter').val('').trigger('keyup'); }, expandAllGroups: function(e) { var $current = $(e.currentTarget); $current.parent().parent().parent().find('.filter-group-headline:not(.-expanded)').click(); }, collapseAllGroups: function(e) { var $current = $(e.currentTarget); var $filter = $current.parent().parent().parent(); $filter.find('.filter-group-headline.-expanded').click(); $filter.find('.filter-headline').click(); $filter.find('.filter-headline').click(); } }, initialize: function() { view.$el.root.each(function() { var count = $(this).find('.filter-item.value').length; $(this).find('.filter-headline .count').text(count); }); view.$el.root.find('.filter-group-headline').on('click', view.methods.toggleGroup); view.$el.root.find('.filter-item').on('click', view.methods.toggleFilter); view.$el.root.find('.filter-headline').on('click', view.methods.toggleDetails); view.$el.root.find('.buttons .btn-primary').on('click', view.methods.expandAllGroups); view.$el.root.find('.buttons .btn-secondary').on('click', view.methods.collapseAllGroups); view.$el.freeTextFilter.on('keyup', view.methods.setFreeTextFilter); view.$el.freeTextFilter.on('search', view.methods.setFreeTextFilter); $(document).on('grouped-metadata-filter:dropAllFilters', view.methods.dropAllFilters); } }; view.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const view = { normalize: function(string) { return string.normalize('NFD').replace(/[\u0300-\u036f]/g, ""); }, applyFilters: function(e, data) { var $documents = $('.document'); var $noResults = $('.no-results'); $documents.each(function() { var $document = $(this); var matches = 0; for(var filterKey in data.appliedFilters) { var values = data.appliedFilters[filterKey]; if (filterKey === 'freeText' && values[0] !== undefined && values[0] !== '') { var regex = new RegExp(view.normalize(values[0].toLowerCase()), 'i'); matches += view.normalize($document.html()).match(regex) ? 1 : 0; } else { values.forEach(function (value) { matches += $document.find('.selectors').find('[data-key="' + filterKey + '"][data-value="' + value + '"]').length }); } } if (matches === data.filterCount) { $document.removeClass('-hidden'); } else { $document.addClass('-hidden') } }); if ($documents.parent().find('.document:not(.-hidden').length === 0) { $noResults.removeClass('-hidden'); } else { $noResults.addClass('-hidden'); } document.getElementById('end-of-header').scrollIntoView(); var filterInfo = ''; if (data.filterCount === 1) { filterInfo = '1 filter applied   ×'; } else if (data.filterCount > 1) { filterInfo = data.filterCount + ' filters applied   ×'; } $('._filter-info').html(filterInfo); if (data.appliedFilters.freeText[0] !== undefined && data.appliedFilters.freeText[0] !== '') { $('#free-text-filter').addClass('-active'); } else { $('#free-text-filter').removeClass('-active'); } }, initialize: function() { $(document).on('grouped-metadata-filter:addFilter', view.applyFilters); $(document).on('grouped-metadata-filter:removeFilter', view.applyFilters); } }; view.initialize(); }); </script> <script type="text/javascript"> function _enableFeedback() { var $feedbackButton = $('._feedback-button, .fixed-beta-button'); var $feedbackClose = $('._feedback-close'); var $feedbackForm = $('._feedback-form'); var $feedbackSubmit = $('._feedback-form button'); var $textarea = $feedbackForm.find('textarea'); var $feedbackSuccess = $('._feedback-success'); var $feedbackError = $('._feedback-error'); var $feedbackDoneButton = $('._feedback-done'); $feedbackButton.addClass('_show'); $feedbackButton.on('click', function () { $feedbackButton.addClass('-hidden'); $feedbackForm.removeClass('-hidden'); $textarea.focus(); }); $feedbackClose.on('click', function () { $feedbackSuccess.addClass('-hidden'); $feedbackForm.addClass('-hidden'); $feedbackButton.removeClass('-hidden'); }); $feedbackDoneButton.on('click', function () { $feedbackError.addClass('-hidden'); $feedbackSuccess.addClass('-hidden'); $feedbackForm.addClass('-hidden'); $feedbackButton.removeClass('-hidden'); }); $feedbackSubmit.on('click', function () { var message = $textarea.val(); if (message === undefined) { message = ''; } if (message.trim() !== '') { $.ajax({ url: '/api/v1/feedback', type: 'post', data: { content: message, context: window.location.href, name: $('input[name="name"]').val(), email: $('input[name="email"]').val(), }, success: function (result) { if (result === 'success') { $textarea.val(''); $feedbackSuccess.removeClass('-hidden'); } else { $feedbackError.removeClass('-hidden'); } }, error: function () { $feedbackError.removeClass('-hidden'); } }); } }); } var _defer_counter = 0; function _defer(method) { if (window.jQuery) { method(); } else { if (_defer_counter < 20) { setTimeout(function () { _defer(method); console.log(_defer_counter); _defer_counter++; }, 500); } } } setTimeout(function() { _defer(_enableFeedback); }, 1000); </script> <script type="text/javascript"> $(document).ready(function() { $('._filter-info').on('click', function() { $(document).trigger('grouped-metadata-filter:dropAllFilters'); }); }); </script> <script type="text/javascript"> $(document).ready(function() { const statistics = { statsServer: 'https://drops-stats.dagstuhl.de', showStatistics: function(e) { e.preventDefault(); const $offCanvas = $('#statistics-offcanvas'); const $iframe = $offCanvas.find('iframe'); const $loader = $offCanvas.find('.centered-loader'); $iframe.addClass('-hidden'); $loader.removeClass('-hidden'); $iframe[0].onload = function () { $iframe.removeClass('-hidden'); $loader.addClass('-hidden'); }.bind(this); const modeParameter = ''; const $target = $(e.currentTarget); const entityId = $target.attr('data-entity'); const title = $target.attr('data-title'); const embedUrl = statistics.statsServer + '/embed/external/drops2/' + entityId + modeParameter; let context = $offCanvas.find('.offcanvas-body').attr('data-context'); if (context === title) { context = ''; } if (context !== '') { context += '<br>'; } $offCanvas.find('.offcanvas-title').html(context + '<h2 style="font-weight: bold">' + title + '</h2>'); $offCanvas.offcanvas('show'); $offCanvas.find('iframe').attr('src', embedUrl); return false; }, initialize: function() { $('.btn-statistics').on('click', this.showStatistics); } }; statistics.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const app = { maxScrollPos: window.innerWidth < 500 ? 100 // mobile : 400, // desktop $el : { navbarSearch: $('nav .navbar-search'), fixedSearchButton: $('.fixed-search-button'), copyToClipboard: $('.copy-to-clipboard') }, methods: { hideMenuOnScroll: function(scrollPos) { const $menu = $('nav.navbar.main'); const $stickySearch = $('.search.sticky'); const $banner = $('#_banner'); const $fixedSearchButton = $('.fixed-search-button'); if (scrollPos > app.maxScrollPos) { $menu.addClass('-hide'); $banner.addClass('-hide'); $stickySearch.addClass('-top'); $fixedSearchButton.addClass('-show'); } else { app.methods.showMenu(null, false); } }, showMenu: function(e, focus) { const $menu = $('nav.navbar.main'); const $stickySearch = $('.search.sticky'); const $banner = $('#_banner'); const $fixedSearchButton = $('.fixed-search-button'); $menu.removeClass('-hide'); $banner.removeClass('-hide'); $stickySearch.removeClass('-top'); $fixedSearchButton.removeClass('-show'); if (focus !== false) { $('.navbar-search').find('input[name="term"]').focus(); } }, showUpLinkOnScroll: function(scrollPos) { const $upLink = $('.scroll-up-button'); if (scrollPos > app.maxScrollPos) { $upLink.removeClass('-hidden'); } else { $upLink.addClass('-hidden'); } }, scrollHandler: function() { const scrollPos = $(document).scrollTop(); app.methods.hideMenuOnScroll(scrollPos); app.methods.showUpLinkOnScroll(scrollPos); }, copyToClipboard: function(e) { e.preventDefault(); const $current = $(e.currentTarget); // console.log($current.attr('data-selector')); const element = $('#'+$current.attr('data-selector'))[0]; console.log(element); element.select(); document.execCommand("copy"); const $success = $current.find('.bi-check'); $success.removeClass('-hidden'); setTimeout(function() { $success.addClass('-hidden'); }, 1000); }, initTooltips: function() { const tooltipTriggerList = [].slice.call(document.querySelectorAll('[data-bs-toggle="tooltip"]')) const tooltipList = tooltipTriggerList.map(function (tooltipTriggerEl) { return new bootstrap.Tooltip(tooltipTriggerEl) }); }, expandSearch: function() { app.$el.navbarSearch.addClass('expanded'); }, collapseSearch: function(e) { if (!$(e.currentTarget).is('button.btn-outline-success')) { app.$el.navbarSearch.removeClass('expanded'); } }, initDeepLinksTabs: function() { app.methods.initTabLinks(); const innerAnchors =[]; $('.tab-pane').find('[id]').each(function() { innerAnchors.push(this.getAttribute('id')); }); const anchors = []; $('a[role="tab"]').each(function() { anchors.push($(this).attr('aria-controls')); }); innerAnchors.forEach(function(anchor) { if ($('#'+anchor).length > 0) { anchors.push(anchor); } }); if (anchors.length === 0) { return; } let selectedAnchor = window.location.hash.substring(1); if (anchors.indexOf(selectedAnchor) === -1) { $('#publications-tab').tab('show'); window.scrollTo(0,0); return; } if (selectedAnchor !== 'publications') { const innerAnchorIndex = innerAnchors.indexOf(selectedAnchor); // anchor sits inside tab -> open the tab first, then scroll to anchor if (innerAnchorIndex > -1) { const $tab = $('#'+selectedAnchor).closest('.tab-pane'); console.log($tab); try { $('#'+$tab.attr('id')+'-tab').tab('show'); } catch (e) { } setTimeout(function () { $('#' + selectedAnchor)[0].scrollIntoView(); }, 800); } else { try { $('#' + selectedAnchor + '-tab').tab('show'); } catch (e) { } window.scrollTo(0, 0); } } }, initTabLinks: function() { $('[data-tab-link]').on('click', function(e) { e.preventDefault(); const $target = $(e.currentTarget); document.location.href = $target.attr('href'); document.location.reload(); }); }, }, initialize: function() { $(window).on('scroll', app.methods.scrollHandler); $(window).on('scroll-to-top', function() { window.scrollTo(0,0) }); $(document).trigger('scroll'); // set correct status for scroll-related parts (navbar/back-to-top) on page reload app.$el.copyToClipboard.on('click', app.methods.copyToClipboard); app.$el.fixedSearchButton.on('click', app.methods.showMenu); app.$el.navbarSearch.find('input').on('click', app.methods.expandSearch) app.$el.navbarSearch.find('input').on('blur', app.methods.collapseSearch); app.methods.initTooltips(); app.methods.initDeepLinksTabs(); } }; app.initialize(); }); </script> </body> </html>

CINXE.COM

Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024)