| Del. no. | Deliverable name |
| D1.1 | First Project Activity Report and Project Management Report |
| D1.2 | Second Project Activity Report and Project Management Report |
| D1.3 | Final Project Activity Report and Project Management Report |
| D1.4 | Final Project Report (for Public Release) |
| D2.1 | Requirements Specification |
| D3.1 | State-of-Art Analysis for Embedded Systems design |
| D3.2 | The SATURN Methodology for the Co-Verification of Embedded Systems (First increment) |
| D3.3 | Code Generation and Co-Verification of Embedded Systems with SystemC (First increment) |
| D3.4 | Code Generation and Heterogeneous Run-Time Environments for the Co-Verification of Embedded Systems (Second increment) |
| D3.5 | The SATURN Methodology for the Co-Verification of Embedded Systems (Final Version) |
| D4.1 | Baseline for MDA Based Modelling and Code Generation |
| D4.2 | Specification of a MDA based Framework with Embedded Systems Verification Support |
| D4.3 | Frameworks for MDA based Modelling and Code Generation, and for Model and Code-based Verification (First increment) |
| D4.4 | Final frameworks for MDA based Modelling and Code Generation, and for Model and Code-based Verification |
| D4.5 | Updated Frameworks |
| D5.1 | Test Cases Specification (first increment) |
| D5.2 | Test Cases Design Implementation and Evaluation (first increment) |
| D5.3 | Test Cases Specification (second increment) |
| D5.4 | Test Cases Design Implementation and Evaluation (second increment) |
| D6.1 | SATURN Project Presentation available |
| D6.2 | Draft Plan for Use and Dissemination of foreground |
| D6.3 | Draft Roadmap Definition |
| D6.4 | Updated Plan for Use and Dissemination of foreground |
| D6.5 | Final Plan for Use and Dissemination of foreground |