Testing the Future Internet
Creating new adaptive Internet technologies as envisioned by the MAKI (Multi-Mechanisms Adaptation for the Future Internet) project requires the interaction of a plethora of different modules, submodules and hardware platforms. Implementation-defined behaviour and the inherent concurrency and communication delay of these systems are the primary sources of many potential types of errors. As can already be observed in current highly distributed systems such errors tend to hide in sometimes quite obscure corner-cases. For example, a catastrophic protocol lock-up might manifest only for an unlikely, unexpected packet reordering. In addition, incompatibilities stemming from the heterogeneity of subsystems, demand further attention for testing approaches. This work aims at devising methodologies that address particularly timing and heterogeneity related issues in distributed and networked systems, with a focus on event-driven software.
Oscar Dustmann‘s research interests include software reliability, particularly in the domain of networked and distributed systems. He focuses on influence of time on the behaviour of systems and how this can be analysed by symbolic execution. He received his BSc and MSc in Computer Science from the chair for Communication and Distributed Systems of RWTH Aachen University, where he is also pursuing his PhD studies since late 2013. Currently, he is visiting the Software Reliability Group during summer semester 2014 working on the KLEE constraint solver algorithms. Oscar is one of the two main contributors to and current maintainer of the KleeNet project, a fork of KLEE for distributed systems.
Hosted jointly with the LSDS group.