> Detailanzeige

Maiza, Claire [VerfasserIn]; Raymond, Pascal [VerfasserIn]; Parent-Vigouroux, Catherine [VerfasserIn]; Bonenfant, Armelle [VerfasserIn]; Carrier, Fabienne [VerfasserIn]; Cassé, Hugues [VerfasserIn]; Cuenot, Philippe [VerfasserIn]; Claraz, Denis [VerfasserIn]; Halbwachs, Nicolas [VerfasserIn]; Jahier, Erwan [VerfasserIn]; Li, Hanbing [VerfasserIn]; de Michiel, Marianne [VerfasserIn]; Mussot, Vincent [VerfasserIn]; Puaut, Isabelle [VerfasserIn]; Rochange, Christine [VerfasserIn]; Rohou, Erven [VerfasserIn]; Ruiz, Jordy [VerfasserIn]; Sotin, Pascal [VerfasserIn]; Sun, Wei-Tsun [VerfasserIn] ; Claire Maiza and Pascal Raymond and Catherine Parent-Vigouroux and Armelle Bonenfant and Fabienne Carrier and Hugues Cassé and Philippe Cuenot and Denis Claraz and Nicolas Halbwachs and Erwan Jahier and Hanbing Li and Marianne de Michiel and Vincent Mussot and Isabelle Puaut and Christine Rochange and Erven Rohou and Jordy Ruiz and Pascal Sotin and Wei-Tsun Sun [MitwirkendeR]

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Elektronischer Konferenzbericht; Sonstige Veröffentlichung; E-Artikel
  • Titel: The W-SEPT Project: Towards Semantic-Aware WCET Estimation
  • Beteiligte: Maiza, Claire [VerfasserIn]; Raymond, Pascal [VerfasserIn]; Parent-Vigouroux, Catherine [VerfasserIn]; Bonenfant, Armelle [VerfasserIn]; Carrier, Fabienne [VerfasserIn]; Cassé, Hugues [VerfasserIn]; Cuenot, Philippe [VerfasserIn]; Claraz, Denis [VerfasserIn]; Halbwachs, Nicolas [VerfasserIn]; Jahier, Erwan [VerfasserIn]; Li, Hanbing [VerfasserIn]; de Michiel, Marianne [VerfasserIn]; Mussot, Vincent [VerfasserIn]; Puaut, Isabelle [VerfasserIn]; Rochange, Christine [VerfasserIn]; Rohou, Erven [VerfasserIn]; Ruiz, Jordy [VerfasserIn]; Sotin, Pascal [VerfasserIn]; Sun, Wei-Tsun [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/OASIcs.WCET.2017.9
  • Schlagwörter: Program analysis ; Worst-case execution time analysis ; Static analysis
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: 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.
  • Zugangsstatus: Freier Zugang