Welcome

DSiS in fruling 2023

Research, teaching, and innovation at the Dependability of Software-intensive Systems (DSiS) group is inspired by the fact that in many areas of our daily lives, software has become one the main drivers of innovation. This means that dependability (including safety, security, reliability, availability, and performance) of systems strongly depends on the quality of the software. Our research on dependability of software-intensive systems has the vision of software engineering principles and methods integrated into systems engineering to systematically model and analyse software-intensive systems. This results in two major research lines: On the one hand, we work on a scientific foundation of software design in an engineering sense: We should be able to predict the consequences on design decisions prior to realization. Therefore, we work on software architecture quality analysis, which includes architecture-based simulators for performance and reliability and architecture-based analyses of confidentiality, vulnerability but also maintainability. On the other hand, we research on the extension of software-engineering-based approaches to handle complexity, and to make them applicable to non-software domains, such as meta-modelling, model- and view-based development, and view, version and variant consistency management. Both research lines are specialized for automotive and mobility applications as well as for the Industry 4.0 domain.

The DSiS group is part of Software Design and Quality.

News

Best Paper Award Timur Sağlam
Best Paper Award for Jan Wittler, Timur Sağlam and Thomas Kühn at ECMFA 2023

20 July 2023

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.

Paper at Journal of Object Technology (JOT)
b
VKSI Award for Kai Marquardt

21 June 2023

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.

 

 

 

Convide
CRC 1608 »Convide« granted

23 May 2023

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.

Homepage of CRC 1608
Max Scheerer Verteidigung
New PhD: Dr.-Ing. Max Scheerer

9 May 2023

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.

Publication in KITopen
JSS
New paper in Journal of Systems & Software

26 July 2022

The paper entitled "Scalability Testing Automation using Multivariate Characterization and Detection of Software Performance Antipatterns" by DSiS members Robert Heinrich, Martina Rapp, Jörg Henß and collaboration partners from eSulab Solutions, Ericsson AB, Blekinge Institute of Technology, Gran Sasso Science Institute, Free University of Bozen-Bolzano, and University of Hamburg has been published in the Journal of Systems & Software.

Paper at Journal of Systems and Software (JSS)
Sofia Ananieva
New PhD: Dr.-Ing. Sofia Ananieva

1 July 2022

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