OASIcs, Volume 30
WCET 2013, July 9, 2013, Paris, France
Editors: Claire Maiza
Published in: LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, and Rémy Boutonnet. Improving WCET Evaluation using Linear Relation Analysis. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 02:1-02:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{raymond_et_al:LITES-v006-i001-a002, author = {Raymond, Pascal and Maiza, Claire and Parent-Vigouroux, Catherine and Jahier, Erwan and Halbwachs, Nicolas and Carrier, Fabienne and Asavoae, Mihail and Boutonnet, R\'{e}my}, title = {{Improving WCET Evaluation using Linear Relation Analysis}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {02:1--02:28}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a002}, doi = {10.4230/LITES-v006-i001-a002}, annote = {Keywords: Worst Case Execution Time estimation, Infeasible Execution Paths, Abstract Interpretation} }
Published in: OASIcs, Volume 57, 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne de Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, and Wei-Tsun Sun. The W-SEPT Project: Towards Semantic-Aware WCET Estimation. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 9:1-9:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{maiza_et_al:OASIcs.WCET.2017.9, author = {Maiza, Claire and Raymond, Pascal and Parent-Vigouroux, Catherine and Bonenfant, Armelle and Carrier, Fabienne and Cass\'{e}, Hugues and Cuenot, Philippe and Claraz, Denis and Halbwachs, Nicolas and Jahier, Erwan and Li, Hanbing and de Michiel, Marianne and Mussot, Vincent and Puaut, Isabelle and Rochange, Christine and Rohou, Erven and Ruiz, Jordy and Sotin, Pascal and Sun, Wei-Tsun}, title = {{The W-SEPT Project: Towards Semantic-Aware WCET Estimation}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {9:1--9:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-057-6}, ISSN = {2190-6807}, year = {2017}, volume = {57}, editor = {Reineke, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.9}, URN = {urn:nbn:de:0030-drops-73097}, doi = {10.4230/OASIcs.WCET.2017.9}, annote = {Keywords: Worst-case execution time analysis, Static analysis, Program analysis} }
Published in: Dagstuhl Reports, Volume 5, Issue 3 (2015)
Sanjoy K. Baruah, Liliana Cucu-Grosjean, Roabert I. Davis, and Claire Maiza. Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121). In Dagstuhl Reports, Volume 5, Issue 3, pp. 84-142, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{baruah_et_al:DagRep.5.3.84, author = {Baruah, Sanjoy K. and Cucu-Grosjean, Liliana and Davis, Roabert I. and Maiza, Claire}, title = {{Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)}}, pages = {84--142}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {5}, number = {3}, editor = {Baruah, Sanjoy K. and Cucu-Grosjean, Liliana and Davis, Roabert I. and Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.3.84}, URN = {urn:nbn:de:0030-drops-52707}, doi = {10.4230/DagRep.5.3.84}, annote = {Keywords: Mixed-Criticality, Real-time systems, Multicore/Manycore Platforms, fixed priority; probabilistic scheduling, varying-speed processors model combination} }
Published in: OASIcs, Volume 47, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, and Christine Rochange. WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. In 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015). Open Access Series in Informatics (OASIcs), Volume 47, pp. 65-74, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{altmeyer_et_al:OASIcs.WCET.2015.65, author = {Altmeyer, Sebastian and Lisper, Bj\"{o}rn and Maiza, Claire and Reineke, Jan and Rochange, Christine}, title = {{WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?}}, booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)}, pages = {65--74}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-95-8}, ISSN = {2190-6807}, year = {2015}, volume = {47}, editor = {Cazorla, Francisco J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.65}, URN = {urn:nbn:de:0030-drops-52574}, doi = {10.4230/OASIcs.WCET.2015.65}, annote = {Keywords: mixed criticality, WCET analysis, confidence in WCET estimates} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{maiza:OASIcs.WCET.2013, title = {{OASIcs, Volume 30, WCET'13, Complete Volume}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013}, URN = {urn:nbn:de:0030-drops-41333}, doi = {10.4230/OASIcs.WCET.2013}, annote = {Keywords: Performance Analysis and Design Aids, Real-time and embedded systems, Software/Program Verification} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. i-x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{maiza:OASIcs.WCET.2013.i, author = {Maiza, Claire}, title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {i--x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.i}, URN = {urn:nbn:de:0030-drops-41162}, doi = {10.4230/OASIcs.WCET.2013.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Timon Kelter, Tim Harde, Peter Marwedel, and Heiko Falk. Evaluation of resource arbitration methods for multi-core real-time systems. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{kelter_et_al:OASIcs.WCET.2013.1, author = {Kelter, Timon and Harde, Tim and Marwedel, Peter and Falk, Heiko}, title = {{Evaluation of resource arbitration methods for multi-core real-time systems}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {1--10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.1}, URN = {urn:nbn:de:0030-drops-41173}, doi = {10.4230/OASIcs.WCET.2013.1}, annote = {Keywords: WCET analysis, multi-core, arbitration, shared resources} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Haluk Ozaktas, Christine Rochange, and Pascal Sainrat. Automatic WCET Analysis of Real-Time Parallel Applications. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 11-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{ozaktas_et_al:OASIcs.WCET.2013.11, author = {Ozaktas, Haluk and Rochange, Christine and Sainrat, Pascal}, title = {{Automatic WCET Analysis of Real-Time Parallel Applications}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {11--20}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.11}, URN = {urn:nbn:de:0030-drops-41186}, doi = {10.4230/OASIcs.WCET.2013.11}, annote = {Keywords: WCET analysis, parallel programming, thread synchronisation} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Dumitru Potop-Butucaru and Isabelle Puaut. Integrated Worst-Case Execution Time Estimation of Multicore Applications. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 21-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{potopbutucaru_et_al:OASIcs.WCET.2013.21, author = {Potop-Butucaru, Dumitru and Puaut, Isabelle}, title = {{Integrated Worst-Case Execution Time Estimation of Multicore Applications}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {21--31}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.21}, URN = {urn:nbn:de:0030-drops-41193}, doi = {10.4230/OASIcs.WCET.2013.21}, annote = {Keywords: WCET estimation, multicore architectures, parallel programming} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Mihail Asavoae, Claire Maiza, and Pascal Raymond. Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 32-41, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{asavoae_et_al:OASIcs.WCET.2013.32, author = {Asavoae, Mihail and Maiza, Claire and Raymond, Pascal}, title = {{Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {32--41}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.32}, URN = {urn:nbn:de:0030-drops-41209}, doi = {10.4230/OASIcs.WCET.2013.32}, annote = {Keywords: survey, WCET analysis, program semantics, model-based design, infeasible paths} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Hugues Cassé, Florian Birée, and Pascal Sainrat. Multi-architecture Value Analysis for Machine Code. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 42-52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{casse_et_al:OASIcs.WCET.2013.42, author = {Cass\'{e}, Hugues and Bir\'{e}e, Florian and Sainrat, Pascal}, title = {{Multi-architecture Value Analysis for Machine Code}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {42--52}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.42}, URN = {urn:nbn:de:0030-drops-41211}, doi = {10.4230/OASIcs.WCET.2013.42}, annote = {Keywords: machine code, static analysis, value analysis, semantics} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Armin Biere, Jens Knoop, Laura Kovács, and Jakob Zwirchmayr. The Auspicious Couple: Symbolic Execution and WCET Analysis. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 53-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{biere_et_al:OASIcs.WCET.2013.53, author = {Biere, Armin and Knoop, Jens and Kov\'{a}cs, Laura and Zwirchmayr, Jakob}, title = {{The Auspicious Couple: Symbolic Execution and WCET Analysis}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {53--63}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.53}, URN = {urn:nbn:de:0030-drops-41225}, doi = {10.4230/OASIcs.WCET.2013.53}, annote = {Keywords: WCET analysis, Symbolic execution, WCET refinement, Flow Facts} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Francisco J. Cazorla, Tullio Vardanega, Eduardo Quiñones, and Jaume Abella. Upper-bounding Program Execution Time with Extreme Value Theory. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 64-76, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{cazorla_et_al:OASIcs.WCET.2013.64, author = {Cazorla, Francisco J. and Vardanega, Tullio and Qui\~{n}ones, Eduardo and Abella, Jaume}, title = {{Upper-bounding Program Execution Time with Extreme Value Theory}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {64--76}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.64}, URN = {urn:nbn:de:0030-drops-41232}, doi = {10.4230/OASIcs.WCET.2013.64}, annote = {Keywords: WCET, Extreme Value Theory, Probabilistic, Deterministic} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Florian Haupenthal and Jörg Herter. PRADA: Predictable Allocations by Deferred Actions. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 77-86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{haupenthal_et_al:OASIcs.WCET.2013.77, author = {Haupenthal, Florian and Herter, J\"{o}rg}, title = {{PRADA: Predictable Allocations by Deferred Actions}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {77--86}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.77}, URN = {urn:nbn:de:0030-drops-41243}, doi = {10.4230/OASIcs.WCET.2013.77}, annote = {Keywords: Dynamic Memory Allocation, Worst-Case Execution-Time, Cache Predictability} }
Feedback for Dagstuhl Publishing