- University of St Andrews
- St Andrews, Scotland. Coordinator of the EmBounded Project.
Groups in St Andrews have worked on the Hume
programming language (with Heriot-Watt) and static analysis of resource consumption and cost modelling.
- AbsInt GmbH
- Saarbruecken, Germany. AbsInt GmbH have developed tools for
worst case execution time (WCET)
analysis, and are using these tools on software in modern cars and airplanes such as the new
- Heriot-Watt University
- Edinburgh, Scotland. A partner with St Andrews in developing the Hume programming language,
focusing on implementation and support.
- Ludwig-Maximilians-Universität (LMU)
- München (Munich), Germany.
LMU has worked on static analysis of resource consumption and cost
modelling before. Work for the EmBounded Project will draw on results from the
MRG Project (which LMU is a partner of).
- University Blaise-Pascal, Clermont-Ferrand, France.
LASMEA has a strong history of developing efficient vision algorithms and using
them to control autonomous vehicles, such as the
A list of people involved in the EmBounded Project can be found here.
The EmBounded Project
is a three-year FET-Open collaborative project, funded by the
European Union Framework VI Programme.
The project started in March 2005, with work commencing at the majority
of sites by June 2005.
This page was last modified on
Tuesday 20 February 2007 11:20:56.
This site is maintained by Robert Rothenberg
(r r at cs dot st - andrews dot ac dot uk).