> Detailanzeige

Hammond, Kevin [Verfasser:in]; Ferdinand, Christian [Verfasser:in]; Heckmann, Reinhold [Verfasser:in]; Dyckhoff, Roy [Verfasser:in]; Hofman, Martin [Verfasser:in]; Jost, Steffen [Verfasser:in]; Loidl, Hans-Wolfgang [Verfasser:in]; Michaelson, Greg [Verfasser:in]; Pointon, Robert [Verfasser:in]; Scaife, Norman [Verfasser:in]; Sérot, Jocelyn [Verfasser:in]; Wallace, Andy [Verfasser:in] ; Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy Dyckhoff and Martin Hofman and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert Pointon and Norman Scaife and Jocelyn Sérot and Andy Wallace [Mitwirkende:r]

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

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: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht
  • Titel: Towards Formally Verifiable WCET Analysis for a Functional Programming Language
  • Beteiligte: Hammond, Kevin [Verfasser:in]; Ferdinand, Christian [Verfasser:in]; Heckmann, Reinhold [Verfasser:in]; Dyckhoff, Roy [Verfasser:in]; Hofman, Martin [Verfasser:in]; Jost, Steffen [Verfasser:in]; Loidl, Hans-Wolfgang [Verfasser:in]; Michaelson, Greg [Verfasser:in]; Pointon, Robert [Verfasser:in]; Scaife, Norman [Verfasser:in]; Sérot, Jocelyn [Verfasser:in]; Wallace, Andy [Verfasser:in]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/OASIcs.WCET.2006.677
  • Schlagwörter: Hume ; finite state machine ; functional programming ; Worst-case execution time ; asynchronous ; cost model
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: This paper describes ongoing work aimed at the construction of formal cost models and analyses to yield verifiable guarantees of resource usage in the context of real-time embedded systems. Our work is conducted in terms of the domain-specific language Hume, a language that combines functional programming for computations with finitestate automata for specifying reactive systems. We outline an approach in which high-level information derived from source-code analysis can be combined with worst-case execution time information obtained from high quality abstract interpretation of low-level binary code.
  • Zugangsstatus: Freier Zugang