Technische
            Universität Braunschweig
  • Homepage
  • Team
  • Research
    • Group Saidi
    • Group Jukan
    • Group Gomez
  • Teaching
    • Courses
    • Student research
    • Seminar topics
    • Incoming Students
  • Job offers
  • News
    • DE
    • EN
Logo Institut für Datentechnik und Kommunikationsnetze der TU Braunschweig
  • TIMMO-2-USE
    • Project Description
    • TIMMO-2-USE at IDA
    • Team Members
    • Student Work
    • Funding

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[EXTERNAL] (BMBF) .


Contact

Institute of Computer and Network Engineering
Hans-Sommer-Street 66
38106 Braunschweig
Phone: +49 (0)531 391-3734
Fax: +49 (0)531 391-4587
sekretariat[[a]]ida.ing.tu-bs.de

Office hours:

Mon: 
-
Tue:   
10:30-12:00
Wed:   
10:30-12:00
Thu: 
10:30-12:00
Fri:
-
© Technische Universität Braunschweig
Legal notice / disclaimer Data Privacy Policy