17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge" /> <meta name="google" content="notranslate"> <meta http-equiv="Content-Language" content="en"> <meta name="viewport" content="width=device-width, initial-scale=1" /> <meta name="csrf-token" content="WxBUB7E34VxMSYoI1tjhO80NDBIoRufsq5UWnhi9" /> <link rel="canonical" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-57" /> <title>17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)</title> <link rel="icon" href="https://drops.dagstuhl.de/favicon.ico" /> <link rel="stylesheet" href="https://drops.dagstuhl.de/css/app.css?drops-core-2024-10-22" /> </head> <body> <nav class="navbar main fixed-top navbar-expand-lg navbar-light bg-light"> <div class="container-fluid"> <a class="navbar-brand" href="https://www.dagstuhl.de"> <img class="lzi-logo" src="https://drops.dagstuhl.de/images/LZI-Logo.jpg" width="84" height=62" alt="Schloss Dagstuhl - LZI - Logo" /> </a> <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse" id="navbarSupportedContent"> <ul class="navbar-nav me-auto mb-2 mb-lg-0"> <li class="nav-item" style="white-space: nowrap"> <a class="nav-link" href="https://drops.dagstuhl.de"> <i class="bi bi-house large-icon"></i> DROPS </a> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownSeries" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-journals large-icon"></i> Series </a> <ul class="dropdown-menu" aria-labelledby="navbarDropdown"> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/LIPIcs"> LIPIcs – Leibniz International Proceedings in Informatics </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/OASIcs"> OASIcs – Open Access Series in Informatics </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/DFU"> Dagstuhl Follow-Ups </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/DagAnnRep"> Schloss Dagstuhl Jahresbericht </a> </li> <li class="dropdown-divider"></li> <li> <a class="dropdown-item" href="/#discontinued-series">Discontinued Series</a> </li> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownJournals" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-journal large-icon"></i> Journals </a> <ul class="dropdown-menu" aria-labelledby="navbarDropdown"> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DARTS"> DARTS – Dagstuhl Artifacts Series </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DagRep"> Dagstuhl Reports </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DagMan"> Dagstuhl Manifestos </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/LITES"> LITES – Leibniz Transactions on Embedded Systems </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/TGDK"> TGDK – Transactions on Graph Data and Knowledge </a> </li> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownConferences" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-people large-icon"></i> Conferences </a> <ul class="dropdown-menu conference-dropdown" aria-labelledby="navbarDropdown"> <div class="row"> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AFT"> AFT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AIB"> AIB </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AofA"> AofA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/APPROX"> APPROX </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ATMOS"> ATMOS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CALCO"> CALCO </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CCC"> CCC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CONCUR"> CONCUR </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/COSIT"> COSIT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CP"> CP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CPM"> CPM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CSL"> CSL </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DISC"> DISC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DITAM"> DITAM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DNA"> DNA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ECOOP"> ECOOP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ECRTS"> ECRTS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ESA"> ESA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FAB"> FAB </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FMBC"> FMBC </a> </li> </div> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FORC"> FORC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FSCD"> FSCD </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FSTTCS"> FSTTCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FUN"> FUN </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/GD"> GD </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/GIScience"> GIScience </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICALP"> ICALP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICDT"> ICDT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICPEC"> ICPEC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/IPEC"> IPEC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/iPMVM"> iPMVM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ISAAC"> ISAAC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITC"> ITC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITCS"> ITCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITP"> ITP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/LDK"> LDK </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/MFCS"> MFCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/Microservices"> Microservices </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/NG-RES"> NG-RES </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/OPODIS"> OPODIS </a> </li> </div> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/PARMA"> PARMA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/RANDOM"> RANDOM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SAND"> SAND </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SAT"> SAT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SEA"> SEA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SLATE"> SLATE </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SNAPL"> SNAPL </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SoCG"> SoCG </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/STACS"> STACS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SWAT"> SWAT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TIME"> TIME </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/Tokenomics"> Tokenomics </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TQC"> TQC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TYPES"> TYPES </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/WABI"> WABI </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/WCET"> WCET </a> </li> </div> </div> </ul> </li> <li class="nav-item"> <a class="nav-link" href="https://drops.dagstuhl.de/docs/about" id="navbarAbout"> <i class="bi bi-info-circle large-icon"></i><span class="nav-text-about-drops"> About DROPS</span> </a> </li> </ul> <form class="navbar-search d-flex" action="https://drops.dagstuhl.de/search" method="post"> <input type="hidden" name="_token" value="WxBUB7E34VxMSYoI1tjhO80NDBIoRufsq5UWnhi9" autocomplete="off"> <div class="input-group"> <input class="form-control" type="search" placeholder="Search" aria-label="Search" name="term" autocomplete="off" maxlength="600"> <button class="btn btn-outline-success" type="submit"> <i class="bi bi-search" style="color: #000"></i> </button> </div> </form> <ul class="navbar-nav nav-metadata"> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" id="navbarDropdownMetadata" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-database-down large-icon"></i><span class="nav-text-metadata">Metadata Export</span> </a> <ul class="dropdown-menu dropdown-metadata" aria-labelledby="navbarDropdownMetadata"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/metadata">Metadata Export</a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/oai?verb=Identify" target="_blank">OAI Interface</a> </li> </ul> </li> </ul> </div> </div> </nav> <div id="app" data-release="drops-core-2024-10-22" class="container "> <div id="_top-of-page"></div> <div class="fixed-search-button"><i class="bi bi-search"></i></div> <div class="volume-portal"> <br> <div class="entity-type volume"> <div> <span class="entity-type-name"> <i class="bi bi-book-half"></i> Volume </span> <span class="sharing-section"> <span class="sharing-buttons"> <span class="dropdown"> <a class="btn sharing-btn metadata dropdown-toggle" href="#" role="button" data-bs-toggle="dropdown" aria-expanded="false"><i class="bi bi-download"></i></a> <ul class="dropdown-menu dropdown-menu-end"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-57/metadata/xml"> Export XML </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-57/metadata/acm-xml"> Export ACM-XML </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-57/metadata/doaj-xml"> Export DOAJ-XML </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-57/metadata/schema-org"> Export Schema.org </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-57/metadata/bibtex"> Export BibTeX </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/volume/OASIcs-volume-57/metadata/html"> Export HTML </a> </li> </ul> </span> </span> </span> </div> </div> <hr> <div> <h4>OASIcs, Volume 57</h4> <h1>17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)</h1> </div> <section class="volume-issue-header mb-4"> <hr/> <section class="is-part-of"> <ul> <li> <span>Part of:</span> <span style="white-space: nowrap"> <i class="bi bi-journals"></i> Series: </span> <a href="https://drops.dagstuhl.de/entities/series/OASIcs">Open Access Series in Informatics (OASIcs)</a> <br> <span style="visibility: hidden">Part of:</span> <span style="white-space: nowrap"> <i class="bi bi-people"></i> Conference: </span> <a href="https://drops.dagstuhl.de/entities/conference/WCET">Workshop on Worst-Case Execution Time Analysis (WCET)</a> </li> </ul> </section> <hr/> <div class="mt-5 row"> <div class="col-lg-3 mb-3"> <section class="thumbnail"> <img src="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/thumbnails/OASIcs.WCET.2017/OASIcs.WCET.2017.png" alt="Thumbnail PDF" /> </section> </div> <div class="col-lg-6"> <section class="mb-5"> <h4>Event</h4> <a href="http://wcet2017.cs.uni-saarland.de/"> WCET 2017, June 27, 2017, Dubrovnik, Croatia </a> </section> <section class="editors mb-5"> <h4>Editor</h4> <div class="author person-details"> <div> <span class="name"><b>Jan Reineke</b></span> <a href="https://drops.dagstuhl.de/search/documents?author=Reineke, Jan"><small><i class="bi bi-search"></i></small></a> </div> <ul> </ul> </div> </section> </div> <div class="col-lg-3"> <section class="mb-5"> <h4>Publication Details</h4> <ul> <li>published at: 2017-06-23</li> <li>Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik</li> <li>ISBN: 978-3-95977-057-6</li> <li>DBLP: <a href="https://dblp.org/db/conf/wcet/wcet2017"> db/conf/wcet/wcet2017 </a> </li> </ul> </section> <br> <section> <h4>Access Numbers</h4> <ul> <li> <a href="#" class="btn-statistics" data-entity="volume/OASIcs-volume-57" data-title="17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)"> <i class="bi bi-graph-up"></i> Detailed Access Statistics available here </a> </li> <li> Total Document Accesses (updated on a weekly basis): <div class="stats-total"> <div class="stats total-downloads"> <div class="circle"> <div class="number" data-number="0">0</div> </div> <div class="label">PDF Downloads</div> </div> <div class="stats total-metadata-views"> <div class="circle"> <div class="number" data-number="0">0</div> </div> <div class="label">Metadata Views</div> </div> </div>  </li> </ul> </section> </div> </div> <div id="end-of-header"></div> </section> <div class="row mt-2"> <div class="col-sm-9 mt-2"> <h2>Documents <span class="btn badge color-dark _filter-info"></span></h2> <div class="documents"> <div class="no-results alert alert-danger -hidden"> No documents found matching your filter selection. </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="category">Complete Volume</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017">DOI: 10.4230/OASIcs.WCET.2017</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017/OASIcs.WCET.2017.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5462" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5462" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017" data-bs-toggle="tooltip" data-title="OASIcs, Volume 57, WCET'17, Complete Volume" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Reineke, Jan"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017"> OASIcs, Volume 57, WCET'17, Complete Volume </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Jan Reineke </p> <div class="row"> <div class="collapse" id="abstract-5462"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5462">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> OASIcs, Volume 57, WCET'17, Complete Volume </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5462"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5462">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5462-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@Proceedings{reineke:OASIcs.WCET.2017, title = {{OASIcs, Volume 57, WCET'17, Complete Volume}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017}, URN = {urn:nbn:de:0030-drops-73653}, doi = {10.4230/OASIcs.WCET.2017}, annote = {Keywords: Performance Analysis and Design Aids, Real-Time and Embedded Systems, Software/ Program Verification, \lbrackOrganization and Design\rbrack Real-Time Systems} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5462-input">@Proceedings{reineke:OASIcs.WCET.2017, title = {{OASIcs, Volume 57, WCET'17, Complete Volume}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017}, URN = {urn:nbn:de:0030-drops-73653}, doi = {10.4230/OASIcs.WCET.2017}, annote = {Keywords: Performance Analysis and Design Aids, Real-Time and Embedded Systems, Software/ Program Verification, \lbrackOrganization and Design\rbrack Real-Time Systems} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.0"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="category">Front Matter</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.0">DOI: 10.4230/OASIcs.WCET.2017.0</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.0/OASIcs.WCET.2017.0.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.0" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5463" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5463" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.0" data-bs-toggle="tooltip" data-title="Front Matter, Table of Contents, Preface, Committee" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Reineke, Jan"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.0"> Front Matter, Table of Contents, Preface, Committee </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Jan Reineke </p> <div class="row"> <div class="collapse" id="abstract-5463"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5463">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Front Matter, Table of Contents, Preface, Committee </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5463"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5463">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5463-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{reineke:OASIcs.WCET.2017.0, author = {Reineke, Jan}, title = {{Front Matter, Table of Contents, Preface, Committee}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {0:i--0:x}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.0}, URN = {urn:nbn:de:0030-drops-73026}, doi = {10.4230/OASIcs.WCET.2017.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Committee} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5463-input">@InProceedings{reineke:OASIcs.WCET.2017.0, author = {Reineke, Jan}, title = {{Front Matter, Table of Contents, Preface, Committee}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {0:i--0:x}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.0}, URN = {urn:nbn:de:0030-drops-73026}, doi = {10.4230/OASIcs.WCET.2017.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Committee} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.1"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.1">DOI: 10.4230/OASIcs.WCET.2017.1</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.1/OASIcs.WCET.2017.1.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.1" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5464" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5464" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.1" data-bs-toggle="tooltip" data-title="STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Rouxel, Benjamin"></span> <span data-key="dagstuhl.contributor.author" data-value="Puaut, Isabelle"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.1"> STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Benjamin Rouxel and Isabelle Puaut </p> <div class="row"> <div class="collapse" id="abstract-5464"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5464">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> We all had quite a time to find non-proprietary architecture-independent exploitable parallel benchmarks for Worst-Case Execution Time (WCET) estimation and real-time scheduling. However, there is no consensus on a parallel benchmark suite, when compared to the single-core era and the Mälardalen benchmark suite. This document bridges part of this gap, by presenting a collection of benchmarks with the following good properties: (i) easily analyzable by static WCET estimation tools (written in structured C language, in particular neither goto nor dynamic memory allocation, containing flow information such as loop bounds); (ii) independent from any particular run-time system (MPI, OpenMP) or real-time operating system. Each benchmark is composed of the C source code of its tasks, and an XML description describing the structure of the application (tasks and amount of data exchanged between them when applicable). Each benchmark can be integrated in a full end-to-end empirical method validation protocol on multi-core architecture. This proposed collection of benchmarks is derived from the well known StreamIT [Thies et al., Comp. Constr., 2002] benchmark suite and will be integrated in the TACleBench suite [Falk et al., WCET, 2016] in a near future. All these benchmarks are available at https://gitlab.inria.fr/brouxel/STR2RTS. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5464"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5464">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Benjamin Rouxel and Isabelle Puaut. STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 1:1-1:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5464-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{rouxel_et_al:OASIcs.WCET.2017.1, author = {Rouxel, Benjamin and Puaut, Isabelle}, title = {{STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation \& Real-Time Scheduling}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {1:1--1:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.1}, URN = {urn:nbn:de:0030-drops-73047}, doi = {10.4230/OASIcs.WCET.2017.1}, annote = {Keywords: Parallel benchmarks, Tasks scheduling, Worst-Case Execution Time estimation} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5464-input">@InProceedings{rouxel_et_al:OASIcs.WCET.2017.1, author = {Rouxel, Benjamin and Puaut, Isabelle}, title = {{STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation \& Real-Time Scheduling}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {1:1--1:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.1}, URN = {urn:nbn:de:0030-drops-73047}, doi = {10.4230/OASIcs.WCET.2017.1}, annote = {Keywords: Parallel benchmarks, Tasks scheduling, Worst-Case Execution Time estimation} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.2"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.2">DOI: 10.4230/OASIcs.WCET.2017.2</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.2/OASIcs.WCET.2017.2.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.2" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5465" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5465" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.2" data-bs-toggle="tooltip" data-title="Best Practice for Caching of Single-Path Code" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Schoeberl, Martin"></span> <span data-key="dagstuhl.contributor.author" data-value="Cilku, Bekim"></span> <span data-key="dagstuhl.contributor.author" data-value="Prokesch, Daniel"></span> <span data-key="dagstuhl.contributor.author" data-value="Puschner, Peter"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.2"> Best Practice for Caching of Single-Path Code </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Martin Schoeberl, Bekim Cilku, Daniel Prokesch, and Peter Puschner </p> <div class="row"> <div class="collapse" id="abstract-5465"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5465">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Single-path code has some unique properties that make it interesting to explore different caching and prefetching alternatives for the stream of instructions. In this paper, we explore different cache organizations and how they perform with single-path code. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5465"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5465">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Martin Schoeberl, Bekim Cilku, Daniel Prokesch, and Peter Puschner. Best Practice for Caching of Single-Path Code. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 2:1-2:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5465-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{schoeberl_et_al:OASIcs.WCET.2017.2, author = {Schoeberl, Martin and Cilku, Bekim and Prokesch, Daniel and Puschner, Peter}, title = {{Best Practice for Caching of Single-Path Code}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {2:1--2:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.2}, URN = {urn:nbn:de:0030-drops-73050}, doi = {10.4230/OASIcs.WCET.2017.2}, annote = {Keywords: single-path code, method cache, prefetching} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5465-input">@InProceedings{schoeberl_et_al:OASIcs.WCET.2017.2, author = {Schoeberl, Martin and Cilku, Bekim and Prokesch, Daniel and Puschner, Peter}, title = {{Best Practice for Caching of Single-Path Code}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {2:1--2:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.2}, URN = {urn:nbn:de:0030-drops-73050}, doi = {10.4230/OASIcs.WCET.2017.2}, annote = {Keywords: single-path code, method cache, prefetching} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.3"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.3">DOI: 10.4230/OASIcs.WCET.2017.3</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.3/OASIcs.WCET.2017.3.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.3" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5466" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5466" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.3" data-bs-toggle="tooltip" data-title="On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Guet, Fabrice"></span> <span data-key="dagstuhl.contributor.author" data-value="Santinelli, Luca"></span> <span data-key="dagstuhl.contributor.author" data-value="Morio, Jerome"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.3"> On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Fabrice Guet, Luca Santinelli, and Jerome Morio </p> <div class="row"> <div class="collapse" id="abstract-5466"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5466">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> The Measurement-Based Probabilistic Timing Analysis (MBPTA) infers probabilistic Worst-Case Execution Time (pWCET) estimates from measurements of tasks execution times; the Extreme Value Theory (EVT) is the statistical tool that MBPTA applies for inferring worst-cases from observations/measurements of the actual task behavior. MBPTA and EVT capability of estimating safe/pessimistic pWCET rely on the quality of the measurements; in particular, execution time measurements have to be representative of the actual system execution conditions and have to cover multiple possible execution conditions. In this work, we investigate statistical dependences between execution time measurements and tasks with multiple runtime operational modes. In the first case, we outline the effects of dependences on the EVT applicability as well as on the quality of the pWCET estimates. In the second case, we propose the best approaches to account for the different task execution modes and guaranteeing safe pWCET estimates that cover them all. The solutions proposed are validated with test cases. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5466"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5466">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Fabrice Guet, Luca Santinelli, and Jerome Morio. On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 3:1-3:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5466-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{guet_et_al:OASIcs.WCET.2017.3, author = {Guet, Fabrice and Santinelli, Luca and Morio, Jerome}, title = {{On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {3:1--3: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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.3}, URN = {urn:nbn:de:0030-drops-73084}, doi = {10.4230/OASIcs.WCET.2017.3}, annote = {Keywords: Measurement-Based Probabilistic Timing Analysis, probabilistic Worst-Case Execution Time, Extreme Value Theory, Execution Time Measurements Representa} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5466-input">@InProceedings{guet_et_al:OASIcs.WCET.2017.3, author = {Guet, Fabrice and Santinelli, Luca and Morio, Jerome}, title = {{On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {3:1--3: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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.3}, URN = {urn:nbn:de:0030-drops-73084}, doi = {10.4230/OASIcs.WCET.2017.3}, annote = {Keywords: Measurement-Based Probabilistic Timing Analysis, probabilistic Worst-Case Execution Time, Extreme Value Theory, Execution Time Measurements Representa} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.4"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.4">DOI: 10.4230/OASIcs.WCET.2017.4</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.4/OASIcs.WCET.2017.4.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.4" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5467" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5467" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.4" data-bs-toggle="tooltip" data-title="Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption Point Scheduling" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Markovic, Filip"></span> <span data-key="dagstuhl.contributor.author" data-value="Carlson, Jan"></span> <span data-key="dagstuhl.contributor.author" data-value="Dobrin, Radu"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.4"> Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption Point Scheduling </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Filip Markovic, Jan Carlson, and Radu Dobrin </p> <div class="row"> <div class="collapse" id="abstract-5467"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5467">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Limited Preemptive Fixed Preemption Point scheduling (LP-FPP) has the ability to decrease and control the preemption-related overheads in the real-time task systems, compared to other limited or fully preemptive scheduling approaches. However, existing methods for computing the preemption overheads in LP-FPP systems rely on over-approximation of the evicting cache blocks (ECB) calculations, potentially leading to pessimistic schedulability analysis. In this paper, we propose a novel method for preemption cost calculation that exploits the benefits of the LP-FPP task model both at the scheduling and cache analysis level. The method identifies certain infeasible preemption combinations, based on analysis on the scheduling level, and combines it with cache analysis information into a constraint problem from which less pessimistic upper bounds on cache-related preemption delays (CRPD) can be derived. The evaluation results indicate that our proposed method has the potential to significantly reduce the upper bound on CRPD, by up to 50% in our experiments, compared to the existing over-approximating calculations of the eviction scenarios. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5467"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5467">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Filip Markovic, Jan Carlson, and Radu Dobrin. Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption Point Scheduling. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 4:1-4:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5467-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{markovic_et_al:OASIcs.WCET.2017.4, author = {Markovic, Filip and Carlson, Jan and Dobrin, Radu}, title = {{Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption Point Scheduling}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {4:1--4:11}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.4}, URN = {urn:nbn:de:0030-drops-73066}, doi = {10.4230/OASIcs.WCET.2017.4}, annote = {Keywords: Real-time systems, CRPD Analysis, WCET analysis, Limited Preemptive Scheduling, Fixed Preemption Point Approach} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5467-input">@InProceedings{markovic_et_al:OASIcs.WCET.2017.4, author = {Markovic, Filip and Carlson, Jan and Dobrin, Radu}, title = {{Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption Point Scheduling}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {4:1--4:11}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.4}, URN = {urn:nbn:de:0030-drops-73066}, doi = {10.4230/OASIcs.WCET.2017.4}, annote = {Keywords: Real-time systems, CRPD Analysis, WCET analysis, Limited Preemptive Scheduling, Fixed Preemption Point Approach} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.5"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.5">DOI: 10.4230/OASIcs.WCET.2017.5</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.5/OASIcs.WCET.2017.5.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.5" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5468" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5468" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.5" data-bs-toggle="tooltip" data-title="Early WCET Prediction Using Machine Learning" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Bonenfant, Armelle"></span> <span data-key="dagstuhl.contributor.author" data-value="Claraz, Denis"></span> <span data-key="dagstuhl.contributor.author" data-value="de Michiel, Marianne"></span> <span data-key="dagstuhl.contributor.author" data-value="Sotin, Pascal"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.5"> Early WCET Prediction Using Machine Learning </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Armelle Bonenfant, Denis Claraz, Marianne de Michiel, and Pascal Sotin </p> <div class="row"> <div class="collapse" id="abstract-5468"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5468">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> For delivering a precise Worst Case Execution Time (WCET), the WCET static analysers need the executable program and the target architecture. However, a prediction (even coarse) of the future WCET would be helpful at design stages where only the source code is available. We investigate the possibility of creating predictors of the WCET based on the C source code using machine-learning (work in progress). If successful, our proposal would offer to the designer precious information on the WCET of a piece of code at the early stages of the development process. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5468"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5468">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Armelle Bonenfant, Denis Claraz, Marianne de Michiel, and Pascal Sotin. Early WCET Prediction Using Machine Learning. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 5:1-5:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5468-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{bonenfant_et_al:OASIcs.WCET.2017.5, author = {Bonenfant, Armelle and Claraz, Denis and de Michiel, Marianne and Sotin, Pascal}, title = {{Early WCET Prediction Using Machine Learning}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {5:1--5:9}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.5}, URN = {urn:nbn:de:0030-drops-73073}, doi = {10.4230/OASIcs.WCET.2017.5}, annote = {Keywords: Early WCET, Machine Learning, Static Analysis, C Language} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5468-input">@InProceedings{bonenfant_et_al:OASIcs.WCET.2017.5, author = {Bonenfant, Armelle and Claraz, Denis and de Michiel, Marianne and Sotin, Pascal}, title = {{Early WCET Prediction Using Machine Learning}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {5:1--5:9}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.5}, URN = {urn:nbn:de:0030-drops-73073}, doi = {10.4230/OASIcs.WCET.2017.5}, annote = {Keywords: Early WCET, Machine Learning, Static Analysis, C Language} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.6"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.6">DOI: 10.4230/OASIcs.WCET.2017.6</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.6/OASIcs.WCET.2017.6.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.6" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5469" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5469" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.6" data-bs-toggle="tooltip" data-title="Worst-Case Execution Time Analysis of Predicated Architectures" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Brandner, Florian"></span> <span data-key="dagstuhl.contributor.author" data-value="Naji, Amine"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.6"> Worst-Case Execution Time Analysis of Predicated Architectures </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Florian Brandner and Amine Naji </p> <div class="row"> <div class="collapse" id="abstract-5469"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5469">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> The time-predictable design of computer architectures for the use in (hard) real-time systems is becoming more and more important, due to the increasing complexity of modern computer architectures. The design of predictable processor pipelines recently received considerable attention. The goal here is to find a trade-off between predictability and computing power. Branches and jumps are particularly problematic for high-performance processors. For one, branches are executed late in the pipeline. This either leads to high branch penalties (flushing) or complex software/hardware techniques (branch predictors). Another side-effect of branches is that they make it difficult to exploit instruction-level parallelism due to control dependencies. Predicated computer architectures allow to attach a predicate to the instructions in a program. An instruction is then only executed when the predicate evaluates to true and otherwise behaves like a simple nop instruction. Predicates can thus be used to convert control dependencies into data dependencies, which helps to address both of the aforementioned problems. A downside of predicated instructions is the precise worst-case execution time (WCET) analysis of programs making use of them. Predicated memory accesses, for instance, may or may not have an impact on the processor's cache and thus need to be considered by the cache analysis. Predication potentially has an impact on all analysis phases of a WCET analysis tool. We thus explore a preprocessing step that explicitly unfolds the control-flow graph, which allows us to apply standard analyses that are themselves not aware of predication. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5469"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5469">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Florian Brandner and Amine Naji. Worst-Case Execution Time Analysis of Predicated Architectures. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 6:1-6:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5469-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{brandner_et_al:OASIcs.WCET.2017.6, author = {Brandner, Florian and Naji, Amine}, title = {{Worst-Case Execution Time Analysis of Predicated Architectures}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {6:1--6: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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.6}, URN = {urn:nbn:de:0030-drops-73103}, doi = {10.4230/OASIcs.WCET.2017.6}, annote = {Keywords: Predication, Worst-Case Execution Time Analysis, Real-Time Systems} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5469-input">@InProceedings{brandner_et_al:OASIcs.WCET.2017.6, author = {Brandner, Florian and Naji, Amine}, title = {{Worst-Case Execution Time Analysis of Predicated Architectures}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {6:1--6: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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.6}, URN = {urn:nbn:de:0030-drops-73103}, doi = {10.4230/OASIcs.WCET.2017.6}, annote = {Keywords: Predication, Worst-Case Execution Time Analysis, Real-Time Systems} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.7"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.7">DOI: 10.4230/OASIcs.WCET.2017.7</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.7/OASIcs.WCET.2017.7.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.7" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5470" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5470" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.7" data-bs-toggle="tooltip" data-title="Towards Multicore WCET Analysis" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Wegener, Simon"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.7"> Towards Multicore WCET Analysis </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Simon Wegener </p> <div class="row"> <div class="collapse" id="abstract-5470"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5470">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> AbsInt is the leading provider of commercial tools for static code-level timing analysis. Its aiT Worst-Case Execution Time Analyzer computes tight bounds for the WCET of tasks in embedded real-time systems. However, the results only incorporate the core-local latencies, i.e. interference delays due to other cores in a multicore system are ignored. This paper presents some of the work we have done towards multicore WCET analysis. We look into both static and measurement-based timing analysis for COTS multicore systems. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5470"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5470">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Simon Wegener. Towards Multicore WCET Analysis. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 7:1-7:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5470-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{wegener:OASIcs.WCET.2017.7, author = {Wegener, Simon}, title = {{Towards Multicore WCET Analysis}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {7:1--7:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.7}, URN = {urn:nbn:de:0030-drops-73113}, doi = {10.4230/OASIcs.WCET.2017.7}, annote = {Keywords: Worst-Case Execution Time (WCET) Analysis for Multicore Processors, Real-time Systems} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5470-input">@InProceedings{wegener:OASIcs.WCET.2017.7, author = {Wegener, Simon}, title = {{Towards Multicore WCET Analysis}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {7:1--7:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.7}, URN = {urn:nbn:de:0030-drops-73113}, doi = {10.4230/OASIcs.WCET.2017.7}, annote = {Keywords: Worst-Case Execution Time (WCET) Analysis for Multicore Processors, Real-time Systems} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.8"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.8">DOI: 10.4230/OASIcs.WCET.2017.8</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.8/OASIcs.WCET.2017.8.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.8" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5471" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5471" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.8" data-bs-toggle="tooltip" data-title="The Heptane Static Worst-Case Execution Time Estimation Tool" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Hardy, Damien"></span> <span data-key="dagstuhl.contributor.author" data-value="Rouxel, Benjamin"></span> <span data-key="dagstuhl.contributor.author" data-value="Puaut, Isabelle"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.8"> The Heptane Static Worst-Case Execution Time Estimation Tool </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Damien Hardy, Benjamin Rouxel, and Isabelle Puaut </p> <div class="row"> <div class="collapse" id="abstract-5471"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5471">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Estimation of worst-case execution times (WCETs) is required to validate the temporal behavior of hard real time systems. Heptane is an open-source software program that estimates upper bounds of execution times on MIPS and ARM v7 architectures, offered to the WCET estimation community to experiment new WCET estimation techniques. The software architecture of Heptane was designed to be as modular and extensible as possible to facilitate the integration of new approaches. This paper is devoted to a description of Heptane, and includes information on the analyses it implements, how to use it and extend it. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5471"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5471">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Damien Hardy, Benjamin Rouxel, and Isabelle Puaut. The Heptane Static Worst-Case Execution Time Estimation Tool. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 8:1-8:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5471-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{hardy_et_al:OASIcs.WCET.2017.8, author = {Hardy, Damien and Rouxel, Benjamin and Puaut, Isabelle}, title = {{The Heptane Static Worst-Case Execution Time Estimation Tool}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {8:1--8:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.8}, URN = {urn:nbn:de:0030-drops-73033}, doi = {10.4230/OASIcs.WCET.2017.8}, annote = {Keywords: Worst-Case Execution Time Estimation, Static Analysis, WCET Estimation Tool, Implicit Path Enumeration Technique} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5471-input">@InProceedings{hardy_et_al:OASIcs.WCET.2017.8, author = {Hardy, Damien and Rouxel, Benjamin and Puaut, Isabelle}, title = {{The Heptane Static Worst-Case Execution Time Estimation Tool}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {8:1--8:12}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.8}, URN = {urn:nbn:de:0030-drops-73033}, doi = {10.4230/OASIcs.WCET.2017.8}, annote = {Keywords: Worst-Case Execution Time Estimation, Static Analysis, WCET Estimation Tool, Implicit Path Enumeration Technique} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.9"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.9">DOI: 10.4230/OASIcs.WCET.2017.9</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.9/OASIcs.WCET.2017.9.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.9" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5472" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5472" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.9" data-bs-toggle="tooltip" data-title="The W-SEPT Project: Towards Semantic-Aware WCET Estimation" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Maiza, Claire"></span> <span data-key="dagstuhl.contributor.author" data-value="Raymond, Pascal"></span> <span data-key="dagstuhl.contributor.author" data-value="Parent-Vigouroux, Catherine"></span> <span data-key="dagstuhl.contributor.author" data-value="Bonenfant, Armelle"></span> <span data-key="dagstuhl.contributor.author" data-value="Carrier, Fabienne"></span> <span data-key="dagstuhl.contributor.author" data-value="Cassé, Hugues"></span> <span data-key="dagstuhl.contributor.author" data-value="Cuenot, Philippe"></span> <span data-key="dagstuhl.contributor.author" data-value="Claraz, Denis"></span> <span data-key="dagstuhl.contributor.author" data-value="Halbwachs, Nicolas"></span> <span data-key="dagstuhl.contributor.author" data-value="Jahier, Erwan"></span> <span data-key="dagstuhl.contributor.author" data-value="Li, Hanbing"></span> <span data-key="dagstuhl.contributor.author" data-value="de Michiel, Marianne"></span> <span data-key="dagstuhl.contributor.author" data-value="Mussot, Vincent"></span> <span data-key="dagstuhl.contributor.author" data-value="Puaut, Isabelle"></span> <span data-key="dagstuhl.contributor.author" data-value="Rochange, Christine"></span> <span data-key="dagstuhl.contributor.author" data-value="Rohou, Erven"></span> <span data-key="dagstuhl.contributor.author" data-value="Ruiz, Jordy"></span> <span data-key="dagstuhl.contributor.author" data-value="Sotin, Pascal"></span> <span data-key="dagstuhl.contributor.author" data-value="Sun, Wei-Tsun"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.9"> The W-SEPT Project: Towards Semantic-Aware WCET Estimation </a> </h5> <p class="card-text small authors"> <b>Authors:</b> 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 </p> <div class="row"> <div class="collapse" id="abstract-5472"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5472">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> Critical embedded systems are generally composed of repetitive tasks that must meet hard timing constraints, such as termination deadlines. Providing an upper bound of the worst-case execution time (WCET) of such tasks at design time is necessary to guarantee the correctness of the system. In static WCET analysis, a main source of over-approximation comes from the complexity of the modern hardware platforms: their timing behavior tends to become more unpredictable because of features like caches, pipeline, branch prediction, etc. Another source of over-approximation comes from the software itself: WCET analysis may consider potential worst-cases executions that are actually infeasible, because of the semantics of the program or because they correspond to unrealistic inputs. The W-SEPT project, for "WCET, Semantics, Precision and Traceability", has been carried out to study and exploit the influence of program semantics on the WCET estimation. This paper presents the results of this project : a semantic-aware WCET estimation workflow for high-level designed systems. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5472"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5472">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">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)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5472-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@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.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} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5472-input">@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.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} }</textarea> </div> </div> </div> </div> <div class="entity-list-item document card m-3" data-show="1" data-permanent-id="document/10.4230/OASIcs.WCET.2017.10"> <div class="entity-type"><i class="bi bi-file-earmark"></i> Document</div> <div class="doi"><a href="https://doi.org/10.4230/OASIcs.WCET.2017.10">DOI: 10.4230/OASIcs.WCET.2017.10</a></div> <aside> <a class="icon-btn" style="color: red" href="https://drops.dagstuhl.de/storage/01oasics/oasics-vol057_wcet2017/OASIcs.WCET.2017.10/OASIcs.WCET.2017.10.pdf" data-bs-toggle="tooltip" title="View PDF"><i class="bi bi-file-earmark-pdf-fill"></i></a><a class="icon-btn" style="color: #0d6efd!important;" href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.10" data-bs-toggle="tooltip" title="View Detailed Metadata"><i class="bi bi-info-circle"></i></a><br/> <a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#abstract-5473" aria-expanded="false" aria-controls="collapseAbstract" title="Show Abstract"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show Abstract"><i class="bi bi-card-text"></i></span></a><a class="icon-btn investigation" href="#" data-bs-toggle="collapse" data-bs-target="#bibtex-5473" aria-expanded="false" aria-controls="collapseBibtex" title="Show BibTex"><span class="tooltip-wrapper" data-bs-toggle="tooltip" title="Show BibTex"><i class="bi bi-chat-left-quote"></i></a><br/><a class="icon-btn btn-statistics" data-entity="document/10.4230/OASIcs.WCET.2017.10" data-bs-toggle="tooltip" data-title="The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms" href="#" title="Access Statistics"><i class="bi bi-graph-up"></i></a> </aside> <div class="selectors"> <span data-key="dagstuhl.contributor.author" data-value="Nelis, Vincent"></span> <span data-key="dagstuhl.contributor.author" data-value="Yomsi, Patrick Meumeu"></span> <span data-key="dagstuhl.contributor.author" data-value="Pinho, Luís Miguel"></span> </div> <div class="card-body"> <h5 class="card-title"> <a href="https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.10"> The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms </a> </h5> <p class="card-text small authors"> <b>Authors:</b> Vincent Nelis, Patrick Meumeu Yomsi, and Luís Miguel Pinho </p> <div class="row"> <div class="collapse" id="abstract-5473"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#abstract-5473">Abstract <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <div class="abstract monospace"> This paper presents the timing analysis methodology developed in the European project P-SOCRATES (Parallel Software Framework for Time-Critical Many-core Systems). This timing analysis methodology is defined for parallel applications that must satisfy both performance and real-time requirements and are executed on modern many-core processor architectures. We discuss the motivation and objectives of the project, the timing analysis flow that we proposed, the tool that has been developed to automatize it, and finally we report on some of the preliminary results that we have obtained when applying this methodology to the three application use-cases of the project. </div> </div> </div> <div class="row"> <div class="collapse" id="bibtex-5473"> <hr/> <h5 data-bs-toggle="collapse" data-bs-target="#bibtex-5473">Cite as <span style="float: right; cursor: pointer"><i class="bi bi-chevron-up"></i></span></h5> <p class="small">Vincent Nelis, Patrick Meumeu Yomsi, and Luís Miguel Pinho. The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 10:1-10:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)</p> <hr/> <a href="#" class="btn btn-primary btn-xs copy-to-clipboard" title="Copy to clipboard" data-selector="bibtex-5473-input"><i class="bi bi-clipboard"></i> Copy BibTex To Clipboard<span class="bi bi-check -hidden" style="padding-left: 1em; font-weight: bold"></span></a><br/><br/> <pre class="bibtex">@InProceedings{nelis_et_al:OASIcs.WCET.2017.10, author = {Nelis, Vincent and Yomsi, Patrick Meumeu and Pinho, Lu{\'\i}s Miguel}, title = {{The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {10:1--10:9}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.10}, URN = {urn:nbn:de:0030-drops-73120}, doi = {10.4230/OASIcs.WCET.2017.10}, annote = {Keywords: Timing analysis, many-core platform} }</pre> <textarea style="position: absolute; top: 200vh" id="bibtex-5473-input">@InProceedings{nelis_et_al:OASIcs.WCET.2017.10, author = {Nelis, Vincent and Yomsi, Patrick Meumeu and Pinho, Lu{\'\i}s Miguel}, title = {{The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {10:1--10:9}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.10}, URN = {urn:nbn:de:0030-drops-73120}, doi = {10.4230/OASIcs.WCET.2017.10}, annote = {Keywords: Timing analysis, many-core platform} }</textarea> </div> </div> </div> </div> </div> </div> <div class="col-sm-3 mt-2"> <h2>Filters</h2> <div class="free-text-filter mb-4"> <div class="input-group"> <input class="form-control no-outline" type="search" placeholder="Free Text Filter" aria-label="Free Text Filter" id="free-text-filter" maxlength="300"> </div> </div> <div class="grouped-metadata-filter" data-filter-key="dagstuhl.contributor.author"> <ul class="list-group"> <li class="list-group-item filter-headline list-group-item-dark"> <b><span class="count"></span> Authors</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item filter-item pinned -hidden" data-value="" data-key=""> <i class="bi bi-pin-angle-fill"></i> <span class="value"></span> <span class="action"><i><i class="bi bi-x-circle"></i></i></span> </li> <li class="list-group-item details buttons"> <span class="btn-group" role="group" aria-label="Show-All/Collapse"> <button type="button" class="btn btn-primary">Show All</button> <button type="button" class="btn btn-secondary">Collapse</button> </span> </li> <li class="list-group-item details show-all -hidden"> <button type="button" class="btn btn-primary">Show All</button> </li> <li class="list-group-item details filter-group-headline -expanded " data-group-selector="dagstuhl.contributor.author.B"> <b>B</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.contributor.author" data-value="Bonenfant, Armelle" data-group-selector="dagstuhl.contributor.author.B"> Bonenfant, Armelle <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value " data-key="dagstuhl.contributor.author" data-value="Brandner, Florian" data-group-selector="dagstuhl.contributor.author.B"> Brandner, Florian <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.C"> <b>C</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Carlson, Jan" data-group-selector="dagstuhl.contributor.author.C"> Carlson, Jan <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Carrier, Fabienne" data-group-selector="dagstuhl.contributor.author.C"> Carrier, Fabienne <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Cassé, Hugues" data-group-selector="dagstuhl.contributor.author.C"> Cassé, Hugues <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Cilku, Bekim" data-group-selector="dagstuhl.contributor.author.C"> Cilku, Bekim <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Claraz, Denis" data-group-selector="dagstuhl.contributor.author.C"> Claraz, Denis <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Cuenot, Philippe" data-group-selector="dagstuhl.contributor.author.C"> Cuenot, Philippe <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.D"> <b>D</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="de Michiel, Marianne" data-group-selector="dagstuhl.contributor.author.D"> de Michiel, Marianne <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Dobrin, Radu" data-group-selector="dagstuhl.contributor.author.D"> Dobrin, Radu <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.G"> <b>G</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Guet, Fabrice" data-group-selector="dagstuhl.contributor.author.G"> Guet, Fabrice <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.H"> <b>H</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Halbwachs, Nicolas" data-group-selector="dagstuhl.contributor.author.H"> Halbwachs, Nicolas <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Hardy, Damien" data-group-selector="dagstuhl.contributor.author.H"> Hardy, Damien <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.J"> <b>J</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Jahier, Erwan" data-group-selector="dagstuhl.contributor.author.J"> Jahier, Erwan <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.L"> <b>L</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Li, Hanbing" data-group-selector="dagstuhl.contributor.author.L"> Li, Hanbing <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.M"> <b>M</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Maiza, Claire" data-group-selector="dagstuhl.contributor.author.M"> Maiza, Claire <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Markovic, Filip" data-group-selector="dagstuhl.contributor.author.M"> Markovic, Filip <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Morio, Jerome" data-group-selector="dagstuhl.contributor.author.M"> Morio, Jerome <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Mussot, Vincent" data-group-selector="dagstuhl.contributor.author.M"> Mussot, Vincent <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.N"> <b>N</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Naji, Amine" data-group-selector="dagstuhl.contributor.author.N"> Naji, Amine <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Nelis, Vincent" data-group-selector="dagstuhl.contributor.author.N"> Nelis, Vincent <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.P"> <b>P</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Parent-Vigouroux, Catherine" data-group-selector="dagstuhl.contributor.author.P"> Parent-Vigouroux, Catherine <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Pinho, Luís Miguel" data-group-selector="dagstuhl.contributor.author.P"> Pinho, Luís Miguel <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Prokesch, Daniel" data-group-selector="dagstuhl.contributor.author.P"> Prokesch, Daniel <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Puaut, Isabelle" data-group-selector="dagstuhl.contributor.author.P"> Puaut, Isabelle <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Puschner, Peter" data-group-selector="dagstuhl.contributor.author.P"> Puschner, Peter <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.R"> <b>R</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Raymond, Pascal" data-group-selector="dagstuhl.contributor.author.R"> Raymond, Pascal <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Reineke, Jan" data-group-selector="dagstuhl.contributor.author.R"> Reineke, Jan <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Rochange, Christine" data-group-selector="dagstuhl.contributor.author.R"> Rochange, Christine <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Rohou, Erven" data-group-selector="dagstuhl.contributor.author.R"> Rohou, Erven <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Rouxel, Benjamin" data-group-selector="dagstuhl.contributor.author.R"> Rouxel, Benjamin <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Ruiz, Jordy" data-group-selector="dagstuhl.contributor.author.R"> Ruiz, Jordy <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.S"> <b>S</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Santinelli, Luca" data-group-selector="dagstuhl.contributor.author.S"> Santinelli, Luca <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Schoeberl, Martin" data-group-selector="dagstuhl.contributor.author.S"> Schoeberl, Martin <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Sotin, Pascal" data-group-selector="dagstuhl.contributor.author.S"> Sotin, Pascal <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Sun, Wei-Tsun" data-group-selector="dagstuhl.contributor.author.S"> Sun, Wei-Tsun <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.W"> <b>W</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Wegener, Simon" data-group-selector="dagstuhl.contributor.author.W"> Wegener, Simon <span class="action"><i class="bi bi-plus-circle"></i></span> </li> <li class="list-group-item details filter-group-headline " data-group-selector="dagstuhl.contributor.author.Y"> <b>Y</b> <span style="float: right;"><i class="bi bi-chevron-down"></i><i class="bi bi-chevron-up"></i></span> </li> <li class="list-group-item details filter-item value -hidden " data-key="dagstuhl.contributor.author" data-value="Yomsi, Patrick Meumeu" data-group-selector="dagstuhl.contributor.author.Y"> Yomsi, Patrick Meumeu <span class="action"><i class="bi bi-plus-circle"></i></span> </li> </ul> </div> <br /> <div class="grouped-metadata-filter" data-filter-key="dagstuhl.subject.classification"> </div> </div> </div> <div class="offcanvas offcanvas-bottom" tabindex="-1" id="statistics-offcanvas" aria-labelledby="statistics-offcanvas"> <div class="offcanvas-header"> <h5 class="offcanvas-title"></h5> <button type="button" class="btn-close text-reset" data-bs-dismiss="offcanvas" aria-label="Close"></button> </div> <div class="offcanvas-body small" data-context="17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)"> <div style="margin-top: 20vh" class="centered-loader"><div class="loader"></div></div> <iframe class="-hidden"></iframe> </div> </div> </div> </div> <span class="_feedback-button"> <i class="bi bi-question-circle"></i> <span class="text">Questions / Remarks / Feedback</span> </span> <div class="_feedback-form -hidden"> <span class="_feedback-close">X</span> <p>Feedback for Dagstuhl Publishing</p> <div> <textarea class="form-control" name="_feedback"></textarea> <input class="form-control" type="text" name="name" autocomplete="off" placeholder="Name (optional)" maxlength="60" /> <input class="form-control" type="email" name="email" autocomplete="off" placeholder="Email (optional)" maxlength="60" /> <br/> <button class="btn btn-sm btn-default">Send</button> </div> </div> <div class="alert alert-success _feedback-success -hidden"> <span class="glyphicon glyphicon-ok"></span> <h3>Thanks for your feedback!</h3> <div>Feedback submitted</div> <button class="btn btn-white _feedback-done">OK</button> </div> <div class="alert alert-danger _feedback-error -hidden"> <span class="glyphicon glyphicon-remove"></span> <h3>Could not send message</h3> <div>Please try again later or send an <a href="mailto:publishing@dagstuhl.de">E-mail</a></div> <button class="btn btn-white _feedback-done">OK</button> </div> <a class="scroll-up-button -hidden" href="#_top-of-page"> <i class="bi bi-arrow-up-circle"></i> </a> <footer class="page-footer dark"> <div class="container"> <h5>About DROPS</h5> <p>Schloss Dagstuhl - Leibniz Center for Informatics has been operating the Dagstuhl Research Online Publication Server (short: DROPS) since 2004. DROPS enables publication of the latest research findings in a fast, uncomplicated manner, in addition to providing unimpeded, open access to them. All the requisite metadata on each publication is administered in accordance with general guidelines pertaining to online publications (cf. Dublin Core). This enables the online publications to be authorized for citation and made accessible to a wide readership on a permanent basis. Access is free of charge for readers following the open access idea which fosters unimpeded access to scientific publications. </p> </div> <div class="container"> <div class="row"> <div class="col-lg-6"> <h5>Instructions for Authors</h5> <div class="row"> <div class="col-sm-6"> <b>Dagstuhl Series</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/lipics#author">LIPIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/oasics#author">OASIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dfu#author">Dagstuhl Follow-Ups</a></li> </ul> </div> <div class="col-sm-6"> <b>Dagstuhl Journals</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/darts#author">DARTS – Dagstuhl Artifacts Series</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagrep#author">Dagstuhl Reports</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagman#author">Dagstuhl Manifestos</a></li> <li><a href="https://submission.dagstuhl.de/series/details/lites#author">LITES</a></li> <li><a href="https://submission.dagstuhl.de/series/details/tgdk#author">TGDK – Transactions on Graph Data and Knowledge</a></li> </ul> </div> </div> </div> <div class="col-lg-6"> <h5>Instructions for Editors</h5> <div class="row"> <div class="col-sm-6"> <b>Dagstuhl Series</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/lipics#editor">LIPIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/oasics#editor">OASIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dfu#editor">Dagstuhl Follow-Ups</a></li> </ul> </div> <div class="col-sm-6"> <b>Dagstuhl Journals</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/darts#editor">DARTS – Dagstuhl Artifacts Series</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagrep#editor">Dagstuhl Reports</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagman#editor">Dagstuhl Manifestos</a></li> <li><a href="https://submission.dagstuhl.de/series/details/lites#editor">LITES</a></li> <li><a href="https://submission.dagstuhl.de/series/details/tgdk#editor">TGDK – Transactions on Graph Data and Knowledge</a></li> </ul> </div> </div> </div> </div> </div> </footer> <div class="copyright"> © 2023-2024 <a href="https://www.dagstuhl.de">Schloss Dagstuhl – LZI GmbH</a> <a href="https://drops.dagstuhl.de/docs/imprint">Imprint</a> <a href="https://drops.dagstuhl.de/docs/privacy">Privacy</a> <a href="https://www.dagstuhl.de/en/publishing/team">Contact</a> </div> <script type="text/javascript" src="https://drops.dagstuhl.de/js/jquery-3.6.0.min.js"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/app.js?drops-core-2024-10-22"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/popper.min.js"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/circle-progress.js"></script> <script type="text/javascript"> $(document).ready(function() { const view = { statsServer: 'https://drops-stats.dagstuhl.de', animationStarted: false, isScrolledIntoView: function (elem) { const rect = elem.getBoundingClientRect(); const elemTop = rect.top; //const elemBottom = rect.bottom; // const elemHeight = rect.height; return (elemTop >= 0) && (elemTop <= window.innerHeight); }, progressCircle: function ($el) { $el.find('.circle').circleProgress({ value: 1, size: 80, fill: { color: '#555' }, animation: { duration: 1200 } }); }, countUp: function($el) { $el.find('.number').each(function() { const $this = $(this); const number = parseInt($this.attr('data-number')); let suffix = ''; if (number > 90000) { $this.text(Math.ceil(number/1000)+' k'); suffix = ' k'; } else if (number > 90000000) { $this.text(Math.ceil(number/1000000)+' m'); suffix = ' m'; } else { $this.text(Math.ceil(number)) } $({ Counter: 0 }).animate({ Counter: $this.text().replace(suffix, '').replace(',', '') }, { duration: 1000, easing: 'swing', step: function() { $this.text(Math.ceil(this.Counter).toString().replace(/\B(?=(\d{3})+(?!\d))/g, ",") + suffix); } }); }); }, checkVisibility: function() { const $container = $('.stats-total'); if (view.isScrolledIntoView($container[0])) { if (!view.animationStarted) { view.animationStarted = true; view.progressCircle($container); setTimeout(function() { view.countUp($container) }, 200); } } }, initialize: function() { $.ajax({ type: 'get', url: view.statsServer + '/api/external/drops2/volume/OASIcs-volume-57/-/stats', success: function (result) { $('.total-downloads .number').attr('data-number', result.total.downloads); $('.total-metadata-views .number').attr('data-number', result.total.clicks); window.addEventListener('scroll', view.checkVisibility); view.checkVisibility(); }, error: function () { $('.total-downloads .number').text(0); $('.total-metadata-views .number').text(0); window.addEventListener('scroll', view.checkVisibility); view.checkVisibility(); } }); } }; view.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const view = { trackInvestigation: function(e) { const $entity = $(e.currentTarget).parent().parent(); const permanentId = $entity.attr('data-permanent-id'); $.ajax({ url: '/entities/' + permanentId + '/_investigation', type: 'get', }); }, initialize: function() { $('a.investigation').on('click', view.trackInvestigation); } }; view.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const view = { $el: { root: $('.grouped-metadata-filter'), freeTextFilter: $('#free-text-filter') }, appliedFilters: { freeText: [] }, methods: { toggleDetails: function(e) { var $current = $(e.currentTarget); var $parent = $current.parent(); $parent.toggleClass('-expanded'); }, toggleGroup: function(e) { var $current = $(e.currentTarget); var selector = $current.attr('data-group-selector'); $current.toggleClass('-expanded'); $('.filter-item[data-group-selector="' + selector + '"]').toggleClass('-hidden'); }, toggleFilter: function(e) { var $current = $(e.currentTarget); var key = $current.attr('data-key'); var value = $current.attr('data-value'); if (view.appliedFilters[key] === undefined) { view.appliedFilters[key] = []; } var index = view.appliedFilters[key].indexOf(value); if (index !== -1) { view.appliedFilters[key].splice(index, 1); $('.grouped-metadata-filter[data-filter-key="'+key+'"]').find('.pinned[data-value="'+value+'"]').remove(); } else { view.appliedFilters[key].push(value); var $template = $('.grouped-metadata-filter[data-filter-key="'+key+'"]').find('.pinned.-hidden'); var $filter = $template.clone(); $filter.find('.value').html(value); $filter.attr('data-value', value) .attr('data-key', key) .removeClass('-hidden') .insertAfter($template) .on('click', view.methods.toggleFilter); } var event = (index !== -1) ? 'removeFilter' : 'addFilter'; var filterCount = 0; for(var filterKey in view.appliedFilters) { filterCount += view.appliedFilters[filterKey].length; } $(document).trigger('grouped-metadata-filter:' + event, { key: key, value: value, appliedFilters: view.appliedFilters, filterCount: filterCount }); }, setFreeTextFilter: function(e) { var $current = $(e.currentTarget); var value = $current.val().trim(); if (value === '') { view.appliedFilters.freeText = [] } else { view.appliedFilters.freeText = [ value ]; } var filterCount = 0; for(var filterKey in view.appliedFilters) { filterCount += view.appliedFilters[filterKey].length; } $(document).trigger('grouped-metadata-filter:addFilter', { key: 'free-text', value: value, appliedFilters: view.appliedFilters, filterCount: filterCount }); }, dropAllFilters: function() { $('.grouped-metadata-filter').find('.filter-item.pinned:not(.-hidden)').click(); $('#free-text-filter').val('').trigger('keyup'); }, expandAllGroups: function(e) { var $current = $(e.currentTarget); $current.parent().parent().parent().find('.filter-group-headline:not(.-expanded)').click(); }, collapseAllGroups: function(e) { var $current = $(e.currentTarget); var $filter = $current.parent().parent().parent(); $filter.find('.filter-group-headline.-expanded').click(); $filter.find('.filter-headline').click(); $filter.find('.filter-headline').click(); } }, initialize: function() { view.$el.root.each(function() { var count = $(this).find('.filter-item.value').length; $(this).find('.filter-headline .count').text(count); }); view.$el.root.find('.filter-group-headline').on('click', view.methods.toggleGroup); view.$el.root.find('.filter-item').on('click', view.methods.toggleFilter); view.$el.root.find('.filter-headline').on('click', view.methods.toggleDetails); view.$el.root.find('.buttons .btn-primary').on('click', view.methods.expandAllGroups); view.$el.root.find('.buttons .btn-secondary').on('click', view.methods.collapseAllGroups); view.$el.freeTextFilter.on('keyup', view.methods.setFreeTextFilter); view.$el.freeTextFilter.on('search', view.methods.setFreeTextFilter); $(document).on('grouped-metadata-filter:dropAllFilters', view.methods.dropAllFilters); } }; view.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const view = { normalize: function(string) { return string.normalize('NFD').replace(/[\u0300-\u036f]/g, ""); }, applyFilters: function(e, data) { var $documents = $('.document'); var $noResults = $('.no-results'); $documents.each(function() { var $document = $(this); var matches = 0; for(var filterKey in data.appliedFilters) { var values = data.appliedFilters[filterKey]; if (filterKey === 'freeText' && values[0] !== undefined && values[0] !== '') { var regex = new RegExp(view.normalize(values[0].toLowerCase()), 'i'); matches += view.normalize($document.html()).match(regex) ? 1 : 0; } else { values.forEach(function (value) { matches += $document.find('.selectors').find('[data-key="' + filterKey + '"][data-value="' + value + '"]').length }); } } if (matches === data.filterCount) { $document.removeClass('-hidden'); } else { $document.addClass('-hidden') } }); if ($documents.parent().find('.document:not(.-hidden').length === 0) { $noResults.removeClass('-hidden'); } else { $noResults.addClass('-hidden'); } document.getElementById('end-of-header').scrollIntoView(); var filterInfo = ''; if (data.filterCount === 1) { filterInfo = '1 filter applied   ×'; } else if (data.filterCount > 1) { filterInfo = data.filterCount + ' filters applied   ×'; } $('._filter-info').html(filterInfo); if (data.appliedFilters.freeText[0] !== undefined && data.appliedFilters.freeText[0] !== '') { $('#free-text-filter').addClass('-active'); } else { $('#free-text-filter').removeClass('-active'); } }, initialize: function() { $(document).on('grouped-metadata-filter:addFilter', view.applyFilters); $(document).on('grouped-metadata-filter:removeFilter', view.applyFilters); } }; view.initialize(); }); </script> <script type="text/javascript"> function _enableFeedback() { var $feedbackButton = $('._feedback-button, .fixed-beta-button'); var $feedbackClose = $('._feedback-close'); var $feedbackForm = $('._feedback-form'); var $feedbackSubmit = $('._feedback-form button'); var $textarea = $feedbackForm.find('textarea'); var $feedbackSuccess = $('._feedback-success'); var $feedbackError = $('._feedback-error'); var $feedbackDoneButton = $('._feedback-done'); $feedbackButton.addClass('_show'); $feedbackButton.on('click', function () { $feedbackButton.addClass('-hidden'); $feedbackForm.removeClass('-hidden'); $textarea.focus(); }); $feedbackClose.on('click', function () { $feedbackSuccess.addClass('-hidden'); $feedbackForm.addClass('-hidden'); $feedbackButton.removeClass('-hidden'); }); $feedbackDoneButton.on('click', function () { $feedbackError.addClass('-hidden'); $feedbackSuccess.addClass('-hidden'); $feedbackForm.addClass('-hidden'); $feedbackButton.removeClass('-hidden'); }); $feedbackSubmit.on('click', function () { var message = $textarea.val(); if (message === undefined) { message = ''; } if (message.trim() !== '') { $.ajax({ url: '/api/v1/feedback', type: 'post', data: { content: message, context: window.location.href, name: $('input[name="name"]').val(), email: $('input[name="email"]').val(), }, success: function (result) { if (result === 'success') { $textarea.val(''); $feedbackSuccess.removeClass('-hidden'); } else { $feedbackError.removeClass('-hidden'); } }, error: function () { $feedbackError.removeClass('-hidden'); } }); } }); } var _defer_counter = 0; function _defer(method) { if (window.jQuery) { method(); } else { if (_defer_counter < 20) { setTimeout(function () { _defer(method); console.log(_defer_counter); _defer_counter++; }, 500); } } } setTimeout(function() { _defer(_enableFeedback); }, 1000); </script> <script type="text/javascript"> $(document).ready(function() { $('._filter-info').on('click', function() { $(document).trigger('grouped-metadata-filter:dropAllFilters'); }); }); </script> <script type="text/javascript"> $(document).ready(function() { const statistics = { statsServer: 'https://drops-stats.dagstuhl.de', showStatistics: function(e) { e.preventDefault(); const $offCanvas = $('#statistics-offcanvas'); const $iframe = $offCanvas.find('iframe'); const $loader = $offCanvas.find('.centered-loader'); $iframe.addClass('-hidden'); $loader.removeClass('-hidden'); $iframe[0].onload = function () { $iframe.removeClass('-hidden'); $loader.addClass('-hidden'); }.bind(this); const modeParameter = ''; const $target = $(e.currentTarget); const entityId = $target.attr('data-entity'); const title = $target.attr('data-title'); const embedUrl = statistics.statsServer + '/embed/external/drops2/' + entityId + modeParameter; let context = $offCanvas.find('.offcanvas-body').attr('data-context'); if (context === title) { context = ''; } if (context !== '') { context += '<br>'; } $offCanvas.find('.offcanvas-title').html(context + '<h2 style="font-weight: bold">' + title + '</h2>'); $offCanvas.offcanvas('show'); $offCanvas.find('iframe').attr('src', embedUrl); return false; }, initialize: function() { $('.btn-statistics').on('click', this.showStatistics); } }; statistics.initialize(); }); </script> <script type="text/javascript"> $(document).ready(function() { const app = { maxScrollPos: window.innerWidth < 500 ? 100 // mobile : 400, // desktop $el : { navbarSearch: $('nav .navbar-search'), fixedSearchButton: $('.fixed-search-button'), copyToClipboard: $('.copy-to-clipboard') }, methods: { hideMenuOnScroll: function(scrollPos) { const $menu = $('nav.navbar.main'); const $stickySearch = $('.search.sticky'); const $banner = $('#_banner'); const $fixedSearchButton = $('.fixed-search-button'); if (scrollPos > app.maxScrollPos) { $menu.addClass('-hide'); $banner.addClass('-hide'); $stickySearch.addClass('-top'); $fixedSearchButton.addClass('-show'); } else { app.methods.showMenu(null, false); } }, showMenu: function(e, focus) { const $menu = $('nav.navbar.main'); const $stickySearch = $('.search.sticky'); const $banner = $('#_banner'); const $fixedSearchButton = $('.fixed-search-button'); $menu.removeClass('-hide'); $banner.removeClass('-hide'); $stickySearch.removeClass('-top'); $fixedSearchButton.removeClass('-show'); if (focus !== false) { $('.navbar-search').find('input[name="term"]').focus(); } }, showUpLinkOnScroll: function(scrollPos) { const $upLink = $('.scroll-up-button'); if (scrollPos > app.maxScrollPos) { $upLink.removeClass('-hidden'); } else { $upLink.addClass('-hidden'); } }, scrollHandler: function() { const scrollPos = $(document).scrollTop(); app.methods.hideMenuOnScroll(scrollPos); app.methods.showUpLinkOnScroll(scrollPos); }, copyToClipboard: function(e) { e.preventDefault(); const $current = $(e.currentTarget); // console.log($current.attr('data-selector')); const element = $('#'+$current.attr('data-selector'))[0]; console.log(element); element.select(); document.execCommand("copy"); const $success = $current.find('.bi-check'); $success.removeClass('-hidden'); setTimeout(function() { $success.addClass('-hidden'); }, 1000); }, initTooltips: function() { const tooltipTriggerList = [].slice.call(document.querySelectorAll('[data-bs-toggle="tooltip"]')) const tooltipList = tooltipTriggerList.map(function (tooltipTriggerEl) { return new bootstrap.Tooltip(tooltipTriggerEl) }); }, expandSearch: function() { app.$el.navbarSearch.addClass('expanded'); }, collapseSearch: function(e) { if (!$(e.currentTarget).is('button.btn-outline-success')) { app.$el.navbarSearch.removeClass('expanded'); } }, initDeepLinksTabs: function() { const innerAnchors = [ 'resource-articles', 'cfp-si-resources', 'cfp-si-autonomous-systems-and-knowledge-graphs' ]; let anchors = []; $('a[role="tab"]').each(function() { anchors.push($(this).attr('aria-controls')); }); innerAnchors.forEach(function(anchor) { if ($('#'+anchor).length > 0) { anchors.push(anchor); } }); if (anchors.length === 0) { return; } let selectedAnchor = window.location.hash.substring(1); if (anchors.indexOf(selectedAnchor) === -1) { $('#publications-tab').tab('show'); window.scrollTo(0,0); return; } if (selectedAnchor !== 'publications') { const innerAnchorIndex = innerAnchors.indexOf(selectedAnchor); // anchor sits inside tab -> open the tab first, then scroll to anchor if (innerAnchorIndex > -1) { const $tab = $('#'+selectedAnchor).closest('.tab-pane'); console.log($tab); try { $('#'+$tab.attr('id')+'-tab').tab('show'); } catch (e) { } setTimeout(function () { $('#' + selectedAnchor)[0].scrollIntoView(); }, 800); } else { try { $('#' + selectedAnchor + '-tab').tab('show'); } catch (e) { } window.scrollTo(0, 0); } } $('[data-tab-link]').on('click', function(e) { const $target = $(e.currentTarget); let href = $target.attr('href'); let scrollLink = null; if (href === '#cfp-si-list') { scrollLink = href; href = '#cfp'; } try { console.log(href); $(href+'-tab').tab('show'); } catch(e) { } console.log(scrollLink); if (scrollLink !== null) { setTimeout(function() { $(scrollLink)[0].scrollIntoView(); }, 200); } else { setTimeout(function() { window.scrollTo(0,0); }, 200); } }); } }, initialize: function() { $(window).on('scroll', app.methods.scrollHandler); $(window).on('scroll-to-top', function() { window.scrollTo(0,0) }); $(document).trigger('scroll'); // set correct status for scroll-related parts (navbar/back-to-top) on page reload app.$el.copyToClipboard.on('click', app.methods.copyToClipboard); app.$el.fixedSearchButton.on('click', app.methods.showMenu); app.$el.navbarSearch.find('input').on('click', app.methods.expandSearch) app.$el.navbarSearch.find('input').on('blur', app.methods.collapseSearch); app.methods.initTooltips(); app.methods.initDeepLinksTabs(); } }; app.initialize(); }); </script> </body> </html>

CINXE.COM

17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)