On Monday, December 16th, the SDQ Winter Day 2024 will take place, starting at 15:45 at the Infobau (building 50.34) in front of room 325. There, the research groups MCSE (KASTEL Koziolek), DSiS (KASTEL Reussner), and SASIS (KASTEL Mirandola) will present themselves to interested students. In addition to presentations from research and industry, there will be free mulled wine, non-alcoholic punch, and waffles. There is also the opportunity to discuss thesis topics with members of the groups.

More information about the program can be found at https://sdq.kastel.kit.edu/wiki/SDQ_Winter_Day.

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".

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.

Dr.-Ing. Max Scheerer successfully passed his defense with highest honors. His dissertation has the title Evaluating Architectural Safeguards for Uncertain AI Black-Box Components and is available in KITopen.

Dr.-Ing. Sofia Ananieva successfully passed her defense with highest honors.
 

Dr.-Ing. Stephan Seifermann successfully passed his defence on 23 May 2022. His dissertation on "Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements" is available online: https://publikationen.bibliothek.kit.edu/1000148748

DSiS employee Heiko Klare received the "Baden-Württemberg Certificate" for university didactics ("Baden-Württemberg-Zertifikat für Hochschuldidaktik"). It certifies the participation at workshops, supervisions, practical coaching and individual qualification measures with a total amount of 200 teaching units. Heiko Klare specialized in developing concepts for e-learning and e-assessments. In this year, the certificates have been awarded without a formal handover.
The "Baden-Württemberg Certificate" is awarded by the center for educational development (Hochschuldidaktikzentrum - HDZ) as an association of the nine universities of Baden-Württemberg. Its goal is to further improve the didactic competences of teachers at these universities and to provide them with professional assistance during the two-year advanced training. After successful completion of three modules, the participants are awarded the "Baden-Württemberg Certificate" for university didactics.

New journal paper in Software and Systems Modeling by SDQ member Robert Heinrich and Moussa Amrani, Dominique Blouin, Arend Rensink, Hans Vangheluwe and Andreas Wortmann on Multi-paradigm modelling for cyber–physical systems.

The paper "Multi-paradigm modelling for cyber–physical systems: a descriptive framework" by Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe and Andreas Wortmann has been published in Software and Systems Modeling volume 20 and will be presented as a journal-first paper at the ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

Dr.-Ing. Heiko Klare successfully passed his defence with highest honors.

Photo by Dominik Werle

His dissertation on "Building Transformation Networks for Consistent Evolution of Interrelated Models" is available online.

First International Workshop on Properties of Software Engineering Research (PROPSER)

Aim

This workshop aims to bring together researchers at various points in their career and practitioner's alike, for discussing the systematic description and evaluation of software engineering research and their documentation.

Motivation

The workshop is motivated by two observations:

writing and reviewing software engineering research results is often hindered by the lack of a community understanding what are important questions (hypotheses) to validate research and which methods are suitable, appropriate and needed for demonstrating evidence;

retrieving research results just through syntactical terms of the paper title (or even abstract) is often very hard, and, as a consequence, comprehensively relating research results to each other in terms of support, strengthening or contradiction is rarely done.

Therefore, in PROPSER we want to discuss in particular:

– properties for describing software engineering research, such as relevance, evidence, applicability, appropriateness, etc;

– general patterns for suitable empirical validations of research results and hypotheses;

– suitable classifications of software engineering research, beyond established subject categories;

– experiences, rules or guidelines, on how to decide on suitable validation questions and subsequently suitable empirical methods;

– managing and organising research knowledge at a finer grain than paper citations;

– methods for evaluating the impact of research on software engineering practice.

Important Dates

Paper submission: March 26, 2021
Author notifications: April 19, 2021
Workshop: June 23, 2021

Workshop Chairs

Antonia Bertolino, ISTI-CNR, Italy                    
Anne Koziolek, Karlsruhe Institute of Technology (KIT), Germany
Ralf Reussner, Karlsruhe Institute of Technology (KIT) / FZI – IT Research Centre, Germany (main contact)     

The paper entitled "Architectural Runtime Models for Integrating Runtime Observations and Component-based Models" has been accepted for publication in Journal of Systems & Software. The paper is about using knowledge about software architecture to keep track of modern software applications while dynamically changing. This requires strong interaction of evolution activities on development level and adaptation activities on operation level.

The paper is accessible as preprint here.

The Journal of Systems and Software is one of the leading international jounals in Software and Systems Engineering according to the Google Scholar ranking. The paper "The Palladio Component Model for Model-driven Performance Prediction" has been awarded as one of the four finalist for the Journal of Systems and Software's "Most Influential Paper" award.