Göttmann, Hendrik ; Schürr, Andy (2020)
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.
SPLC '20: 24th ACM International Systems and Software Product Line Conference. virtual Conference (October 2020)
doi: 10.1145/3382025.3414945
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
Dynamic Software Product Lines (DSPL) have recently shown promising potentials as integrated engineering methodology for (self-)adaptive software systems. Based on the software-configuration principles of software product lines, DSPL additionally foster reconfiguration capabilities to continuously adapt software products to ever-changing environmental contexts. However, in most recent works concerned with finding near-optimal reconfiguration decisions, real-time aspects of reconfiguration processes are usually out of scope. In this paper, we present a model-based methodology for specifying and automatically analyzing real-time constraints of reconfiguration decisions in a feature-oriented and compositional way. Those real-time aware DSPL specifications are internally translated into timed automata, a well-founded formalism for real-time behaviors. This representation allows for formally reasoning about consistency and worst-case/best-case execution-time behaviors of sequences of reconfiguration decisions. The technique is implemented in a prototype tool and experimentally evaluated with respect to a set of case studies1.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Autor(en): | Göttmann, Hendrik ; Schürr, Andy |
| Art des Eintrags: | Bibliographie |
| Titel: | Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines |
| Sprache: | Englisch |
| Publikationsjahr: | 22 Oktober 2020 |
| Verlag: | ACM |
| Buchtitel: | Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A |
| Veranstaltungstitel: | SPLC '20: 24th ACM International Systems and Software Product Line Conference |
| Veranstaltungsort: | virtual Conference |
| Veranstaltungsdatum: | October 2020 |
| DOI: | 10.1145/3382025.3414945 |
| Kurzbeschreibung (Abstract): | Dynamic Software Product Lines (DSPL) have recently shown promising potentials as integrated engineering methodology for (self-)adaptive software systems. Based on the software-configuration principles of software product lines, DSPL additionally foster reconfiguration capabilities to continuously adapt software products to ever-changing environmental contexts. However, in most recent works concerned with finding near-optimal reconfiguration decisions, real-time aspects of reconfiguration processes are usually out of scope. In this paper, we present a model-based methodology for specifying and automatically analyzing real-time constraints of reconfiguration decisions in a feature-oriented and compositional way. Those real-time aware DSPL specifications are internally translated into timed automata, a well-founded formalism for real-time behaviors. This representation allows for formally reasoning about consistency and worst-case/best-case execution-time behaviors of sequences of reconfiguration decisions. The technique is implemented in a prototype tool and experimentally evaluated with respect to a set of case studies1. |
| Freie Schlagworte: | dynamic software product lines, timed automata, reconfiguration decisions |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik DFG-Sonderforschungsbereiche (inkl. Transregio) DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik > Teilprojekt A4: Selbst-Adaption |
| Hinterlegungsdatum: | 15 Dez 2020 13:50 |
| Letzte Änderung: | 15 Dez 2020 13:50 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum