Year 1 Follow-up Review

 
DELIVERABLES
Please note that this list was assembled in Sept 2008 - well after the Y1 review.
It has not been seen and validated by all the partners, so it could possibly contains errors (eg: wrong versions of some documents).
Nonetheless, every possible effort has been made to ensure its accuracy and completeness.

ref Title   Cluster Partner
Management
1-1 Deliv-JPMA-Y1
Year 1 Periodic Management Report		 JPMA   1 CDC
1-2

Deliv-JPMA-Y1-b
Year 1 Periodic Activity Report

 JPMA / JPIA   2 UJF/verimag

18 Month Workprogramme Sept05-Feb07

    2 UJF/verimag
4 Deliv-JPASE-Y1
Report on Spreading Excellence
fused with:
Deliv-JPIA-b-Y1
Report on Staff Mobility and Exchange
 JPASE   2 UJF/
VERIMAG
Components & Modelling
2-1 Deliv-JPIA-a-Components-Y1
Report on Components Platform for Component Modelling and Verification 		JPIA - Platform Components & Modelling 2 UJF/
VERIMAG
10

Deliv-JPRA-Cluster Integration – Modelling and Components – a - Y1
Report on Component Modelling and Composition

annex 1: Predictability in Dependable CBS
annex 2: Survey: Compositionality for Timed Models
annex 3: Survey: Refinement for Timing Properties

 JPRA -
Cluster Integration 		Components & Modelling 32 Uppsala
Hard Real-Time
5 Deliv-JPRA-NoE Integration-a-Y1
Report on Semantic Framework for Hard Real-Time Design Flow		 JPRA -
NoE Integration

Hard Real-Time
Adaptive Real-Time
Control for Embedded Systems

15 INRIA
6

Deliv-JPRA-NoE Integration-b-Y1
Report on Merging the Event-triggered and Time-triggered Paradigms

 JPRA -
NoE Integration

Hard Real-Time
Adaptive Real-time
Execution Platforms

1 VERIMAG
12

Deliv-JPRA-Cluster Integration – Hard Real Time - Y1
Report on Diagnosis in Distributed Hard Real-Time Systems

 JPRA -
Cluster Integration 		Hard Real Time 28 TU Vienna
Adaptive Real Time
2-2

Deliv-JPIA-a-ART-Y1
Report on ART Platform:
A Common Infrastructure for Adaptive Real-time Systems

JPIA - Platform Adaptive Real Time 2 UJF/
VERIMAG
13 Deliv-JPRA-Cluster Integration – Adaptive Real Time – a – Y1
Report on Flexible Scheduling Technologies
JPRA -
Cluster Integration 		Adaptive Real Time 23 Pavia
14 Deliv-JPRA-Cluster Integration – Adaptive Real Time – b – Y1
Report on Adaptive Resource Management for Consumer Electronics
 JPRA -
Cluster Integration 		Adaptive Real Time 20 Mälardalen
Compilers & Timing Analysis
2-3 Deliv-JPIA-a3-Y1
Report on Timing Analysis Platform		 JPIA - Platform Compilers & Timing Analysis 2 UJF/
VERIMAG
2-4 Deliv-JPIA-a4-Y1
Report on Compilers Platform		 JPIA - Platform Compilers & Timing Analysis 2 UJF/
VERIMAG
15 Deliv-JPRA-Cluster Integration – Compilers and Timing Analysis – Y1
Report on Architecture-aware compilation
 JPRA -
Cluster Integration 		Compilers and Timing Analysis 3 RWTH Aachen
Execution Platforms
17 Deliv-JPRA-Cluster Integration – Execution Platforms –b – Y1
Design for low power		 JPRA -
Cluster Integration 		Execution Platforms 31 Bologna
Testing and Verification
2-7 Deliv-JPIA-a-TV-Y1
Report on T&V Platform for Embedded Systems 		JPIA - Platform Testing and Verification 2 UJF/
VERIMAG
21 Deliv-JPRA-Cluster Integration – Testing and Verification – b – Y1
Verification of Security Properties		 JPRA -
Cluster Integration 		Testing and Verification 1 UJF/VERIMAG
  Gender Action Plan
Year 1 Report