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 metadatas

https://hal.archives-ouvertes.fr/hal-00103234
Contributor : Jocelyn Serot <>
Submitted on : Tuesday, October 3, 2006 - 5:03:10 PM
Last modification on : Thursday, January 11, 2018 - 6:17:20 AM

Identifiers

  • HAL Id : hal-00103234, version 1

Citation

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⟩

Share

Metrics

Record views

114