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

Coaches

Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner (main responsibility)
E-Mail:
Homepage: https://ti.tuwien.ac.at/rts/people/kirner/view

Types

Diplomarbeit

back