Welcome

On December 7, the SDQ Winter Day will take place starting at 3:45 pm at the Infobau (50.34) in front of room 325. In addition to presentations from research and industry, there will be free mulled wine, punch and waffles. There is also an opportunity to discuss thesis topics with members of the group. More information about the program can be found at: https://sdq.kastel.kit.edu/wiki/SDQ_Winter_Day.

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 https://www.performance-symposium.org/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.

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.