Project description Embedded Systems Design Show the project objective Hide the project objective Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving predictable system properties.The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation. In particular, it is intended to propose a modelling and verification flow to enhance and speed-up embedded platform design and configuration with particular regard to application fields related to mixed continuous/discrete models, like for example networked multimedia and sensor network managing.In this context, the main activities of COCONUT will be related to the definition of innovative methodologies and tools to:- define and validate properties that represent the design specification; - automatically synthesize properties into code; - map models between hybrid and discrete domains; - provide correct-by-construction abstraction/refinement processes; - perform post-refinement verification. Such activities will be implemented in a set of tools working on more that one abstraction level whose correctness will be formally proved. Fields of science natural sciencescomputer and information sciencessoftwareengineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringsensorssmart sensorssocial scienceseconomics and businesseconomicsproduction economicsproductivity Programme(s) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Topic(s) ICT-2007.3.3 - Embedded systems design Call for proposal FP7-ICT-2007-1 See other projects for this call Funding Scheme CP - Collaborative project (generic) Coordinator UNIVERSITA DEGLI STUDI DI VERONA EU contribution € 332 644,00 Address VIA DELL ARTIGLIERE 8 37129 Verona Italy See on map Region Nord-Est Veneto Verona Activity type Higher or Secondary Education Establishments Administrative Contact Franco Fummi (Prof.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data Participants (9) Sort alphabetically Sort by EU Contribution Expand all Collapse all TECHNISCHE UNIVERSITAET GRAZ Austria EU contribution € 296 716,00 Address RECHBAUERSTRASSE 12 8010 Graz See on map Region Südösterreich Steiermark Graz Activity type Higher or Secondary Education Establishments Administrative Contact Roderick Bloem (Dr) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data UNIVERSITAET PADERBORN Germany EU contribution € 293 977,00 Address WARBURGER STRASSE 100 33098 Paderborn See on map Region Nordrhein-Westfalen Detmold Paderborn Activity type Higher or Secondary Education Establishments Administrative Contact Susanne Neufeldt (Ms) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES France EU contribution € 376 449,00 Address RUE LEBLANC 25 75015 PARIS 15 See on map Region Ile-de-France Ile-de-France Paris Activity type Research Organisations Administrative Contact Olivier HATEM (M.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data CERTESS S.A. France EU contribution € 335 974,00 Address 340 RUE DE L'EYGALA - LE XENON 38430 MOIRANS See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Michel Courtoy (Mr.) Links Contact the organisation Opens in new window Total cost No data AERIELOGIC SARL France EU contribution € 208 653,00 Address 4 AVENUE DE CAMBRIDGE, IMMEUBLE ODYSSE, CITIS 14200 HEROUVILLE ST CLAIR See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact HELENE DELECOURT (Mrs) Links Contact the organisation Opens in new window Total cost No data UNIVERSITY COLLEGE DUBLIN, NATIONAL UNIVERSITY OF IRELAND, DUBLIN Ireland EU contribution € 173 773,00 Address BELFIELD 4 Dublin See on map Region Ireland Eastern and Midland Dublin Activity type Higher or Secondary Education Establishments Administrative Contact Donal Doolan (Mr) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data FONDAZIONE BRUNO KESSLER Italy EU contribution € 365 577,00 Address VIA SANTA CROCE 77 38122 Trento See on map Region Nord-Est Provincia Autonoma di Trento Trento Activity type Research Organisations Administrative Contact Umberto Silvestri (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data EDALab srl Italy EU contribution € 78 386,00 Address Strada le Grazie 15 37134 Verona See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Franco Fummi (Prof.) Links Contact the organisation Opens in new window Total cost No data UNIVERSITY OF SOUTHAMPTON United Kingdom EU contribution € 87 851,00 Address Highfield SO17 1BJ Southampton See on map Region South East (England) Hampshire and Isle of Wight Southampton Activity type Higher or Secondary Education Establishments Administrative Contact MICHAEL FRETTON (MR) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data