Welcome

Kai Marquardt

Timur Sağlam gave a keynote at the MODELS 2024 Educators Symposium on the topic Detecting Modelling Plagiarism: Navigating Automated Obfuscation and Generative AI. The international symposium took place at Johannes Kepler University in Linz, Austria, and was attended by educators, researchers and practitioners from the modelling community. An active discussion after the keynote gave these participants the possibility to exchange insights on the topic of plagiarism detection and teaching model-driven engineering.

Three papers by SDQ members have been accepted at next year's ICSE conference:

Timur Sağlam, Moritz Brödel, Larissa Schmid, Sebastian Hahner: Detecting Automatic Software Plagiarism via Token Sequence Normalization (Research Track) URL

Jan Keim, Sophie Corallo, Dominik Fuchß, Tobias Hey, Tobias Telge, Anne Koziolek: Recovering Trace Links Between Software Documentation And Code (Research Track) Pre-Print

Timur Sağlam, Larissa Schmid, Sebastian Hahner, Erik Burger: Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments (Software Engineering Education and Training Track) URL

The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as "the amount of useful work accomplished by a software system compared to the time and resources used", as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. The focus is both on classical performance metrics such as response time, throughput, and resource utilization, as well as on the relationship of such metrics to other software quality attributes including but not limited to scalability, elasticity, (energy) efficiency, dependability (in terms of availability and reliability), resilience, security, and privacy. Topics of interest include the design of metrics, benchmarks, and tools for quantitative system evaluation and analysis, as well as the development of methodologies, techniques and tools for modeling, measurement, load testing, monitoring, profiling, workload characterization, and run-time management of software systems with respect to the mentioned quality attributes.

This year we celebrate 20 years of Palladio. We will look back at the beginnings of Palladio, reflect the current developments and plan the future of Palladio.

SSP 2023 is supported by the GI special interest group "Softwaretechnik".

Timur Sağlam and former DSiS members Jan Wittler and Thomas Kühn have received the Best Paper award at the 19th European Conference on Modelling Foundations and Applications (ECMFA) for their paper “Evaluating Model Differencing for the Consistency Preservation of State-Based Views“.

In their work, the researchers have developed a correctness notion for changes to models in the context of model-view consistency. This is an important contribution for  consistency in the development of Cyber-Physical Systems, a topic which is in the focus of research at DSiS.

The award has been given to a member of the Institute of Information Security and Dependability (KASTEL). The association of software engineers in Karlsruhe (Verein der Karlsruher Software-Ingenieure e.V./VKSI) awards students for excellent bachelor’s and master’s theses every year. This year, Kai Marquardt (from the group Modelling for Continuous Software Engineering, Prof. Anne Koziolek) receives the VKSI award for an excellent master thesis https://publikationen.bibliothek.kit.edu/1000143548  on youth development and teaching in informatics. In his thesis, he introduces an innovative approach to introduce and motivate topics of informatics through interdisciplinary online courses with the goal to engage young students, especially young women, in the subject. Results of the master thesis have been presented at the prestigious ICSE conference paper https://publikationen.bibliothek.kit.edu/1000155705.

Modern cyber-physical systems (CPS), such as cars or production plants, are full of electronic and mechanical components that are controlled by software. The system as a whole can only function if all these parts interact perfectly. Designing such systems poses the challenge of keeping the system architecture consistent att all times. New methods will be developped in a Collaborative Research Center (Sonderforschungsbereich) Consistency in the View-Based Development of Cyber-Physical Systems (Convide) at KIT, with a budget of 11 million € over four years.

Prof. Ralf Reussner is the speaker of this CRC, with members coming from the faculties of Informatics, Electrical Engineering as well as Mechanical Engineering. Furthermore, TU Munich, TU Dresden, and the University of Mannheim will participate in the CRC.