PROXIMA

Probabilistic real-time control of mixed-criticality multicore and manycore systems

Coordinatore	BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACION    more  Organization address address: C/Jordi Girona (Ed. Nexus II) 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	6˙793˙991 €
EC contributo	4˙650˙000 €
Programma	FP7-ICT Specific Programme "Cooperation": Information and communication technologies
Code Call	FP7-ICT-2013-10
Funding Scheme	CP
Anno di inizio	2013
Periodo (anno-mese-giorno)	2013-10-01   -   2016-09-30

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACION  Organization address address: C/Jordi Girona (Ed. Nexus II) 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	AEROFLEX GAISLER AB  Organization address address: KUNGSGATAN city: GOTEBORG postcode: 41119 contact info Titolo: Mr. Nome: Per Cognome: Danielson Email: send email Telefono: 46317758650 Fax: +46 31421407	SE (GOTEBORG)	participant	0.00
3	AIRBUS OPERATIONS SAS  Organization address address: ROUTE DE BAYONNE city: TOULOUSE postcode: 31060 contact info Titolo: Mrs. Nome: Sylvie Cognome: VERGNES Email: send email Telefono: +33 561937474	FR (TOULOUSE)	participant	0.00
4	ASTRIUM SAS  Organization address address: RUE PASTEUR city: SURESNES postcode: 92150 contact info Titolo: Mrs. Nome: Valerie Cognome: CAMBRA Email: send email Telefono: +33 5 62 19 60 46 Fax: +33 5 62 19 67 77	FR (SURESNES)	participant	0.00
5	IKERLAN S.COOP.  Organization address address: Paseo J.M. Arizmendiarrieta city: MONDRAGON postcode: 20500 contact info Titolo: Dr. Nome: Chris Cognome: Merveille Email: send email Telefono: 34943712400	ES (MONDRAGON)	participant	0.00
6	Infineon Technologies UK Ltd  Organization address address: Infineon House, Great Western Court, Hunts Ground Rd city: Bristol postcode: BS34 8HP contact info Titolo: Dr. Nome: Helen Cognome: Finch Email: send email Telefono: +44 117 952 8711	UK (Bristol)	participant	0.00
7	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: Ms. Nome: Virginie Cognome: Levet Email: send email Telefono: +33 1 39635901 Fax: +33 1 39635034	FR (LE CHESNAY Cedex)	participant	0.00
8	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
9	SYSGO S.A.S  Organization address address: ROUTE DE SARTROUVILLE city: LE PECQ postcode: 78230 contact info Titolo: Mr. Nome: Francis Cognome: Vatrinet Email: send email Telefono: +33 1 30091270 Fax: 33130150448	FR (LE PECQ)	participant	0.00
10	UNIVERSITA DEGLI STUDI DI PADOVA  Organization address address: Via VIII Febbraio city: PADOVA postcode: 35122 contact info Titolo: Ms. Nome: Camilla Cognome: Galiazzo Email: send email Telefono: +39 0498271440 Fax: +39 8271499	IT (PADOVA)	participant	0.00
11	UNIVERSITY OF YORK  Organization address address: HESLINGTON HALL city: YORK postcode: YO10 5DD contact info Titolo: Dr. Nome: Eszter Cognome: Papp Email: send email Telefono: +44 1904 322108	UK (YORK)	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)

In the next decade, EU industries developing Critical Real-Time Embedded Systems (CRTES) (safety, mission or business critical) will face a once-in-a-life-time disruptive challenge caused by the transition to multicore processors and the advent of manycores, tantamount to complex networked systems. This challenge brings the opportunity to integrate multiple applications onto the same hardware platform bringing significant advantages in performance, production costs, and reliability. It also brings a severe threat relating to a key problem of CRTES; the need to prove that all temporal constraints will be satisfied during operation. Current CRTES, based on relatively simple singlecore processors, are already extremely difficult to analyse for temporal behaviour, resulting in errors in operation costing EU industry billions each year. The advent of multicore and manycore platforms exacerbates this problem, rendering traditional temporal analysis techniques ineffectual. A new approach is needed.nThe PROXIMA thesis is that the temporal behaviour of mixed-criticality CRTES executing on multicore and manycore platforms can be analysed effectively via innovative probabilistic techniques. PROXIMA defines new hardware and software architectural paradigms based on the concept of randomisation. It extends this approach across the hardware and software stack ensuring that the risks of temporal pathological cases are reduced to quantifiably small levels. On top of this, PROXIMA builds a comprehensive suite of probabilistic analysis methods integrated into commercial design, development, and verification tools, complemented by appropriate arguments for certification. PROXIMA provides a complete infrastructure; harnessing the full potential of new processor resources, demonstrating and supporting effective temporal analysis, bringing the probabilistic approach to a state of technological readiness, and priming multiple EU industry sectors in its use via a number of case studies.