Practicals & Theses

List of practicals and theses at the institute (see also TI Research Presentations)

Details for Design of a Repository for Embedded Real Time Applications

The FORmal Timing Analysis Suite is a framework for the validation of temporal requirements in the context of embedded real time systems. In cooperation with TU Darmstadt and partners from industry we are currently developing a tool that automatically provides timing properties for software and system architects.


Your task is to design a plug-in for our framework that organizes and processes test programs (i.e. input for our analysis). This will involve database design, scripting, and a version control system, for instance subversion. You will get intense mentoring by our dedicated research team and gain experience in cutting-edge technology in the domain of embedded systems engineering. There is also the possibility to join project meetings at TU Darmstadt.

Aufgabe ist die Umsetzung einer Organisationseinheit für Testprogramme, die wir unter anderem zur Qualitätssicherung des FORTAS-Frameworks benötigen. Diese beinhaltet die Bereiche Datenbankmodellierung, Skriptsprachen und Versionsverwaltung (z.B. Subversion). Wir bieten ein nettes Forschungsumfeld und intensive Betreuung. Wir erwarten Engagement und Bereitschaft sich mit den nötigen technischen Mitteln vertraut zu machen. Die Möglichkeit der Teilnahme an Projekttreffen in Darmstadt ist gegeben.


Sven BÜNTE (main responsibility)


Praktikum, Diplomarbeit