Project Objectives
| The PRESTO project objectives are: |
| • |
To define the case studies and the associated requirements for the PRESTO technology validation. |
| • |
To formalize the case studies requirements as functional and non-functional properties. |
| • |
To specify the test traces format required by the tool providers. |
| • |
To generate the test traces required as input for the tools. |
| • |
To establish methods and tools that facilitate early system-level exploration of combined models of application and execution platform. |
| • |
To define the mapping rules between trace format specification and the significant events for functional properties and temporal predicates validation. |
| • |
To define functional verification techniques to validate properties on the generated traces. |
| • |
To define new WCET techniques for early stage analysis. |
| • |
To define performance simulation techniques to validate properties on the generated traces. |
| • |
To perform hardware platform modelling. |
| • |
To compare performance analysis results with real platform performance results. |
|
