Coordinatore | X/OPEN COMPANY LIMITED
Organization address
address: Avenue du Parc de Woluwe 56 contact info |
Nazionalità Coordinatore | United Kingdom [UK] |
Totale costo | 3˙652˙541 € |
EC contributo | 2˙650˙000 € |
Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
Code Call | FP7-ICT-2011-7 |
Funding Scheme | CP |
Anno di inizio | 2011 |
Periodo (anno-mese-giorno) | 2011-09-01 - 2014-08-31 |
# | ||||
---|---|---|---|---|
1 |
X/OPEN COMPANY LIMITED
Organization address
address: Avenue du Parc de Woluwe 56 contact info |
UK (Brussels) | coordinator | 0.00 |
2 |
ABSINT ANGEWANDTE INFORMATIK GMBH
Organization address
address: SCIENCE PARK 1 contact info |
DE (SAARBRUECKEN) | participant | 0.00 |
3 |
DANMARKS TEKNISKE UNIVERSITET
Organization address
address: Anker Engelundsvej 1, Building 101A contact info |
DK (KONGENS LYNGBY) | participant | 0.00 |
4 |
GMVIS SKYSOFT SA
Organization address
city: LISBOA contact info |
PT (LISBOA) | participant | 0.00 |
5 |
PARTECIPAZIONI TECNOLOGICHE SPA
Organization address
address: SALITA DEL POGGIO LAURENTINO contact info |
IT (ROMA) | participant | 0.00 |
6 |
TECHNISCHE UNIVERSITAET WIEN
Organization address
address: Karlsplatz contact info |
AT (WIEN) | participant | 0.00 |
7 |
TECHNISCHE UNIVERSITEIT EINDHOVEN
Organization address
address: DEN DOLECH contact info |
NL (EINDHOVEN) | participant | 0.00 |
8 |
UNIVERSITY OF YORK
Organization address
address: HESLINGTON HALL contact info |
UK (YORK) | participant | 0.00 |
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Safety-critical systems are important parts of our daily life. Those systems are also called dependable systems, as our lives can depend on them. Examples are controllers in an airplane, breaking controller in a car, or a train control system. Those safety-critical systems need to be certified and the maximum execution time needs to be bounded and known so that response times can be assured when critical actions are needed. Even with high performance processors in our desktop PCs we notice once in a while that the PC is 'frozen' for a few seconds. For a safety-critical system such a 'pause' can result in a catastrophic failure.nThe mission of T-CREST is to develop tools and build a system that prevents pauses by identifying and addressing the causes for possible pauses. The T-CREST time-predictable system will simplify the safety argument with respect to maximum execution time striving to double performance for 4 cores and to be 4 times faster for 16 cores than a standard processor in the same technology (e.g., FPGA). Thus the T-CREST system will result in lower costs for safety relevant applications reducing system complexity and at the same time faster time-predictable execution.nStandard computer architecture is driven by the following paradigm: make the common case fast and the uncommon case correct. This design approach leads to architectures where the average-case execution time is optimized at the expense of the worst-case execution time (WCET). Modelling the dynamic features of current processors, memories, and interconnects for WCET analysis often results in computationally infeasible problems. The bounds calculated by the analysis are thus overly conservative.nWe need a sea change and we shall take the constructive approach by designing computer architectures where predictable timing is a first-order design factor. For real-time systems we propose to design architectures with a new paradigm: make the worst-case fast and the whole system easy to analyse. Despite the advantages of analysable system resources, only a few research projects exist in the field of hardware optimized for the WCET.nWithin the project we will propose novel solutions for time-predictable multi-core and many-core system architectures. The resulting time-predictable resources (processor, interconnect, memories, etc.) will be a good target for WCET analysis and the WCET performance will be outstanding compared to current processors. Time-predictable caching and time-predictable chip-multiprocessing (CMP) will provide a solution for the need of more processing power in the real-time domain.nNext to the hardware (processor, interconnect, memories), a compiler infrastructure will be developed in the project. WCET aware optimization methods will be developed along with detailed timing models such that the compiler benefits from the known behaviour of the hardware. The WCET analysis tool aiT will be adapted to support the developed hardware and guide the compilation.