The research conducted by our working group is focused on methods for developing embedded software that meets high quality standards. Current goals concern object-oriented methods, especially with respect to applications in safety-critical, highly available real-time systems. The ongoing growth of software and its distributed architecture is particularly considered. Many projects are conducted in collaboration with industrial partners.

We are always looking for interested students who want to engage in research about one or more of the following topics. If you are interested please contact one of our staff members so we can discuss your interests and ideas.

Possible topics may be (not exclusively) in the field of:

• Software Quality
• Software Measures
• Reliability of software-intensive Systems
• Development of embedded Systems with regards to Quality
• Verification of Software Properties
• Modeling of safety aspects

Cover-sheet template for MS-Word