Skip to Main content Skip to Navigation
Book sections

The EmBounded Project, Project Paper

Kevin Hammond Roy Dyckhoff Reinhold Heckmann Martin Hofmann Hans-Wolfgang Loidl Greg Michaelson Jocelyn Serot 1 And Andy Wallace
1 LASMEA - Laboratoire des sciences et matériaux pour l'électronique et d'automatique
Abstract : This paper introduces the EU Framework VI EmBounded project, a e1.3M project that will develop static analyses for resource-bounded computations (both space and time) in real-time embedded systems using the domain-specific language Hume,a language that combines functional programming for computations with finite-state automata for specifying reactive systems. The EmBounded project aims to identify, quantify and certify resource-bounded Hume programs, evaluating our models and analyses against realistic embedded appli-cations taken from the real-time control and computer vision domains.
Keywords : Embedded systems real-time functional programming Hume
Document type :
Book sections
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00103192
Contributor : Jocelyn Serot <>
Submitted on : Tuesday, October 3, 2006 - 4:24:17 PM
Last modification on : Wednesday, April 21, 2021 - 8:34:02 AM

Identifiers

  • HAL Id : hal-00103192, version 1

Collections

CNRS | PRES_CLERMONT

Citation

Kevin Hammond, Roy Dyckhoff, Reinhold Heckmann, Martin Hofmann, Hans-Wolfgang Loidl, et al.. The EmBounded Project, Project Paper. H.W. Loidl. Trends in Functional Programming, vol 5, Intellect, pp.236-251, 2005. ⟨hal-00103192⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

112