horizontal rule


What the project is about...

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 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. Note that just using a faster processor is not a solution for time predictability. 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 word processing we accept this minor inconvenience, but for a safety-critical system such a “pause” can result in a catastrophic failure. 

The T-CREST will research and 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.

horizontal rule

The T-CREST Project 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.
Copyright © 2011 T-CREST Project Partners. 
Send mail to webmaster with questions or comments about this web site.