Obiettivo 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. Campo scientifico engineering and technologymechanical engineeringvehicle engineeringautomotive engineeringautonomous vehiclesnatural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesartificial intelligencecomputer vision Programma(i) FP6-IST - Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006). Argomento(i) IST-2002-2.3.4.1 - FET - Open Invito a presentare proposte Data not available Meccanismo di finanziamento STREP - Specific Targeted Research Project Coordinatore THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS Contributo UE Nessun dato Indirizzo NORTH HAUGH KY16 9SS ST ANDREWS Regno Unito Mostra sulla mappa Costo totale Nessun dato Partecipanti (4) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto ABSINT ANGEWANDTE INFORMATIK GMBH Germania Contributo UE Nessun dato Indirizzo Stuhlsatzenhausweg 69 D-66123 Saarbrücken Mostra sulla mappa Costo totale Nessun dato HERIOT-WATT UNIVERSITY Regno Unito Contributo UE Nessun dato Indirizzo Riccarton EDINBURGH Mostra sulla mappa Collegamenti Sito web Opens in new window Costo totale Nessun dato LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN Germania Contributo UE Nessun dato Indirizzo 67,OETTINGENSTRASSE 67 D-80538 MUENCHEN Mostra sulla mappa Costo totale Nessun dato UNIVERSITE BLAISE PASCAL CLERMONT FERRAND II Francia Contributo UE Nessun dato Indirizzo Mostra sulla mappa Costo totale Nessun dato