Targeted Research Project

T-CREST is a Specific Targeted Research Project (STREP) of the Seventh Framework Programme for research and technological development (FP7) - the European Union's chief instrument for funding research over the period 2007 to 2013.

Share this


T-CREST Poster

Photos

  • Add Photos
  • View All
 

The T-CREST Project

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 navigation controllers in an aeroplane, 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.

 

The T-CREST project is developing a time-predictable system that will simplify the safety argument with respect to maximum execution time while striving to double performance for 4 cores and to be 4 times faster for 16 cores than a standard processor of the same technology (e.g. FPGA). The ultimate goal of the T-CREST system will be to lower costs for safety relevant applications, reducing system complexity and at the same time achieving faster time-predictable execution.

T-CREST News Forum

Refinement of Worst-Case Execution Time Bounds by Graph Pruning

Florian Brandner and Alexander Jordan.Refinement of Worst-Case Execution Time Bounds by Graph Pruning.Computer Languages, Systems & Structures (COMLAN), 2014. DOI:…Continue

Started by Alexander Jordan Oct 4, 2014.

Towards Automated Generation of Time-Predictable Code

Daniel Prokesch, Benedikt Huber and Peter Puschner.Towards Automated Generation of Time-Predictable Code.In Int. Workshop on Worst-Case Execution Time Analysis, volume 39 of OASIcs, pages 103–112.…Continue

Started by Daniel Prokesch Sep 23, 2014.

The T-CREST Approach of Compiler and WCET-Analysis Integration

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard: The T-CREST Approach of Compiler and WCET-Analysis IntegrationIn: "Proceedings of the 9th Workshop on Software Technologies for…Continue

Started by Daniel Prokesch Sep 23, 2014.

Criticality: static profiling for real-time programs

Florian Brandner, Stefan Hepp, and Alexander Jordan.Criticality: static profiling for real-time programs.Real-Time Systems (RTS), May 2014, Volume 50, Issue 3, pp 377-410.DOI:…Continue

Started by Alexander Jordan Sep 16, 2014.

Members

T-CREST is partially funded by the European Commission under the 7th Framework Programme for Information and Communications Technologies.
 
Any opinions expressed in these pages are those of the author / organisation and do not necessarily reflect the views of the European Commission.

 
 
 

T-CREST Partners

 

© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service