Project Partners

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 Airbus A380.
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).
LASMEA
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 CyCab.

A list of people involved in the EmBounded Project can be found here.

Funding

The EmBounded Project (IST-510255) 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).