Model-based Engineering and Quality Assurance of Evolving Highly Configurable and Self-Adaptive Software Systems
Malte Lochau
Post-doctoral researcher, Real-Time Systems Lab, Technical University of Darmstadt, Germany
DEIB - Building 24, Alfa Room (ground floor, via Golgi 40, Milano)
July 12th, 2016
2.00 - 3.30 pm
Contact:
Carlo Ghezzi
Research Line:
Advanced software architectures and methodologies
Post-doctoral researcher, Real-Time Systems Lab, Technical University of Darmstadt, Germany
DEIB - Building 24, Alfa Room (ground floor, via Golgi 40, Milano)
July 12th, 2016
2.00 - 3.30 pm
Contact:
Carlo Ghezzi
Research Line:
Advanced software architectures and methodologies
Sommario
The talk gives an overview on recent research topics at the real-time systems labs at TU Darmstadt. One direction of research is concerned with formal foundations of model-driven engineering techniques based on model transformation, particularly focusing on incremental pattern matching and bidirectional graph transformation. Secondly, we consider model-based approaches to quality assurance of evolving highly configurable and self-adaptive systems.
Those approaches include methodologies for modeling and efficiently testing evolving dynamic software product lines (DSPL), with applications to highly configurable control software in the automation engineering domain as well as to self-adaptive systems (SAS) in the context of mobile communication. Finally, we also investigate the application of graph-pattern matching and program transformation techniques to automate object-oriented design-flaw detection in terms of anti-patterns and code smells and their correction using program refactorings.
Those approaches include methodologies for modeling and efficiently testing evolving dynamic software product lines (DSPL), with applications to highly configurable control software in the automation engineering domain as well as to self-adaptive systems (SAS) in the context of mobile communication. Finally, we also investigate the application of graph-pattern matching and program transformation techniques to automate object-oriented design-flaw detection in terms of anti-patterns and code smells and their correction using program refactorings.
Biografia
Malte Lochau received his Phd at TU Braunschweig in the group of Ursula Goltz on product-line testing techniques. Since 2012, he his postdoctoral researcher in the group of Andy Schürr at TU Darmstadt. Malte Lochau is PI of the DFG funded project IMoTEP 2, being part of Priority Programme 1593, and he further works in the Collaborative Research Centre 1053 MAKI.