This document provides a preliminary definition and analysis of: programming paradigms, patterns and styles (UPA), specification of functionality to be provided at the kernel and middleware levels (UPA) and a review of probabilistic analysis techniques applied to software (INRIA).

This document provides a set of probabilistic timing analysis methods as well and evaluation of these methods for single core processors.

The Project Portal is a wiki-based collaborative tool that provides a consistent mechanism for sharing project technical and administrative status and documentation with all project participants. The deliverable is accompanied by a document that will describe the collaborative tool as well as how it is used and updated.

This document describes the technical requirements to be accomplished by the PROARTIS Project as well as the criteria that will be used to measure the success of the project. This document includes the following Deliverables due at m6, as described in the Description of Work (DoW): Overall Technical Project Requirements and Success Criteria (D5.3), Technical Specification: Platform (D1.1), Technical Specification: Software Technology (D2.1), Technical Specification: Probabilistic Timing Method Selection (D3.1), Baseline Integrated Tool-chain: (D3.2), The scope and contents of these deliverables are so tightly interconnected to one another that we chose to merge them all into a single document, yet keeping each individual deliverable in a separate section for the sake of clarity and ease of reference. Our aim in doing so was to reduce redundancy and increase consistency. We ordered the presentation of the requirements that emanate from individual deliverables as follows: first the general requirements and success criteria (D5.3), then the per-workpackage requirements (D1.1, D2.1, D3.1) and finally the requirements on the tool chain (D3.2). Requirements are assigned a unique identification number in this document for future reference along the lifespan of the project. This identification is in the form: Rn.m where n denotes the originating deliverable and m the ordinal within the deliverable. The identification of the technical requirements of the project is one of the main results of the first 6 months of work. For a complete survey of all the activities carried out during the first six months of project work we refer the reader to deliverable D5.4 (6-Month Project Activity Report).

This report is based on the Guidelines provided by the European Commission for FP7 STREPs.

This report summarizes the PROARTIS Team’s efforts towards an initial press release. The actual impact will be monitored and reported in the D6.4, D6.5 and D6.6 Dissemination and Use periodic reports.