> Detailanzeige

Hammond, Kevin [VerfasserIn]; Ferdinand, Christian [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Dyckhoff, Roy [VerfasserIn]; Hofman, Martin [VerfasserIn]; Jost, Steffen [VerfasserIn]; Loidl, Hans-Wolfgang [VerfasserIn]; Michaelson, Greg [VerfasserIn]; Pointon, Robert [VerfasserIn]; Scaife, Norman [VerfasserIn]; Sérot, Jocelyn [VerfasserIn]; Wallace, Andy [VerfasserIn] ; 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 [MitwirkendeR]

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: Elektronischer Konferenzbericht; E-Artikel; Sonstige Veröffentlichung
  • Titel: Towards Formally Verifiable WCET Analysis for a Functional Programming Language
  • Beteiligte: Hammond, Kevin [VerfasserIn]; Ferdinand, Christian [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Dyckhoff, Roy [VerfasserIn]; Hofman, Martin [VerfasserIn]; Jost, Steffen [VerfasserIn]; Loidl, Hans-Wolfgang [VerfasserIn]; Michaelson, Greg [VerfasserIn]; Pointon, Robert [VerfasserIn]; Scaife, Norman [VerfasserIn]; Sérot, Jocelyn [VerfasserIn]; Wallace, Andy [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/OASIcs.WCET.2006.677
  • Schlagwörter: finite state machine ; Hume ; functional programming ; asynchronous ; cost model ; Worst-case execution time
  • 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