Welcome
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.
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
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.
1 July 2022
Dr.-Ing. Sofia Ananieva successfully passed her defense with highest honors.
23 May 2022
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
30 June 2022
Thomas Goldschmidt, Steffen Becker, and Erik Burger received the Most Influential Paper Award for their 2012 paper "Towards a tool-oriented taxonomy of view-based modelling". The award was presented at the conference MODELLIERUNG 2022 of the German Informatics Society (GI).
The paper can be accessed via the GI digital library: https://dl.gi.de/handle/20.500.12116/18148