RESEARCH

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:

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

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.

picture taken by Raphael Reischuk