Component Recovery , Protocol Recovery and Validation in Bauhaus

Bauhaus is a research collaboration between the department for programming languages and compilers at the University of Stuttgart and the Fraunhofer institute for experimental software engineering in Kaiserslautern. At last year’s Bad Honnef workshop [2], we have outlined future research topics of Stuttgart’s Bauhaus group. This year, we summarize the achievements of the last 12 months and elaborate our research directions in more detail. This paper specifically addresses continued research in component recovery based on previous work [7] that additionally leverages our new infrastructure for control and data flow analyses. The paper introduces also relatively new research to recover protocols for the identified components.