Hauptforschungsrichtungen
Methoden und Werkzeuge zur Softwareentwicklung, Qualitätssicherungstechniken und -maßnahmen und die
softwaretechnische Realisierung von IT-Sicherheitsanforderungen bilden die Hauptforschungsgebiete des
Fachgebietes Softwaretechnik. In diesen Schwerpunkten wird besonderes Augenmerk auf die systematische
Anwendung mathematisch fundierter Techniken und ihre Einbettung in Softwareentwicklungsprozesse gelegt.
Softwareentwicklung wird als das Zusammenspiel von Produktentwicklung und Qualitätssicherung verstanden, die
durch geeignete Methodiken in einem systematischen Entwicklungsprozess
integriert sind. Dieser umfasst die
Anforderungsermittlung, Modellbildung, Entwicklung, Validation und Verifikation sowie die Adaption und Nutzung von
Software. Durch den zunehmenden Einsatz von Software in technischen Systemen muss ihr Zusammenspiel mit ihrer
physischen Umgebung durch geeignete Modelle beschrieben werden. Die mittlerweile allgegenwärte Nutzung des
Internet (e-commerce, mobile Kommunikation) macht die Realisierung von IT-Sicherheitsanforderungen wie
Annonymität, Authentiziäät und Vertraulichkeit in Softwaresystemen zu einem wichtigen neuen
Forschungsschwerpunkt.
Die Forschung im Fachgebiet Softwaretechnik konzentriert sich auf folgende Gebiete:
- Beschreibung und Entwicklung von Softwarekomponenten sowohl auf der Modellebene als auch in neuartigen
Implementierungstechniken (advanced separation of concerns). Ziel ist die Beherrschung der Komplexität immer
größer werdender Softwaresysteme durch die Bereitstellung neuer, adäquater Abstraktionsmechanismen.
- Qualitätssicherungstechniken. Hier werden Techniken zum systematischen Testen objektorientierter Software
und zur Automatisierung des Tests eingebetteter Software entwickelt. Grundlage hierzu sind mathematisch
fundierte Modelle der Software, die zur Ableitung von Testfällen herangezogen werden. Zur Validierung von
Softwaremodellen wird die Erweiterung der Anwendbarkeit von Modellprüfungstechniken und Beweisverfahren
durch geeignete Abstraktionsverfahren betrachtet.
- Modellierung und Simulation technischer Systeme. Beschreibungstechniken für gemischt diskret/kontinuierliche
Systeme werden hier bereitgestellt, um die Simulation solcher Systeme zu erleichtern.
- Visualisierung von Softwareprozessen, Ergänzend zur Modellierung und Simulation werden verschiedene
Techniken weiterentwickelt, um sowohl den Aufbau, als auch den Ablauf von Softwareprozessen darzustellen.
- IT-Sicherheit. Standardmodellierungstechniken für Software unterstützen die Beschreibung von
IT-Sicherheitsanforderungen nur schlecht. Neue Beschreibungstechniken dafür werden entwickelt. Verfahren
zur systematischen Umsetzung von IT-Sicherheitsanforderungen und zu ihrer Verifikation in einer
Implementierung werden konzipiert.
Lehrangebot
- Softwaretechnik, Basisveranstaltung
- Objektorientierte Softwareentwicklung, Vertiefungsveranstaltung
- Methoden und Werkzeuge zur Softwareproduktion, Vertiefungsveranstaltung
- Objektorientierte Modellierung und Simulation technischer Systeme, Vertiefungsveranstaltung
- Visualisierung von Softwareprozessen, Vertiefungsveranstaltung
- Softwarequalitätsmanagement, Vertiefungsveranstaltung
- Softwaretechnische Aspekte der Systemsicherheit, Vertiefungsveranstaltung
- Effiziente Implementierung von Algorithmen, Vertiefungsveranstaltung
- Software Engineering Projekt, Projekt
- Seminar Softwaretechnik, Seminar
- Seminar Entwicklung verteilter
eingebetteter Systeme, Seminar
- Forschungskolloquium,
Colloquium
