The Dependable Systems and Software Group focusses on the design-time assurance of performance and dependability for systems with at least one of the following features:
Techniques and tools
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.
Current Research Activities
Current Research Projects
picture taken by Raphael Reischuk
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|