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:




reactive,
embedded,
distributed,
mobile,
networked,
battery powered,
limited in resources.

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