Objectif The aims of this project are to identify, to quantify and to certify resource-bounded code in a domain-specific high-level programming language for real-time embedded systems. Using formal models of resource consumption as a basis, the project will develop static analyses for time and space consumption and assess these against realistic applications for embedded systems. The work is novel in combining analyses of both source and machine code into a single framework. The proposed research builds on world-class expertise in four complementary and active research areas: high-level resource prediction (LMU and St Andrews); precise costing of low-level hardware instructions (AbsInt); domain-specific languages and implementation (HWU and St Andrews); and the design and implementation of real-time embedded systems applications, in particular in the area of computer vision algorithms for autonomous vehicles (LASMEA and HWU). Embedded systems form an increasingly important part of the European, and indeed the global, software economy. The work is especially timely in building on newly emerging theoretical results in predicting resource usage, in exploiting state-of-the art cost models of embedded hardware and in utilising recent developments in computer vision algorithms for controlling autonomous vehicles. We anticipate that this project may have significant long-term impact, both in reducing the cost of developing complex embedded systems and in improving the quality of embedded code. Champ scientifique engineering and technologymechanical engineeringvehicle engineeringautomotive engineeringautonomous vehiclesnatural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesartificial intelligencecomputer vision Programme(s) FP6-IST - Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006). Thème(s) IST-2002-2.3.4.1 - FET - Open Appel à propositions Data not available Régime de financement STREP - Specific Targeted Research Project Coordinateur THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS Contribution de l’UE Aucune donnée Adresse NORTH HAUGH KY16 9SS ST ANDREWS Royaume-Uni Voir sur la carte Coût total Aucune donnée Participants (4) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire ABSINT ANGEWANDTE INFORMATIK GMBH Allemagne Contribution de l’UE Aucune donnée Adresse Stuhlsatzenhausweg 69 D-66123 Saarbrücken Voir sur la carte Coût total Aucune donnée HERIOT-WATT UNIVERSITY Royaume-Uni Contribution de l’UE Aucune donnée Adresse Riccarton EDINBURGH Voir sur la carte Liens Site web Opens in new window Coût total Aucune donnée LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN Allemagne Contribution de l’UE Aucune donnée Adresse 67,OETTINGENSTRASSE 67 D-80538 MUENCHEN Voir sur la carte Coût total Aucune donnée UNIVERSITE BLAISE PASCAL CLERMONT FERRAND II France Contribution de l’UE Aucune donnée Adresse Voir sur la carte Coût total Aucune donnée
