@Proceedings{volp:LIPIcs.ECRTS.2020,
title = {{LIPIcs, Volume 165, ECRTS 2020, Complete Volume}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {1--578},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020},
URN = {urn:nbn:de:0030-drops-123626},
doi = {10.4230/LIPIcs.ECRTS.2020},
annote = {Keywords: LIPIcs, Volume 165, ECRTS 2020, Complete Volume}
}
@InProceedings{volp:LIPIcs.ECRTS.2020.0,
author = {V\"{o}lp, Marcus},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.0},
URN = {urn:nbn:de:0030-drops-123631},
doi = {10.4230/LIPIcs.ECRTS.2020.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{schwaricke_et_al:LIPIcs.ECRTS.2020.1,
author = {Schw\"{a}ricke, Gero and Kloda, Tomasz and Gracioli, Giovani and Bertogna, Marko and Caccamo, Marco},
title = {{Fixed-Priority Memory-Centric Scheduler for COTS-Based Multiprocessors}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {1:1--1:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.1},
URN = {urn:nbn:de:0030-drops-123648},
doi = {10.4230/LIPIcs.ECRTS.2020.1},
annote = {Keywords: Schedulability Analysis, Scheduler Implementation, memory-centric Scheduling, Virtualization, Multiprocessor}
}
@InProceedings{saifullah_et_al:LIPIcs.ECRTS.2020.2,
author = {Saifullah, Abusayeed and Fahmida, Sezana and Modekurthy, Venkata P. and Fisher, Nathan and Guo, Zhishan},
title = {{CPU Energy-Aware Parallel Real-Time Scheduling}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {2:1--2:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.2},
URN = {urn:nbn:de:0030-drops-123655},
doi = {10.4230/LIPIcs.ECRTS.2020.2},
annote = {Keywords: Real-time scheduling, multicore, energy-efficiency, embedded systems}
}
@InProceedings{sinha_et_al:LIPIcs.ECRTS.2020.3,
author = {Sinha, Soham and West, Richard and Golchin, Ahmad},
title = {{PAStime: Progress-Aware Scheduling for Time-Critical Computing}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {3:1--3:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.3},
URN = {urn:nbn:de:0030-drops-123668},
doi = {10.4230/LIPIcs.ECRTS.2020.3},
annote = {Keywords: progress-aware scheduling, code instrumentation, timing annotation}
}
@InProceedings{skalistis_et_al:LIPIcs.ECRTS.2020.4,
author = {Skalistis, Stefanos and Kritikakou, Angeliki},
title = {{Dynamic Interference-Sensitive Run-time Adaptation of Time-Triggered Schedules}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {4:1--4:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.4},
URN = {urn:nbn:de:0030-drops-123673},
doi = {10.4230/LIPIcs.ECRTS.2020.4},
annote = {Keywords: Worst-Case Execution Time, Interference-sensitive, Run-time Adaptation, Time-Triggered, Response Time Analysis, Multi-cores}
}
@InProceedings{markovic_et_al:LIPIcs.ECRTS.2020.5,
author = {Markovi\'{c}, Filip and Carlson, Jan and Altmeyer, Sebastian and Dobrin, Radu},
title = {{Improving the Accuracy of Cache-Aware Response Time Analysis Using Preemption Partitioning}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {5:1--5:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.5},
URN = {urn:nbn:de:0030-drops-123682},
doi = {10.4230/LIPIcs.ECRTS.2020.5},
annote = {Keywords: Real-time systems, Fixed-Priority Preemptive Scheduling, Preemption delay}
}
@InProceedings{robb_et_al:LIPIcs.ECRTS.2020.6,
author = {Robb, James and Brandenburg, Bj\"{o}rn B.},
title = {{Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {6:1--6:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.6},
URN = {urn:nbn:de:0030-drops-123691},
doi = {10.4230/LIPIcs.ECRTS.2020.6},
annote = {Keywords: multiprocessor real-time locking, nested locking, independence preservation, suspension-oblivious analysis, priority inversion, asymptotically optimal blocking, RNLP, OMIP}
}
@InProceedings{agrawal_et_al:LIPIcs.ECRTS.2020.7,
author = {Agrawal, Kunal and Baruah, Sanjoy and Burns, Alan},
title = {{The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {7:1--7:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.7},
URN = {urn:nbn:de:0030-drops-123704},
doi = {10.4230/LIPIcs.ECRTS.2020.7},
annote = {Keywords: Learning-enabled components (LECs), Safety-critical systems, Typical analysis, Performance optimization, Run-time monitoring}
}
@InProceedings{bellec_et_al:LIPIcs.ECRTS.2020.8,
author = {Bellec, Nicolas and Rokicki, Simon and Puaut, Isabelle},
title = {{Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {8:1--8:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.8},
URN = {urn:nbn:de:0030-drops-123719},
doi = {10.4230/LIPIcs.ECRTS.2020.8},
annote = {Keywords: Real-time systems, security, attack detection, control flow hijacking, WCET estimation, hardware monitoring}
}
@InProceedings{deoliveira_et_al:LIPIcs.ECRTS.2020.9,
author = {de Oliveira, Daniel Bristot and Casini, Daniel and de Oliveira, R\^{o}mulo Silva and Cucinotta, Tommaso},
title = {{Demystifying the Real-Time Linux Scheduling Latency}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {9:1--9:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.9},
URN = {urn:nbn:de:0030-drops-123721},
doi = {10.4230/LIPIcs.ECRTS.2020.9},
annote = {Keywords: Real-time operating systems, Linux kernel, PREEMPT\underlineRT, Scheduling latency}
}
@InProceedings{otterness_et_al:LIPIcs.ECRTS.2020.10,
author = {Otterness, Nathan and Anderson, James H.},
title = {{AMD GPUs as an Alternative to NVIDIA for Supporting Real-Time Workloads}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {10:1--10:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.10},
URN = {urn:nbn:de:0030-drops-123732},
doi = {10.4230/LIPIcs.ECRTS.2020.10},
annote = {Keywords: real-time systems, graphics processing units, parallel computing}
}
@InProceedings{zuepke:LIPIcs.ECRTS.2020.11,
author = {Zuepke, Alexander},
title = {{Turning Futexes Inside-Out: Efficient and Deterministic User Space Synchronization Primitives for Real-Time Systems with IPCP}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {11:1--11:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.11},
URN = {urn:nbn:de:0030-drops-123746},
doi = {10.4230/LIPIcs.ECRTS.2020.11},
annote = {Keywords: Futex, Immediate Priority Ceiling Protocol, Critical Section, Monitor}
}
@InProceedings{restuccia_et_al:LIPIcs.ECRTS.2020.12,
author = {Restuccia, Francesco and Pagani, Marco and Biondi, Alessandro and Marinoni, Mauro and Buttazzo, Giorgio},
title = {{Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {12:1--12:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.12},
URN = {urn:nbn:de:0030-drops-123753},
doi = {10.4230/LIPIcs.ECRTS.2020.12},
annote = {Keywords: Heterogeneous computing, Predictable hardware acceleration, FPGA SoCs, Multi-Master architectures}
}
@InProceedings{sensfelder_et_al:LIPIcs.ECRTS.2020.13,
author = {Sensfelder, Nathana\"{e}l and Brunel, Julien and Pagetti, Claire},
title = {{On How to Identify Cache Coherence: Case of the NXP QorIQ T4240}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {13:1--13:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.13},
URN = {urn:nbn:de:0030-drops-123764},
doi = {10.4230/LIPIcs.ECRTS.2020.13},
annote = {Keywords: Real-time systems, multi-core processor, cache coherence}
}
@InProceedings{osborne_et_al:LIPIcs.ECRTS.2020.14,
author = {Osborne, Sims Hill and Anderson, James H.},
title = {{Simultaneous Multithreading and Hard Real Time: Can It Be Safe?}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {14:1--14:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.14},
URN = {urn:nbn:de:0030-drops-123778},
doi = {10.4230/LIPIcs.ECRTS.2020.14},
annote = {Keywords: real-time systems, simultaneous multithreading, hard real-time, scheduling algorithms, probability, statistics, timing analysis}
}
@InProceedings{palomo_et_al:LIPIcs.ECRTS.2020.15,
author = {Palomo, Xavier and Fernandez, Mikel and Girbal, Sylvain and Mezzetti, Enrico and Abella, Jaume and Cazorla, Francisco J. and Rioux, Laurent},
title = {{Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {15:1--15:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.15},
URN = {urn:nbn:de:0030-drops-123787},
doi = {10.4230/LIPIcs.ECRTS.2020.15},
annote = {Keywords: Multicore Contention, Timing interference, Hardware Event Counters, PMC}
}
@InProceedings{hassan:LIPIcs.ECRTS.2020.16,
author = {Hassan, Mohamed},
title = {{Discriminative Coherence: Balancing Performance and Latency Bounds in Data-Sharing Multi-Core Real-Time Systems}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {16:1--16:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.16},
URN = {urn:nbn:de:0030-drops-123795},
doi = {10.4230/LIPIcs.ECRTS.2020.16},
annote = {Keywords: Coherence, Shared Data, Caches, Multi-Core, Real-Time, Memory}
}
@InProceedings{finzi_et_al:LIPIcs.ECRTS.2020.17,
author = {Finzi, Ana\"{i}s and Zhao, Luxi},
title = {{Impact of AS6802 Synchronization Protocol on Time-Triggered and Rate-Constrained Traffic}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {17:1--17:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.17},
URN = {urn:nbn:de:0030-drops-123808},
doi = {10.4230/LIPIcs.ECRTS.2020.17},
annote = {Keywords: AS6802, TTE, Modeling, Performance analysis}
}
@InProceedings{schonberger_et_al:LIPIcs.ECRTS.2020.18,
author = {Sch\"{o}nberger, Lea and von der Br\"{u}ggen, Georg and Chen, Kuan-Hsun and Sliwa, Benjamin and Youssef, Hazem and Ramachandran Venkatapathy, Aswin Karthik and Wietfeld, Christian and ten Hompel, Michael and Chen, Jian-Jia},
title = {{Offloading Safety- and Mission-Critical Tasks via Unreliable Connections}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {18:1--18:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.18},
URN = {urn:nbn:de:0030-drops-123811},
doi = {10.4230/LIPIcs.ECRTS.2020.18},
annote = {Keywords: internet of things, cyber-physical systems, real-time, mixed-criticality, self-suspension, computation offloading, scheduling, communication}
}
@InProceedings{jacob_et_al:LIPIcs.ECRTS.2020.19,
author = {Jacob, Romain and Zhang, Licong and Zimmerling, Marco and Beutel, Jan and Chakraborty, Samarjit and Thiele, Lothar},
title = {{The Time-Triggered Wireless Architecture}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {19:1--19:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.19},
URN = {urn:nbn:de:0030-drops-123826},
doi = {10.4230/LIPIcs.ECRTS.2020.19},
annote = {Keywords: Time-triggered architecture, wireless bus, synchronous transmissions}
}
@InProceedings{kordon_et_al:LIPIcs.ECRTS.2020.20,
author = {Kordon, Alix Munier and Tang, Ning},
title = {{Evaluation of the Age Latency of a Real-Time Communicating System Using the LET Paradigm}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {20:1--20:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.20},
URN = {urn:nbn:de:0030-drops-123833},
doi = {10.4230/LIPIcs.ECRTS.2020.20},
annote = {Keywords: Real-Time Systems, Logical Execution Time, Age Latency}
}
@InProceedings{maggio_et_al:LIPIcs.ECRTS.2020.21,
author = {Maggio, Martina and Hamann, Arne and Mayer-John, Eckart and Ziegenbein, Dirk},
title = {{Control-System Stability Under Consecutive Deadline Misses Constraints}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {21:1--21:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.21},
URN = {urn:nbn:de:0030-drops-123845},
doi = {10.4230/LIPIcs.ECRTS.2020.21},
annote = {Keywords: Real-Time Control, Deadline Misses, Weakly Hard Models}
}
@InProceedings{bozhko_et_al:LIPIcs.ECRTS.2020.22,
author = {Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.},
title = {{Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {22:1--22:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.22},
URN = {urn:nbn:de:0030-drops-123850},
doi = {10.4230/LIPIcs.ECRTS.2020.22},
annote = {Keywords: hard real-time systems, response-time analysis, uniprocessor, busy window, fixed priority, EDF, verification, Coq, Prosa, preemptive, non-preemptive, limited-preemptive}
}
@InProceedings{hassan_et_al:LIPIcs.ECRTS.2020.23,
author = {Hassan, Mohamed and Pellizzoni, Rodolfo},
title = {{Analysis of Memory-Contention in Heterogeneous COTS MPSoCs}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {23:1--23:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.23},
URN = {urn:nbn:de:0030-drops-123861},
doi = {10.4230/LIPIcs.ECRTS.2020.23},
annote = {Keywords: DRAM, Memory, COTS, Multi-core, Real-Time, Embedded Systems, Analysis}
}
@InProceedings{farrukh_et_al:LIPIcs.ECRTS.2020.24,
author = {Farrukh, Anam and West, Richard},
title = {{smARTflight: An Environmentally-Aware Adaptive Real-Time Flight Management System}},
booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)},
pages = {24:1--24:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-152-8},
ISSN = {1868-8969},
year = {2020},
volume = {165},
editor = {V\"{o}lp, Marcus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.24},
URN = {urn:nbn:de:0030-drops-123874},
doi = {10.4230/LIPIcs.ECRTS.2020.24},
annote = {Keywords: adaptive real-time systems, safety criticality, flight controller, multi-rotor drones, environmental awareness}
}
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