@Proceedings{altmeyer:LIPIcs.ECRTS.2018,
title = {{LIPIcs, Volume 106, ECRTS'18, Complete Volume}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018},
URN = {urn:nbn:de:0030-drops-92441},
doi = {10.4230/LIPIcs.ECRTS.2018},
annote = {Keywords: Computer systems organization, Real-time systems, Computer systems organization, Embedded and cyber-physical systems, Software and its engineering}
}
@InProceedings{altmeyer:LIPIcs.ECRTS.2018.0,
author = {Altmeyer, Sebastian},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.0},
URN = {urn:nbn:de:0030-drops-89763},
doi = {10.4230/LIPIcs.ECRTS.2018.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{farshchi_et_al:LIPIcs.ECRTS.2018.1,
author = {Farshchi, Farzad and Valsan, Prathap Kumar and Mancuso, Renato and Yun, Heechul},
title = {{Deterministic Memory Abstraction and Supporting Multicore System Architecture}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {1:1--1:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.1},
URN = {urn:nbn:de:0030-drops-90010},
doi = {10.4230/LIPIcs.ECRTS.2018.1},
annote = {Keywords: multicore processors, real-time, shared cache, DRAM controller, Linux}
}
@InProceedings{awan_et_al:LIPIcs.ECRTS.2018.2,
author = {Awan, Muhammad Ali and Souto, Pedro F. and Bletsas, Konstantinos and Akesson, Benny and Tovar, Eduardo},
title = {{Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {2:1--2:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.2},
URN = {urn:nbn:de:0030-drops-90025},
doi = {10.4230/LIPIcs.ECRTS.2018.2},
annote = {Keywords: multiple memory controllers, memory regulation, multicore}
}
@InProceedings{benedicte_et_al:LIPIcs.ECRTS.2018.3,
author = {Benedicte, Pedro and Hernandez, Carles and Abella, Jaume and Cazorla, Francisco J.},
title = {{HWP: Hardware Support to Reconcile Cache Energy, Complexity, Performance and WCET Estimates in Multicore Real-Time Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {3:1--3:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.3},
URN = {urn:nbn:de:0030-drops-90005},
doi = {10.4230/LIPIcs.ECRTS.2018.3},
annote = {Keywords: multilevel caches, real-time systems, multicores, WCET}
}
@InProceedings{oehlert_et_al:LIPIcs.ECRTS.2018.4,
author = {Oehlert, Dominic and Saidi, Selma and Falk, Heiko},
title = {{Compiler-based Extraction of Event Arrival Functions for Real-Time Systems Analysis}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {4:1--4:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.4},
URN = {urn:nbn:de:0030-drops-89985},
doi = {10.4230/LIPIcs.ECRTS.2018.4},
annote = {Keywords: compiler, real-time, event arrival functions, extraction}
}
@InProceedings{agrawal_et_al:LIPIcs.ECRTS.2018.5,
author = {Agrawal, Kunal and Baruah, Sanjoy},
title = {{A Measurement-Based Model for Parallel Real-Time Tasks}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {5:1--5:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.5},
URN = {urn:nbn:de:0030-drops-89999},
doi = {10.4230/LIPIcs.ECRTS.2018.5},
annote = {Keywords: multiprocessor federated scheduling, parallel tasks, work and span, mixed criticality}
}
@InProceedings{vonderbruggen_et_al:LIPIcs.ECRTS.2018.6,
author = {von der Br\"{u}ggen, Georg and Piatkowski, Nico and Chen, Kuan-Hsun and Chen, Jian-Jia and Morik, Katharina},
title = {{Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.6},
URN = {urn:nbn:de:0030-drops-89978},
doi = {10.4230/LIPIcs.ECRTS.2018.6},
annote = {Keywords: deadline miss probability, multinomial-based approach, analytical bound}
}
@InProceedings{davis_et_al:LIPIcs.ECRTS.2018.7,
author = {Davis, Robert I. and Bate, Iain and Bernat, Guillem and Broster, Ian and Burns, Alan and Colin, Antoine and Hutchesson, Stuart and Tracey, Nigel},
title = {{Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {7:1--7:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.7},
URN = {urn:nbn:de:0030-drops-89955},
doi = {10.4230/LIPIcs.ECRTS.2018.7},
annote = {Keywords: real-time systems, industrial impact, automotive, avionics}
}
@InProceedings{chen_et_al:LIPIcs.ECRTS.2018.8,
author = {Chen, Jian-Jia and von der Br\"{u}ggen, Georg and Ueter, Niklas},
title = {{Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {8:1--8:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.8},
URN = {urn:nbn:de:0030-drops-89965},
doi = {10.4230/LIPIcs.ECRTS.2018.8},
annote = {Keywords: global fixed-priority scheduling, schedulability analyses, speedup bounds}
}
@InProceedings{nasri_et_al:LIPIcs.ECRTS.2018.9,
author = {Nasri, Mitra and Nelissen, Geoffrey and Brandenburg, Bj\"{o}rn B.},
title = {{A Response-Time Analysis for Non-Preemptive Job Sets under Global Scheduling}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {9:1--9:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.9},
URN = {urn:nbn:de:0030-drops-89941},
doi = {10.4230/LIPIcs.ECRTS.2018.9},
annote = {Keywords: global multiprocessor scheduling, schedulability analysis, non-preemptive tasks, worst-case response time, best-case response time}
}
@InProceedings{pazzaglia_et_al:LIPIcs.ECRTS.2018.10,
author = {Pazzaglia, Paolo and Pannocchi, Luigi and Biondi, Alessandro and Di Natale, Marco},
title = {{Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {10:1--10:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.10},
URN = {urn:nbn:de:0030-drops-89930},
doi = {10.4230/LIPIcs.ECRTS.2018.10},
annote = {Keywords: control, real-time, cyber physical systems, weakly hard, deadline miss, performance}
}
@InProceedings{agrawal_et_al:LIPIcs.ECRTS.2018.11,
author = {Agrawal, Kunal and Baruah, Sanjoy},
title = {{Intractability Issues in Mixed-Criticality Scheduling}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {11:1--11:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.11},
URN = {urn:nbn:de:0030-drops-89925},
doi = {10.4230/LIPIcs.ECRTS.2018.11},
annote = {Keywords: mixed-criticality scheduling, speedup factor, competitive ratio, approximation ratio, NP-completeness results, sporadic tasks}
}
@InProceedings{pathan:LIPIcs.ECRTS.2018.12,
author = {Pathan, Risat Mahmud},
title = {{Improving the Schedulability and Quality of Service for Federated Scheduling of Parallel Mixed-Criticality Tasks on Multiprocessors}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {12:1--12:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.12},
URN = {urn:nbn:de:0030-drops-89915},
doi = {10.4230/LIPIcs.ECRTS.2018.12},
annote = {Keywords: mixed-criticality systems, real-time systems, multiprocessor scheduling, federated scheduling}
}
@InProceedings{freitag_et_al:LIPIcs.ECRTS.2018.13,
author = {Freitag, Johannes and Uhrig, Sascha and Ungerer, Theo},
title = {{Virtual Timing Isolation for Mixed-Criticality Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {13:1--13:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.13},
URN = {urn:nbn:de:0030-drops-89904},
doi = {10.4230/LIPIcs.ECRTS.2018.13},
annote = {Keywords: multicore, hard real-time systems, timing isolation, safety-critical systems, mixed-criticality design and assurance}
}
@InProceedings{papadopoulos_et_al:LIPIcs.ECRTS.2018.14,
author = {Papadopoulos, Alessandro Vittorio and Bini, Enrico and Baruah, Sanjoy and Burns, Alan},
title = {{AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {14:1--14:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.14},
URN = {urn:nbn:de:0030-drops-89899},
doi = {10.4230/LIPIcs.ECRTS.2018.14},
annote = {Keywords: mixed criticality, control theory, run-time resilience, bounded overloads}
}
@InProceedings{ahrendts_et_al:LIPIcs.ECRTS.2018.15,
author = {Ahrendts, Leonie and Quinton, Sophie and Boroske, Thomas and Ernst, Rolf},
title = {{Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {15:1--15:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.15},
URN = {urn:nbn:de:0030-drops-89879},
doi = {10.4230/LIPIcs.ECRTS.2018.15},
annote = {Keywords: embedded and cyber-physical systems, weakly-hard real-time systems and networks, timing analysis}
}
@InProceedings{gujarati_et_al:LIPIcs.ECRTS.2018.16,
author = {Gujarati, Arpan and Nasri, Mitra and Brandenburg, Bj\"{o}rn B.},
title = {{Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {16:1--16:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.16},
URN = {urn:nbn:de:0030-drops-89884},
doi = {10.4230/LIPIcs.ECRTS.2018.16},
annote = {Keywords: probabilistic analysis, reliability analysis, networked control systems}
}
@InProceedings{edpalm_et_al:LIPIcs.ECRTS.2018.17,
author = {Edpalm, Viktor and Martins, Alexandre and \r{A}rz\'{e}n, Karl-Erik and Maggio, Martina},
title = {{Camera Networks Dimensioning and Scheduling with Quasi Worst-Case Transmission Time}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {17:1--17:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.17},
URN = {urn:nbn:de:0030-drops-89869},
doi = {10.4230/LIPIcs.ECRTS.2018.17},
annote = {Keywords: worst-case transmission time, H.264, bandwidth estimation, video compression, network access scheduling, multiframe model, camera network}
}
@InProceedings{bijlsma_et_al:LIPIcs.ECRTS.2018.18,
author = {Bijlsma, Tjerk and Lint, Alexander and Verriet, Jacques},
title = {{Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing Applications}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {18:1--18:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.18},
URN = {urn:nbn:de:0030-drops-89853},
doi = {10.4230/LIPIcs.ECRTS.2018.18},
annote = {Keywords: throughput prediction, stream-processing application, early design phase, regression model, cross-platform}
}
@InProceedings{ali_et_al:LIPIcs.ECRTS.2018.19,
author = {Ali, Waqar and Yun, Heechul},
title = {{Protecting Real-Time GPU Kernels on Integrated CPU-GPU SoC Platforms}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {19:1--19:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.19},
URN = {urn:nbn:de:0030-drops-89833},
doi = {10.4230/LIPIcs.ECRTS.2018.19},
annote = {Keywords: GPU, memory bandwidth, resource contention, CPU throttling, fair scheduler}
}
@InProceedings{yang_et_al:LIPIcs.ECRTS.2018.20,
author = {Yang, Ming and Otterness, Nathan and Amert, Tanya and Bakita, Joshua and Anderson, James H. and Smith, F. Donelson},
title = {{Avoiding Pitfalls when Using NVIDIA GPUs for Real-Time Tasks in Autonomous Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {20:1--20:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.20},
URN = {urn:nbn:de:0030-drops-89845},
doi = {10.4230/LIPIcs.ECRTS.2018.20},
annote = {Keywords: real-time systems, graphics processing units, scheduling algorithms, parallel computing, embedded software}
}
@InProceedings{fellmuth_et_al:LIPIcs.ECRTS.2018.21,
author = {Fellmuth, Joachim and G\"{o}thel, Thomas and Glesner, Sabine},
title = {{Instruction Caches in Static WCET Analysis of Artificially Diversified Software}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {21:1--21:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.21},
URN = {urn:nbn:de:0030-drops-89822},
doi = {10.4230/LIPIcs.ECRTS.2018.21},
annote = {Keywords: WCET, static analysis, abstract interpretation, artificial diversity, cache analysis}
}
@InProceedings{kruger_et_al:LIPIcs.ECRTS.2018.22,
author = {Kr\"{u}ger, Kristin and V\"{o}lp, Marcus and Fohler, Gerhard},
title = {{Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {22:1--22:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.22},
URN = {urn:nbn:de:0030-drops-89811},
doi = {10.4230/LIPIcs.ECRTS.2018.22},
annote = {Keywords: real-time systems, time-triggered systems, security, vulnerability}
}
@InProceedings{bhat_et_al:LIPIcs.ECRTS.2018.23,
author = {Bhat, Anand and Samii, Soheil and Rajkumar, Ragunathan (Raj)},
title = {{Recovery Time Considerations in Real-Time Systems Employing Software Fault Tolerance}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {23:1--23:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.23},
URN = {urn:nbn:de:0030-drops-89808},
doi = {10.4230/LIPIcs.ECRTS.2018.23},
annote = {Keywords: fault tolerance, real-time embedded systems, recovery time, real-time schedulability}
}
@InProceedings{wagemann_et_al:LIPIcs.ECRTS.2018.24,
author = {W\"{a}gemann, Peter and Dietrich, Christian and Distler, Tobias and Ulbrich, Peter and Schr\"{o}der-Preikschat, Wolfgang},
title = {{Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {24:1--24:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.24},
URN = {urn:nbn:de:0030-drops-89795},
doi = {10.4230/LIPIcs.ECRTS.2018.24},
annote = {Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysis}
}
@InProceedings{nemitz_et_al:LIPIcs.ECRTS.2018.25,
author = {Nemitz, Catherine E. and Amert, Tanya and Anderson, James H.},
title = {{Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {25:1--25:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.25},
URN = {urn:nbn:de:0030-drops-89789},
doi = {10.4230/LIPIcs.ECRTS.2018.25},
annote = {Keywords: multiprocess locking protocols, nested locks, priority-inversion blocking, reader/writer locks, real-time locking protocols}
}
@InProceedings{cerqueira_et_al:LIPIcs.ECRTS.2018.26,
author = {Cerqueira, Felipe and Nelissen, Geoffrey and Brandenburg, Bj\"{o}rn B.},
title = {{On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks}},
booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
pages = {26:1--26:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-075-0},
ISSN = {1868-8969},
year = {2018},
volume = {106},
editor = {Altmeyer, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.26},
URN = {urn:nbn:de:0030-drops-89773},
doi = {10.4230/LIPIcs.ECRTS.2018.26},
annote = {Keywords: real-time scheduling, sustainability, self-suspending tasks, machine-checked proofs}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing