The Embounded Project
Kevin L Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin O. Hofmann, Hans‐Wolfgang Loidl, Gregory John Michaelson, Jocelyn Sérot, Andrew Michael Wallace · 2006
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 domainspecific 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 applications taken from the real-time control and computer vision domains. embound, v. poet. arch. trans. To set bounds to; to confine, contain, hem in. Hence embounded ppl. a. 1595 SHAKESPEARE The Life and Death of King John IV. iii. 137 That sweete breath which was embounded in this beauteous clay. 1School of Computer Science, University of St Andrews, North Haugh, St Andrews, Scotland, KY16 9SX. email: {kh,rd}@dcs.st-and.ac.uk. 2AbsInt GmbH, Saarbrucken, Germany. email: {cf,heckmann}@absint.com 3Ludwig-Maximilians Universitat, Munchen. email: {mhofmann,hwloidl}@informatik.uni-muenchen.de 4Depts. of Comp. Sci. and Elec. Eng., Heriot-Watt University, Riccarton, Edinburgh, Scotland. email: {G.Michaelson, A.M.Wallace}@hw.ac.uk 5LASMEA, Universite Blaise-Pascal, Clermont-Ferrand, France email: [email protected] This work has been supported by EU Framework VI grant IST-2004-510255.