Objective The PRESTO project aims at improving test-based embedded systems development and validation, while considering the constraints of industrial development processes. This project is based on the integration of (a) test traces exploitation (generated by test execution in the software integration phase induced by the industrial development process, to validate the requirements of the system) along with (b) platform models and (c) design space exploration techniques. The expected result of the project is to enable functional and performance analysis and platform optimisation at early stage of the design development. The approach of PRESTO is to model the software/hardware allocation, by the use of a modelling framework based on the UML profile for model-driven development of Real Time and Embedded Systems (MARTE). The analysis tools, among them timing analysis including Worst Case Execution Time (WCET) analysis, scheduling analysis and possibly more abstract system-level timing analysis techniques will receive as inputs on the one hand information from the MARTE performance modelling of the HW/SW-platform, and on the other hand behavioural information of the software design from tests results of the integration test execution. Of particular novelty in PRESTO is the exploitation of traces for the exclusion of over-pessimistic assumptions during timing analysis: instead of taking all possible inputs and states into account for a worst-case analysis, a set of relevant traces is analyzed separately to reduce the set of possible inputs and states for each trace.A particular attention will be given to industrial development constraints, which means 1) as little cost as possible in term of extra specification time and need of expertise, 2) a simple use of the tools, 3) a smooth integration in the current design process, 4) a tool framework flexible enough to be adapted to different process methodologies, design languages and integration test frameworks, 5) analysis resultsDoW (TA) Approved by the ARTEMIS JU on 26/05/2014 Fields of science natural sciencesphysical sciencesastronomyspace explorationnatural sciencescomputer and information sciencessoftware Programme(s) FP7-JTI - Specific Programme "Cooperation": Joint Technology Initiatives Topic(s) SP1-JTI-ARTEMIS-2010-4 - Efficient manufacturing and logistics SP1-JTI-ARTEMIS-2010-1 - Methods and processes for safety-relevant embedded systems Call for proposal ARTEMIS-2010-1 See other projects for this call Funding Scheme JTI-CP-ARTEMIS - Joint Technology Initiatives - Collaborative Project (ARTEMIS) Coordinator TELETEL TECHNOLOGIA AERODIASTIMIKIS KAI AMINAS Address Kifissias avenue 124 115 26 Athina Greece See on map Region Αττική Aττική Κεντρικός Τομέας Αθηνών Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Vangelis Kollias (Dr.) Links Contact the organisation Opens in new window Website Opens in new window EU contribution No data Participants (13) Sort alphabetically Sort by EU Contribution Expand all Collapse all TEKNOLOGIAN TUTKIMUSKESKUS VTT Participation ended Finland EU contribution € 0,00 Address Tekniikantie 4 a 02044 VTT Espoo See on map Activity type Research Organisations Administrative Contact Kari Kullervo Tiensyrjä (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data THALES SIX GTS FRANCE SAS France EU contribution € 231 231,37 Address Avenue des louvresses 4 92230 Gennevilliers See on map Region Ile-de-France Ile-de-France Hauts-de-Seine Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Sylvie Raynaud (Dr.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data RAPITA SYSTEMS LIMITED United Kingdom EU contribution € 52 552,73 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 Guillem Bernat Nicolau (Dr.) Links Contact the organisation Opens in new window Other funding No data TEKNOLOGIAN TUTKIMUSKESKUS VTT OY Finland EU contribution € 155 658,19 Address Tekniikantie 21 02150 Espoo See on map Region Manner-Suomi Helsinki-Uusimaa Helsinki-Uusimaa Activity type Research Organisations Administrative Contact Kari Kullervo Tiensyrjä (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data SOFTEAM France EU contribution € 253 814,95 Address Avenue victor hugo 21 75016 Paris See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Philippe Desfray (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data THALES ITALIA SPA Italy EU contribution € 200 400,00 Address Via provinciale lucchese 33 50019 Sesto fiorentino See on map Region Centro (IT) Toscana Firenze Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Mauro Montanari (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data Metacase Consulting Oy Finland EU contribution € 100 200,00 Address Ylistönmäentie 31 40500 Jyväskylä See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Juha-Pekka Tolvanen (Dr.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE France EU contribution € 35 357,57 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 Frédérique Lavirotte (Ms.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data UNIVERSITA DEGLI STUDI DELL'AQUILA Italy EU contribution € 86 572,80 Address Piazza santa margherita 2 67100 L aquila See on map Region Sud Abruzzo L’Aquila Activity type Higher or Secondary Education Establishments Administrative Contact Maria Domenica Di Benedetto (Prof.) Links Contact the organisation Opens in new window Other funding No data MILTECH HELLAS BIOMICHANIA EMPORIOANTIPROSOPEIES ILEKTRONIKON OPTIKON KAI MICHANOLOGIKON EIDON AE Greece EU contribution € 0,00 Address I. metaxa 90 19400 Koropi See on map Region Αττική Aττική Ανατολική Αττική Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact John Spanoudakis (Mr.) Links Contact the organisation Opens in new window Website Opens in new window Other funding No data PRAGMADEV SARL France EU contribution € 49 634,07 Address Rue saint ambroise 9 75011 Paris See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Emmanuel Gaudin (Mr.) Links Contact the organisation Opens in new window Other funding No data PRISMTECH LIMITED United Kingdom EU contribution € 58 181,63 Address Prismtech house 5th avenue business park, team valley NE11 0NG Gateshead See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Lawrence Ross (Mr.) Links Contact the organisation Opens in new window Other funding No data SAROKAL SOLUTIONS OY Finland EU contribution € 71 954,96 Address Valtatie 67 90500 Oulu See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Administrative Contact Harri Valasma (Mr.) Links Contact the organisation Opens in new window Other funding No data
