The Dependable Systems and Software Chair focusses on the design-time assurance of performance and dependability for systems with at least one of the following features:
Various techniques and tools are used, developed, or co-developed within the group to advance the state-of-the-art in performance and dependability assurance. These techniques combine ideas from three, usually separated, strands of research: stochastic modelling, exhaustive verification, and process theory. See the links below for more details.
You can find an overview over the tools developed at our chair on the tools page.
The research of the Dependable Systems and Software Chair can be broadly categorized in the following areas: