Welcome

DSiS in fall 2021

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.

News

Bunte Nacht der Digitalisierung
Bunte Nacht der Digitalisierung 2022

Freitag, 1. Juli 2022 ab 16:30 Uhr im Informatikgebäude 50.34 (Am Fasanengarten 5), Raum –101 (Gerhard-Goos-Hörsaal)

Unter dem Thema "Software-Entwurf und Qualität" stellen sich die Forschungsgruppen für Zuverlässige Software-intensive Systeme und Modellierung für kontinuierliche Software-Entwicklung des KASTEL Instituts für Informationssicherheit und Verlässlichkeit vor. Wir laden Sie zu einem vielseitigen Programm ein, indem sich die Forschungsgruppen, ihre vielfältigen Forschungsgebiete sowie ihre Industriepartner vorstellen. Bei Getränken und Snacks wird hier allen Gästen ein direkter Einblick in die Forschung und Praxis der Software-Entwicklung geboten. Studierende können zusätzlich Kontakt zu Betreuerinnen und Betreuern zukünftiger Abschlussarbeiten knüpfen und ihr Interesse an der Erforschung und Verbesserung der Software-Entwicklung wecken lassen.

Detailliertes Programm
Portrait Heiko Klare
Heiko Klare is awarded the "Baden-Württemberg Certificate" for university didactics (HDZ)

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.

HDZ Website
Journal of Systems and Software
New paper in Journal of Systems & Software

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
SoSym Cover
New publication in Software and Systems Modeling

13 October 2021

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

Access paper
Photos of awarded persons
VKSI awards and honorable mentions for KASTEL members

10 August 2021

Two awards and two honorable mentions have been given to members of the Institute of Information Security and Dependability (KASTEL). The association of software engineers in Karlsruhe (Verein der Karlsruher Software-Ingenieure e.V./VKSI) award students for excellent bachelor’s and master’s theses every year. This year, Larissa Schmid (from the group Modelling for Continuous Software Engineering, Prof. Anne Koziolek) receives the VKSI award for an excellent thesis on foundations of software engineering. Her master’s thesis has the title "Modeling and Simulation of Message-Driven Self-Adaptive Systems". Sebastian Hahner (from the group Dependability of Software-intensive Systems, Prof. Ralf Reussner) receives the award for an excellent thesis in applied software engineering. His master’s thesis has the title "Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs". Honorable mentions for their final theses go to Dominik Fuchß and David Monschein.

VKSI homepage
Dr.-Ing. Heiko Klare
New PhD: Dr.-Ing. Heiko Klare

19 May 2021

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.

KITopen