LIPIcs, Volume 231
ECRTS 2022, July 5-8, 2022, Modena, Italy
Editors: Martina Maggio
DARTS, Volume 4, Issue 2
Editors: Sebastian Altmayer and Martina Maggio
Published in: LIPIcs, Volume 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
Aleksandar Matovic, Rafal Graczyk, Federico Lucchetti, and Marcus Völp. Consensual Resilient Control: Stateless Recovery of Stateful Controllers. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 14:1-14:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{matovic_et_al:LIPIcs.ECRTS.2023.14, author = {Matovic, Aleksandar and Graczyk, Rafal and Lucchetti, Federico and V\"{o}lp, Marcus}, title = {{Consensual Resilient Control: Stateless Recovery of Stateful Controllers}}, booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)}, pages = {14:1--14:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-280-8}, ISSN = {1868-8969}, year = {2023}, volume = {262}, editor = {Papadopoulos, Alessandro V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.14}, URN = {urn:nbn:de:0030-drops-180430}, doi = {10.4230/LIPIcs.ECRTS.2023.14}, annote = {Keywords: resilience, control, replication} }
Published in: OASIcs, Volume 108, Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)
Martina Maggio. Control Systems in the Presence of Computational Problems (Invited Talk). In Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023). Open Access Series in Informatics (OASIcs), Volume 108, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{maggio:OASIcs.NG-RES.2023.1, author = {Maggio, Martina}, title = {{Control Systems in the Presence of Computational Problems}}, booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)}, pages = {1:1--1:1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-268-6}, ISSN = {2190-6807}, year = {2023}, volume = {108}, editor = {Terraneo, Federico and Cattaneo, Daniele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.1}, URN = {urn:nbn:de:0030-drops-177320}, doi = {10.4230/OASIcs.NG-RES.2023.1}, annote = {Keywords: control systems, fault tolerance} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 1-470, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Proceedings{maggio:LIPIcs.ECRTS.2022, title = {{LIPIcs, Volume 231, ECRTS 2022, Complete Volume}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {1--470}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022}, URN = {urn:nbn:de:0030-drops-163161}, doi = {10.4230/LIPIcs.ECRTS.2022}, annote = {Keywords: LIPIcs, Volume 231, ECRTS 2022, Complete Volume} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{maggio:LIPIcs.ECRTS.2022.0, author = {Maggio, Martina}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {0:i--0:x}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.0}, URN = {urn:nbn:de:0030-drops-163176}, doi = {10.4230/LIPIcs.ECRTS.2022.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Matteo Andreozzi, Giacomo Gabrielli, Balaji Venu, and Giacomo Travaglini. Industrial Challenge 2022: A High-Performance Real-Time Case Study on Arm. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{andreozzi_et_al:LIPIcs.ECRTS.2022.1, author = {Andreozzi, Matteo and Gabrielli, Giacomo and Venu, Balaji and Travaglini, Giacomo}, title = {{Industrial Challenge 2022: A High-Performance Real-Time Case Study on Arm}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {1:1--1:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.1}, URN = {urn:nbn:de:0030-drops-163186}, doi = {10.4230/LIPIcs.ECRTS.2022.1}, annote = {Keywords: real-time, worst-case execution time} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Seonyeong Heo, Shinnung Jeong, and Hanjun Kim. RTScale: Sensitivity-Aware Adaptive Image Scaling for Real-Time Object Detection. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 2:1-2:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{heo_et_al:LIPIcs.ECRTS.2022.2, author = {Heo, Seonyeong and Jeong, Shinnung and Kim, Hanjun}, title = {{RTScale: Sensitivity-Aware Adaptive Image Scaling for Real-Time Object Detection}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {2:1--2:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.2}, URN = {urn:nbn:de:0030-drops-163199}, doi = {10.4230/LIPIcs.ECRTS.2022.2}, annote = {Keywords: Real-time object detection, Dynamic neural network execution, Adaptive image scaling, Autonomous driving, Self-driving cars} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, and Claire Pagetti. ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 3:1-3:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{dealbuquerquesilva_et_al:LIPIcs.ECRTS.2022.3, author = {De Albuquerque Silva, Iryna and Carle, Thomas and Gauffriau, Adrien and Pagetti, Claire}, title = {{ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {3:1--3:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.3}, URN = {urn:nbn:de:0030-drops-163202}, doi = {10.4230/LIPIcs.ECRTS.2022.3}, annote = {Keywords: Real-time safety-critical systems, Worst Case Execution Time analysis, Artificial Neural Networks implementation} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Axel Brando, Isabel Serra, Enrico Mezzetti, Jaume Abella, and Francisco J. Cazorla. Using Quantile Regression in Neural Networks for Contention Prediction in Multicore Processors. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 4:1-4:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{brando_et_al:LIPIcs.ECRTS.2022.4, author = {Brando, Axel and Serra, Isabel and Mezzetti, Enrico and Abella, Jaume and Cazorla, Francisco J.}, title = {{Using Quantile Regression in Neural Networks for Contention Prediction in Multicore Processors}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {4:1--4:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.4}, URN = {urn:nbn:de:0030-drops-163213}, doi = {10.4230/LIPIcs.ECRTS.2022.4}, annote = {Keywords: Neural Networks, Quantile Prediction, Multicore Contention} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Pierre Roux, Sophie Quinton, and Marc Boyer. A Formal Link Between Response Time Analysis and Network Calculus. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 5:1-5:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{roux_et_al:LIPIcs.ECRTS.2022.5, author = {Roux, Pierre and Quinton, Sophie and Boyer, Marc}, title = {{A Formal Link Between Response Time Analysis and Network Calculus}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {5:1--5:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.5}, URN = {urn:nbn:de:0030-drops-163224}, doi = {10.4230/LIPIcs.ECRTS.2022.5}, annote = {Keywords: Response Time Analysis, Network Calculus, dense time, discrete time, response time, formal proof, Coq} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Kuan-Hsun Chen, Mario Günzel, Boguslaw Jablkowski, Markus Buschhoff, and Jian-Jia Chen. Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 6:1-6:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{chen_et_al:LIPIcs.ECRTS.2022.6, author = {Chen, Kuan-Hsun and G\"{u}nzel, Mario and Jablkowski, Boguslaw and Buschhoff, Markus and Chen, Jian-Jia}, title = {{Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {6:1--6:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.6}, URN = {urn:nbn:de:0030-drops-163239}, doi = {10.4230/LIPIcs.ECRTS.2022.6}, annote = {Keywords: Unikernel, Virtualization, Reservation Servers, Deferrable Servers, Cyber-Physical Systems, Real-Time Systems} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Victor Pollex and Frank Slomka. A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 7:1-7:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{pollex_et_al:LIPIcs.ECRTS.2022.7, author = {Pollex, Victor and Slomka, Frank}, title = {{A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {7:1--7:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.7}, URN = {urn:nbn:de:0030-drops-163246}, doi = {10.4230/LIPIcs.ECRTS.2022.7}, annote = {Keywords: real-time systems, fixed-priority scheduling, response-time analysis, real-time calculus} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Anaïs Finzi and Ramon Serna Oliver. General Framework for Routing, Scheduling and Formal Timing Analysis in Deterministic Time-Aware Networks. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 8:1-8:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{finzi_et_al:LIPIcs.ECRTS.2022.8, author = {Finzi, Ana\"{i}s and Serna Oliver, Ramon}, title = {{General Framework for Routing, Scheduling and Formal Timing Analysis in Deterministic Time-Aware Networks}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {8:1--8:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.8}, URN = {urn:nbn:de:0030-drops-163254}, doi = {10.4230/LIPIcs.ECRTS.2022.8}, annote = {Keywords: TSN, TTEthernet, AFDX, AVB, Modeling, Routing, Scheduling, Formal timing analysis, Worst-case analysis, Performance evaluation} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Rémi Meunier, Thomas Carle, and Thierry Monteil. Correctness and Efficiency Criteria for the Multi-Phase Task Model. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 9:1-9:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{meunier_et_al:LIPIcs.ECRTS.2022.9, author = {Meunier, R\'{e}mi and Carle, Thomas and Monteil, Thierry}, title = {{Correctness and Efficiency Criteria for the Multi-Phase Task Model}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {9:1--9:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.9}, URN = {urn:nbn:de:0030-drops-163267}, doi = {10.4230/LIPIcs.ECRTS.2022.9}, annote = {Keywords: Task model, Interference, Multicore architectures} }
Feedback for Dagstuhl Publishing