Skip to main content

ImProvements of industrial Real Time Embedded SysTems devel0pment process

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 results


DoW (TA) Approved by the ARTEMIS JU on 26/05/2014

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
11526 Athina
Greece
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Vangelis Kollias (Dr.)

Participants (13)

TEKNOLOGIAN TUTKIMUSKESKUS VTT

Participation ended

Finland
Address
Tekniikantie 4 A
02044 VTT Espoo
Activity type
Research Organisations
Administrative Contact
Kari Kullervo Tiensyrjä (Mr.)
THALES SIX GTS FRANCE SAS
France
EU contribution
€ 231 231,37
Address
Avenue Des Louvresses 4
92230 Gennevilliers
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Sylvie Raynaud (Dr.)
RAPITA SYSTEMS LIMITED
United Kingdom
EU contribution
€ 52 552,73
Address
Atlas House Osbaldwick Link Road
YO10 3JB York
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Guillem Bernat Nicolau (Dr.)
TEKNOLOGIAN TUTKIMUSKESKUS VTT OY
Finland
EU contribution
€ 155 658,19
Address
Tekniikantie 21
02150 Espoo
Activity type
Research Organisations
Administrative Contact
Kari Kullervo Tiensyrjä (Mr.)
SOFTEAM
France
EU contribution
€ 253 814,95
Address
Avenue Victor Hugo 21
75016 Paris
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Philippe Desfray (Mr.)
THALES ITALIA SPA
Italy
EU contribution
€ 200 400
Address
Via Provinciale Lucchese 33
50019 Sesto Fiorentino
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Mauro Montanari (Mr.)
Metacase Consulting Oy
Finland
EU contribution
€ 100 200
Address
Ylistönmäentie 31
40500 Jyväskylä
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Juha-Pekka Tolvanen (Dr.)
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France
EU contribution
€ 35 357,57
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
Activity type
Research Organisations
Administrative Contact
Frédérique Lavirotte (Ms.)
UNIVERSITA DEGLI STUDI DELL'AQUILA
Italy
EU contribution
€ 86 572,80
Address
Piazza Santa Margherita 2
67100 L Aquila
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Maria Domenica Di Benedetto (Prof.)
MILTECH HELLAS BIOMICHANIA EMPORIOANTIPROSOPEIES ILEKTRONIKON OPTIKON KAI MICHANOLOGIKON EIDON AE
Greece
Address
Metaxa Street 90
19002 Pagkrati Paiania
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
John Spanoudakis (Mr.)
PRAGMADEV SARL
France
EU contribution
€ 49 634,07
Address
Rue Saint Ambroise 9
75011 Paris
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Emmanuel Gaudin (Mr.)
PRISMTECH LIMITED
United Kingdom
EU contribution
€ 58 181,63
Address
Prismtech House 5Th Avenue Business Park, Team Valley
NE11 0NG Gateshead
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Lawrence Ross (Mr.)
SAROKAL SOLUTIONS OY
Finland
EU contribution
€ 71 954,96
Address
Valtatie 67
90500 Oulu
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Harri Valasma (Mr.)