Sprungmarken

Servicenavigation

Fachbereich Informatik Institut für Softwaretechnik
Institut für Softwaretechnik

Forschungsgruppe
Software Engineering

Hauptnavigation


Bereichsnavigation



This page in English


Nebeninhalt

Kontakt

Universität Koblenz-Landau

Institut für Informatik

Universitätsstraße 1
D-56070 Koblenz



Aktuelle Infos

Aktuelle Lehre

Eine Übersicht über unsere aktuelle Lehre gibt es hier.

Hauptinhalt


Forschungsgruppe
Software-Engineering für kritische Systeme
(Prof. Dr. Jan Jürjens)

Wir beschäftigen uns mit modellbasierten Methoden und Werkzeugen zur Softwareentwicklung für kritische Systeme: Im Bereich Softwarequalität arbeiten wir an der Analyse von Geschäftsprozess- und Software-Modellen auf Qualitätsattribute wie IT-Sicherheit und Compliance und statischer sowie laufzeitbasierter Software-Verifikation. Im Bereich Management von Software-Großprojekten arbeiten wir an der Erfassung und Analyse nicht-funktionaler Anforderungen. Zum Thema Softwarewartbarkeit untersuchen wir die Erhaltung von Anforderungen bei Software-Evolution. Unsere Methoden und Werkzeuge wenden wir dabei u.a. auf Software-as-a-Service (SaaS) und Cloud-orientierte Softwarearchitekturen an, in denen noch keine "best practice" für sichere Entwicklung existiert. Beispiele für aktuelle Forschungsthemen sind:

  • Methoden und Tools für die Modellierung und Prüfung von Sicherheitseigenschaften (siehe Ten Year Most Influential Paper der UML 2002):
    • Erweiterungen zur Modellierung (UMLsec) und Verifikation (CARiSMA) von Sicherheitseigenschaften in UML
    • Erweiterung von anderen domänenspezifischen Sprachen (z.B. BPMN) für die Modellierung von Sicherheitseigenschaften (CARiSMA)
    • Evolution von Sicherheits-Modellen (SecureChange, EU-FET)
    • Umgebungs-getriebene Wissens-Evolution (SecVolution, DFG-SPP 1593 "Design for Future")
  • Sichere Geschäftsprozesse (APEX, Fraunhofer-Attract)
  • Sicherheit in Cloud-Computing-Umgebungen (SecureClouds (BMBF) und ClouDAT (IKT.NRW))
  • Modellierung und Prüfung der Wirtschaftlichkeit und Wirksamkeit von Sicherheitsmassnahmen (SECONOMICS, EU)
  • Visual Privacy Management in User Centric Open Environments (Vision, EU)
Informationen bzgl. der aktuelle Lehre unserer Arbeitsgruppe finden Sie im UniCMS der Universität Koblenz-Landau.

Neuigkeiten