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.
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
01 December 2021
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.
19 November 2021
The paper entitled "Detecting Violations of Access Control and Information Flow Policies in Data Flow Diagrams" by Stephan Seifermann, Robert Heinrich, Dominik Werle and Ralf Reussner has been published in the Journal of Systems & Software. The paper is about considering confidentiality in early software designs given as data flow diagrams. The presented approach allows designers to model and analyze systems using various commonly used confidentiality policies. The paper is an open access publication.
Access Paper