Practicals & Theses

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

Details for Formal Specification of Real-Time Systems

Within the project TeDES we have a research cooperation with industrial partners from the automotive industry to develop a test environment to systematically verify distributed safety-critical real-time systems.

Within this Masther's thesis one will work on model-based testing, with the focus on formal mechanisms for specifying real-time systems. Formal means, that the description has a well-defined meaning.

The aim of this work is to remove or reduce the error-prone and tedios process of generating test cases manually. This work is also of high practical significance in industry.

Required Skills

Programming in general, real-time sytems

Estimated End Date

01. 03. 2007


Privatdoz. Dipl.-Ing. Dr.techn. Raimund KIRNER (main responsibility)