The focus of our research is on the development of methods for the design of dependable (distributed) automation systems. Dependability in the sense of the trustworthiness of a system can be reached by two approaches: transparent development processes and detailed analysis. Both approaches are studied in our research.

Our two primary application areas of those development methods are:

  • Automation and optimization of energy systems, especially the integration of renewable generators and the related challenges regarding an efficient operation.
  • Conceptual design and analysis of networked automation systems, the so-called C³ systems (Communication, Computation, Control), whose complex time behavior imposes special requirements on their design and specification as well as on modeling and simulation.