Auflistung nach Autor:in "Dubslaff, Clemens"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAdvances in quantitative software product line analysis(Software-engineering and management 2015, 2015) Dubslaff, ClemensThe quantitative analysis of software is important, e.g., for energy-aware systems having constraints on energy consumption while guaranteeing a certain degree of utility. Analyzing software product lines is challenging due to the possibly exponential number of feature combinations. This paper sketches new approaches using probabilistic model checking for a quantitative analysis of software product lines and the integration of such into the software development process.
- KonferenzbeitragQuantitative konfigurierbare und rekonfigurierbare Systeme .(D22, 2022) Dubslaff, ClemensDie Fülle an Konfigurationsoptionen und der daraus resultierende Reichtum an Systemva- rianten stellen Entwickler von modernen Computersystemen vor großen Herausforderungen. Weitere Systemanforderungen an Adaptivität, Rekonfigurierbarkeit und an quantitative Aspekte wie Zuverläs- sigkeit, Energieverbrauch oder Latenz kommen erschwerend hinzu. Formale Analysen sind daher unabdingbar, um die Auswirkungen von Konfigurationsoptionen und deren Interaktionen einzuschät- zen und fehlerfreie Systeme zu garantieren. Die vorgestellte Dissertation führt ein kompositionelles Modellierungs- und Analyseframework ein, welches alle genannten Herausforderungen adressiert und effektive Lösungen bietet, formale quantitative Analysen auch für bisher unmöglich große konfigurierbare Systeme durchzuführen. An real existierenden Systemen wird dessen Anwendbarkeit demonstriert und mit neuen Methoden zu kausalen Erklärungen von Analyseresultaten ergänzt.