The EmBounded Project, Project Paper - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2005

The EmBounded Project, Project Paper

Kevin Hammond
  • Fonction : Auteur
Roy Dyckhoff
  • Fonction : Auteur
Reinhold Heckmann
  • Fonction : Auteur
Martin Hofmann
  • Fonction : Auteur
Hans-Wolfgang Loidl
  • Fonction : Auteur
Greg Michaelson
  • Fonction : Auteur
And Andy Wallace
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

hal-00103192 , version 1 (03-10-2006)

Identifiants

  • HAL Id : hal-00103192 , version 1

Citer

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⟩

Collections

PRES_CLERMONT CNRS
52 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More