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.
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.
Mittelgeber
Laufzeit
Projektstart: 01/2016
Projektende: 08/2019
Forschungsbereiche
Publikationen
[4] Stefan Kögel, Matthias Tichy, Abhishek Chakraborty, Alexander Fay, Birgit Vogel-Heuser, Christopher Haubeck, Gabriele Taentzer, Timo Kehrer, Jan Ladiges, Lars Grunske, Mattias Ulbrich, Safa Bougouffa, Sinem Getir, Suhyun Cha, Udo Kelter, Winfried Lamersdorf, Kiana Busch, Robert Heinrich, Sandro Koch: Learning from Evolution for Evolution. Managed Software Evolution 2019: 255-308
[3] Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy: Supporting semi-automatic co-evolution of architecture and fault tree models. Journal of Systems and Software 142: 115-135 (2018)
[2] Sinem Getir, Esteban Pavese, Lars Grunske: Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. CS&P 2018
[1] Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Käfer, Tim Sanwald, Matthias Tichy: CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models. ICMT 2015: 34-40
