Welcome at the Institute for Programming and Reactive Systems

The focus of the Institute for Programming and Reactive Systems are methods for specification, design, implementation and validation of software systems, specifically for embedded systems. The generally great complexity of such systems through the combination of the components and their environment as well as high demands to their reliability and the real time aspects require qualified design and verification methods. In contrast to transformational software systems, specifically the modelling of dynamic behaviour and of interaction during the course is essential.

The whole area of software design for embedded systems from property oriented description of the wanted behaviour over model-based development and architecture design down to the implementation level and validation is covered through exemplary research. This line of research is followed both in foundational work and in application projects (e.g. in the Automotive sector).

  last changed 01.09.2011
TU_Icon_E_Mail_1_17x17_RGB pagetop