Not only does the analysis of distributed systems typically grow significantly more complex with each additional node, many traditional analysis methods fail to cover the distributed case completely. The primary research focus of the COMSYS Systems Analysis Group is to develop novel and improved approaches to managing the complexity in Distributed Systems Analysis.

The testability and, in a more general sense, verification of Distributed Systems is one of our major areas of research. We employ different techniques, like Symbolic Execution and Discrete Event Simulation, to find possible errors at scale.

The Systems Analysis Group always has a range of thesis topics available for motivated and talented students. An excerpt of available theses can be seen from inside the RWTH University network.