SPP 1593: ENsurance of Software evolUtion by Run-time cErtification II

Qualitätsanforderungen spielen eine wichtige Rolle in verschiedenen Softwaresystemen, z.B. Sicherheit in eingebetteten Systemen oder Performance in betrieblichen Informationssystemen. Derzeit werden diese Qualitätsanforderungen hauptsächlich zur Entwicklungszeit behandelt. Für Systeme, deren Umgebung sich zur Laufzeit verändert, führt dies zu Problemen, da die Evaluationsergebnisse aus der Entwurfsphase nicht mehr dem laufenden System entsprechen. Zur Behebung dieses Problems entwickelt das Projekt ENSURE II einen modellgetriebenen Ansatz, welcher spezifisch auf die kontinuierliche und parallele Entwicklung von Qualitätsmodellen abzielt. Dabei werden die System- und Qualitätsmodelle stets aufeinander abgestimmt und konsistent gehalten. Weiterhin werden statistische Überwachungstechniken verwendet, um Informationen aus dem laufenden System für die Verfeinerung der Qualitätsmodelle zu gewinnen. Als Resultat wird es durch den vorgeschlagenen Ansatz möglich, Evolutionsschritte in Bezug auf die zu erfüllenden Qualitätsanforderungen zu zertifizieren.