TIMMO-2-USE

Project Description

TIMMO-2-USE aims at studying all the timing aspects involved in the design and verification of real-time systems.

For more information you can visit: http://www.timmo-2-use.org/.

TIMMO-2-USE at IDA

The contribution of IDA in TIMMO-2-USE concerns all the aspects of the project involving probabilistic timing information, from language issues to theoretical solutions to validations of the algorithms and tools.

More precisely, we are developing a new approach called Typical-Case Analysis (TCA) which aims at providing results more precise than the worst-case scenario.

Team Members

 
• Matthias Hanke, PhD student
• Mark Jeske, HiWi
• Sophie Quinton, postdoc

Student Work

• System simulation model generator

Funding

The ITEA2 project TIMMO-2-USE is funded by Bundesministerium für Bildung und Forschung (BMBF) .