Variabilitätsintensive Systeme

Variabilität ist eine zentrale Eigenschaft vieler Systeme und beschreibt die Fähigkeit, entsprechend den Bedürfnissen der Stakeholder eines Systems angepasst zu werden. Software-Produktlinienentwicklung ist ein sehr erfolgreiches Beispiel für das aktive Management von Variabilität für die effektive und effiziente Entwicklung einer Menge gleichartiger Softwaresysteme. Variabilität ist allerdings nicht beschränkt auf Produktlinien. Variabilität tritt ebenfalls in vielen anderen Typen von Systemen auf. Beispielsweise in (selbst-)adaptiven Systemen oder in Systemen, die einen Testbetrieb und einen Produktivbetrieb unterscheiden.

Die Forschungsgruppe Software-Produktlinien und variabilitätsintensive Systeme untersucht die spezifischen Herausforderungen, die sich aus der expliziten Betrachtung von Variabilität im Software Engineering ergeben. Die Arbeit der Forschungsgruppe findet dabei sowohl in Grundlagenforschungsprojekten als auch in angewandten Förderprojekten statt.

 

Forschungsschwerpunkte

  • Analyse von Produktlinien und variabilitätsintensiven Systemen
  • Variabilitätsmanagement über den gesamten Entwicklungsprozess
  • Werkzeugunterstützung für das Variabilitätsmanagement
  • Integration von Variabilitätsmanagement in allen Aktivitäten des Software-Entwicklungsprozesses
  • Formale Verifikation von variabilitätsbehafteten Entwicklungsartefakten (z.B. Model Checking und statische Analyse)
  • Testen von Produktlinien und variabilitätsintensiven Systemen

 

Forschungsprojekte

  • Integrations- und Systemtest für Software Produktlinien (IST-SPL)
  • Konsistenzprüfung von Produktlinienmodellen (KOPI