Project description Embedded Systems DesignVerification of timing properties of CRTE systems (single- and multi- core) using Probabilistic Timing Analysis Show the project objective Hide the project objective There is an ever-increasing demand both for new functionality and for reduced development and production costs for all kinds of Critical Real-Time Embedded (CRTE) systems (safety, mission or business critical). Moreover, new functionality demands can only be delivered by more complex software and aggressive hardware acceleration features like memory hierarchies and multicore processors. However, these greatly increase system complexity, making it much more difficult to analyse applications for their temporal behaviour. Another key problem of CRTE systems is the need to prove that they operate correctly, satisfying all temporal constraints. The current generation of platforms, despite being based on comparatively simple and old processor technologies, are already extremely difficult to analyse for their temporal behaviour, and resulting errors in operation, cost EU industries billions of Euros annually in warranty and post-production costs.The PROARTIS thesis is that the timing behaviour of systems that use advanced hardware features like multicore CPUs and complex memory hierarchies can be analysed effectively by probabilistic timing analysis techniques that reduce the risk of temporal pathological cases to quantifiably negligible levels. Preliminary research results in cache replacement policies by members of the PROARTIS consortium strongly support this claim. PROARTIS defines new hardware and software architecture paradigms based on the concept of randomisation that, with minimal changes to current processes and methods, guarantee timing behaviours that can be analysed with probabilistic techniques. PROARTIS uses a holistic approach in which probabilistic analysis extends from hardware design, compiler and real time operating system to applications. On top of this platform, we will build probabilistic timing analysis methods based on current commercial tools. We will validate our approach via an industrial case study. Fields of science natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwareoperating systems Programme(s) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Topic(s) ICT-2009.3.4 - Embedded Systems Design Call for proposal FP7-ICT-2009-4 See other projects for this call Funding Scheme CP - Collaborative project (generic) Coordinator BARCELONA SUPERCOMPUTING CENTER CENTRO NACIONAL DE SUPERCOMPUTACION EU contribution € 578 671,00 Address CALLE JORDI GIRONA 31 08034 Barcelona Spain See on map Region Este Cataluña Barcelona Activity type Research Organisations Administrative Contact Xavier Salazar Forn (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data Participants (4) Sort alphabetically Sort by EU Contribution Expand all Collapse all INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE France EU contribution € 349 273,00 Address DOMAINE DE VOLUCEAU ROCQUENCOURT 78153 Le Chesnay Cedex See on map Region Ile-de-France Ile-de-France Yvelines Activity type Research Organisations Administrative Contact Liliana Cucu (Dr.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data AIRBUS OPERATIONS SAS France EU contribution € 187 823,00 Address ROUTE DE BAYONNE 316 31060 Toulouse See on map Region Occitanie Midi-Pyrénées Haute-Garonne Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Thierry PICOT (Mr.) Links Contact the organisation Opens in new window Total cost No data UNIVERSITA DEGLI STUDI DI PADOVA Italy EU contribution € 285 480,00 Address VIA 8 FEBBRAIO 2 35122 Padova See on map Region Nord-Est Veneto Padova Activity type Higher or Secondary Education Establishments Administrative Contact Fiorella Fabrizi (Ms.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data RAPITA SYSTEMS LIMITED United Kingdom EU contribution € 398 753,00 Address ATLAS HOUSE OSBALDWICK LINK ROAD YO10 3JB York See on map Region Yorkshire and the Humber North Yorkshire York Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Ian Broster (Dr.) Links Contact the organisation Opens in new window Total cost No data