The Dependable Systems and Software Chair focusses on the design-time assurance of properties like dependability, explainability, safety, and performability for intelligent systems with at least one of the following features:
Below we list some samples of research outcomes all of which are rooted in our foundational science.
Various techniques and tools are developed or co-developed within the group to advance the state-of-the-art in design-time assurance. These techniques often combine ideas from different strands of research such as stochastic modelling, model checking, and process theory. See here for more details.