PROARTIS

Probabilistically Analysable Real-Time Systems

Coordinatore	BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACION    more  Organization address address: Barcelona Supercomputing Center. Edificio Nexus II. Jordi Gi 29 city: Barcelona postcode: 8034 contact info Titolo: Mr. Nome: Xavier Cognome: Salazar Forn Email: send email Telefono: +34 934137936 Fax: +34 934137721
Nazionalità Coordinatore	Spain [ES]
Totale costo	2˙603˙890 €
EC contributo	1˙800˙000 €
Programma	FP7-ICT Specific Programme "Cooperation": Information and communication technologies
Code Call	FP7-ICT-2009-4
Funding Scheme	CP
Anno di inizio	2010
Periodo (anno-mese-giorno)	2010-02-01   -   2013-07-31

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACION  Organization address address: Barcelona Supercomputing Center. Edificio Nexus II. Jordi Gi 29 city: Barcelona postcode: 8034 contact info Titolo: Mr. Nome: Xavier Cognome: Salazar Forn Email: send email Telefono: +34 934137936 Fax: +34 934137721	ES (Barcelona)	coordinator	0.00
2	AIRBUS OPERATIONS SAS  Organization address address: ROUTE DE BAYONNE city: TOULOUSE postcode: 31060 contact info Titolo: Mr. Nome: Thierry Cognome: PICOT Email: send email Telefono: +33 561935266 Fax: +33 561938926	FR (TOULOUSE)	participant	0.00
3	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE  Organization address address: Domaine de Voluceau, Rocquencourt city: LE CHESNAY Cedex postcode: 78153 contact info Titolo: Dr. Nome: Liliana Cognome: Cucu Email: send email Telefono: +33 354958468 Fax: +33 383552573	FR (LE CHESNAY Cedex)	participant	0.00
4	RAPITA SYSTEMS LIMITED  Organization address address: ITCENTER,YORK SCIENCE PARK,HESLINGTON YORK city: YORK postcode: YO10 5DG contact info Titolo: Dr. Nome: Ian Cognome: Broster Email: send email Telefono: 441905000000	UK (YORK)	participant	0.00
5	UNIVERSITA DEGLI STUDI DI PADOVA  Organization address address: Via VIII Febbraio city: PADOVA postcode: 35122 contact info Titolo: Ms. Nome: Fiorella Cognome: Fabrizi Email: send email Telefono: 390498000000 Fax: 398271499	IT (PADOVA)	participant	0.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

There is an ever-increasing demand both for new functionality and for reduced development and production costs for all kinds of Critical Real-Time Embedded (CRTE) systems (safety, mission or business critical). Moreover, new functionality demands can only be delivered by more complex software and aggressive hardware acceleration features like memory hierarchies and multicore processors. However, these greatly increase system complexity, making it much more difficult to analyse applications for their temporal behaviour. Another key problem of CRTE systems is the need to prove that they operate correctly, satisfying all temporal constraints. The current generation of platforms, despite being based on comparatively simple and old processor technologies, are already extremely difficult to analyse for their temporal behaviour, and resulting errors in operation, cost EU industries billions of Euros annually in warranty and post-production costs.nnThe PROARTIS thesis is that the timing behaviour of systems that use advanced hardware features like multicore CPUs and complex memory hierarchies can be analysed effectively by probabilistic timing analysis techniques that reduce the risk of temporal pathological cases to quantifiably negligible levels. Preliminary research results in cache replacement policies by members of the PROARTIS consortium strongly support this claim. PROARTIS defines new hardware and software architecture paradigms based on the concept of randomisation that, with minimal changes to current processes and methods, guarantee timing behaviours that can be analysed with probabilistic techniques. PROARTIS uses a holistic approach in which probabilistic analysis extends from hardware design, compiler and real time operating system to applications. On top of this platform, we will build probabilistic timing analysis methods based on current commercial tools. We will validate our approach via an industrial case study.