RESEARCH |
|
||||||||||||||||||
Research Focus 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:
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 |