OASIcs, Volume 8
WCET 2008, July 1, 2008, Prague, Czech Republic
Editors: Raimund Kirner
Published in: OASIcs, Volume 121, 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024)
Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, and Peter Wägemann. The Platin Multi-Target Worst-Case Analysis Tool. In 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024). Open Access Series in Informatics (OASIcs), Volume 121, pp. 2:1-2:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{maroun_et_al:OASIcs.WCET.2024.2, author = {Maroun, Emad Jacob and Dengler, Eva and Dietrich, Christian and Hepp, Stefan and Herzog, Henriette and Huber, Benedikt and Knoop, Jens and Wiltsche-Prokesch, Daniel and Puschner, Peter and Raffeck, Phillip and Schoeberl, Martin and Schuster, Simon and W\"{a}gemann, Peter}, title = {{The Platin Multi-Target Worst-Case Analysis Tool}}, booktitle = {22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024)}, pages = {2:1--2:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-346-1}, ISSN = {2190-6807}, year = {2024}, volume = {121}, editor = {Carle, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2024.2}, URN = {urn:nbn:de:0030-drops-204704}, doi = {10.4230/OASIcs.WCET.2024.2}, annote = {Keywords: worst-case resource consumption, WCET, static analysis tool} }
Published in: LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
Eva Dengler and Peter Wägemann. Crêpe: Clock-Reconfiguration-Aware Preemption Control in Real-Time Systems with Devices. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 10:1-10:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{dengler_et_al:LIPIcs.ECRTS.2024.10, author = {Dengler, Eva and W\"{a}gemann, Peter}, title = {{Cr\^{e}pe: Clock-Reconfiguration-Aware Preemption Control in Real-Time Systems with Devices}}, booktitle = {36th Euromicro Conference on Real-Time Systems (ECRTS 2024)}, pages = {10:1--10:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-324-9}, ISSN = {1868-8969}, year = {2024}, volume = {298}, editor = {Pellizzoni, Rodolfo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.10}, URN = {urn:nbn:de:0030-drops-203135}, doi = {10.4230/LIPIcs.ECRTS.2024.10}, annote = {Keywords: energy-constrained real-time systems, time/energy tradeoff, system-on-chip, energy-aware real-time scheduling, resource minimization, preemption control, worst-case energy consumption (WCEC), worst-case execution time (WCET), static whole-system analysis} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{kirner:OASIcs.WCET.2008, title = {{OASIcs, Volume 8, WCET'08, Complete Volume}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2012}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008}, URN = {urn:nbn:de:0030-drops-35701}, doi = {10.4230/OASIcs.WCET.2008}, annote = {Keywords: Performance of Systems, Software/Program Verification} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, and Markus Schordan. From Trusted Annotations to Verified Knowledge. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{prantl_et_al:OASIcs.WCET.2009.2282, author = {Prantl, Adrian and Knoop, Jens and Kirner, Raimund and Kadlec, Albrecht and Schordan, Markus}, title = {{From Trusted Annotations to Verified Knowledge}}, booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-14-9}, ISSN = {2190-6807}, year = {2009}, volume = {10}, editor = {Holsti, Niklas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2282}, URN = {urn:nbn:de:0030-drops-22828}, doi = {10.4230/OASIcs.WCET.2009.2282}, annote = {Keywords: WCET analysis, annotations, binary tightening, binary widening, model checking, CBMC} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. i-x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kirner:OASIcs.WCET.2008.1671, author = {Kirner, Raimund}, title = {{WCET 2008 Abstracts Collection -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {i--x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1671}, URN = {urn:nbn:de:0030-drops-16712}, doi = {10.4230/OASIcs.WCET.2008.1671}, annote = {Keywords: Worst-case execution time, real-time systems, timing analysis} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne de Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, and Markus Schordan. WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{holsti_et_al:OASIcs.WCET.2008.1663, author = {Holsti, Niklas and Gustafsson, Jan and Bernat, Guillem and Ballabriga, Cl\'{e}ment and Bonenfant, Armelle and Bourgade, Roman and Cass\'{e}, Hugues and Cordes, Daniel and Kadlec, Albrecht and Kirner, Raimund and Knoop, Jens and Lokuciejewski, Paul and Merriam, Nicholas and de Michiel, Marianne and Prantl, Adrian and Rieder, Bernhard and Rochange, Christine and Sainrat, Pascal and Schordan, Markus}, title = {{WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--23}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1663}, URN = {urn:nbn:de:0030-drops-16637}, doi = {10.4230/OASIcs.WCET.2008.1663}, annote = {Keywords: WCET analysis, benchmark} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
David Hickey, Diarmuid Early, and Michel Schellekens. A tool for average and worst-case execution time analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{hickey_et_al:OASIcs.WCET.2008.1668, author = {Hickey, David and Early, Diarmuid and Schellekens, Michel}, title = {{A tool for average and worst-case execution time analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1668}, URN = {urn:nbn:de:0030-drops-16680}, doi = {10.4230/OASIcs.WCET.2008.1668}, annote = {Keywords: Tool, static timing, worst-case, average-case, execution time} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Olivier Gilles and Jérôme Hugues. Applying WCET Analysis at Architectural Level. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{gilles_et_al:OASIcs.WCET.2008.1665, author = {Gilles, Olivier and Hugues, J\'{e}r\^{o}me}, title = {{Applying WCET Analysis at Architectural Level}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1665}, URN = {urn:nbn:de:0030-drops-16653}, doi = {10.4230/OASIcs.WCET.2008.1665}, annote = {Keywords: WCET, AADL, Bound-T, Ocarina} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Niklas Holsti. Computing time as a program variable: a way around infeasible paths. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{holsti:OASIcs.WCET.2008.1660, author = {Holsti, Niklas}, title = {{Computing time as a program variable: a way around infeasible paths}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1660}, URN = {urn:nbn:de:0030-drops-16608}, doi = {10.4230/OASIcs.WCET.2008.1660}, annote = {Keywords: WCET, flow analysis, infeasible paths, dependency analysis} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Clément Ballabriga and Hugues Cassé. Improving the WCET computation time by IPET using control flow graph partitioning. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{ballabriga_et_al:OASIcs.WCET.2008.1670, author = {Ballabriga, Cl\'{e}ment and Cass\'{e}, Hugues}, title = {{Improving the WCET computation time by IPET using control flow graph partitioning}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1670}, URN = {urn:nbn:de:0030-drops-16701}, doi = {10.4230/OASIcs.WCET.2008.1670}, annote = {Keywords: Static analysis, SESE regions, ILP} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Michael Zolda. INFER: Interactive Timing Profiles based on Bayesian Networks. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{zolda:OASIcs.WCET.2008.1669, author = {Zolda, Michael}, title = {{INFER: Interactive Timing Profiles based on Bayesian Networks}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1669}, URN = {urn:nbn:de:0030-drops-16695}, doi = {10.4230/OASIcs.WCET.2008.1669}, annote = {Keywords: Bayesian networks, embedded systems, hardware modeling, measurement-based execution time analysis, software modeling, probabilistic modeling, profilin} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Jan Gustafsson and Andreas Ermedahl. Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{gustafsson_et_al:OASIcs.WCET.2008.1658, author = {Gustafsson, Jan and Ermedahl, Andreas}, title = {{Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1658}, URN = {urn:nbn:de:0030-drops-16585}, doi = {10.4230/OASIcs.WCET.2008.1658}, annote = {Keywords: Worst-Case Execution Time (WCET) analysis, flow analysis} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Peter Puschner and Martin Schoeberl. On Composable System Timing, Task Timing, and WCET Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{puschner_et_al:OASIcs.WCET.2008.1662, author = {Puschner, Peter and Schoeberl, Martin}, title = {{On Composable System Timing, Task Timing, and WCET Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1662}, URN = {urn:nbn:de:0030-drops-16622}, doi = {10.4230/OASIcs.WCET.2008.1662}, annote = {Keywords: Real-time systems, timing analysis, WCET analysis, predictable timing, composability} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, and Jens Knoop. Towards a Common WCET Annotation Language: Essential Ingredients. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kirner_et_al:OASIcs.WCET.2008.1657, author = {Kirner, Raimund and Kadlec, Albrecht and Prantl, Adrian and Schordan, Markus and Knoop, Jens}, title = {{Towards a Common WCET Annotation Language: Essential Ingredients}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1657}, URN = {urn:nbn:de:0030-drops-16575}, doi = {10.4230/OASIcs.WCET.2008.1657}, annote = {Keywords: Worst-case execution time (WCET) analysis, annotation languages, WCET annotation language challenge} }