Skip to Main content Skip to Navigation
Conference papers

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

Abstract : 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.
Complete list of metadata
Contributor : Jocelyn Serot Connect in order to contact the contributor
Submitted on : Tuesday, October 3, 2006 - 5:03:10 PM
Last modification on : Wednesday, April 21, 2021 - 8:34:02 AM


  • HAL Id : hal-00103234, version 1



Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, et al.. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. 6th International Workshop on Worst-Case Execution Time Analysis, Jun 2006, Dresden, Germany. ⟨hal-00103234⟩



Record views