research-article

Real-time-aware reconfiguration decisions for dynamic software product lines

Authors:

Hendrik Göttmann,

Andy SchürrAuthors Info & Claims

SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A

Article No.: 13, Pages 1 - 11

https://doi.org/10.1145/3382025.3414945

Published: 19 October 2020 Publication History

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 studies¹.

References

[1]

Rajeev Alur, Costas Courcoubetis, and David Dill. 1993. Model-Checking in Dense Real-Time. Information and computation 104, 1 (1993), 2--34.

[2]

Rajeev Alur and David L. Dill. 1990. Automata for Modeling Real-Time Systems. In Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16--20, 1990 Proceedings, Michael S. Paterson (Ed.). Springer Berlin Heidelberg, 322--335.

[3]

Rajeev Alur, Thomas A. Henzinger, and Moshe Y. Vardi. 1993. Parametric Realtime Reasoning. In STOC'93. ACM, 592--601.

Digital Library

[4]

Sven Apel, Don Batory, Christian Kästner, and Gunter Saake. 2016. Feature-Oriented Software Product Lines. Springer.

[5]

Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In International Conference on Software Product Lines. Springer, 7--20.

Digital Library

[6]

Gerd Behrmann, Alexandre David, and Kim G Larsen. 2004. A Tutorial on Uppaal. In Formal methods for the design of real-time systems. Springer, 200--236.

[7]

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, and Martijn Hendriks. 2006. Uppaal 4.0. (2006).

[8]

Mei Ya Chan, Sami Baroudi, Joseph Siu, and Jörg Liebeherr. 2018. Application-Layer Overlay Networks for Communication-Based Train Control Systems. In 2018 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, 1--6.

[9]

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay. 2012. Behavioural Modelling and Verification of Real-Time Software Product Lines. In Proceedings of the 16th International Software Product Line Conference-Volume 1. ACM, 66--75.

Digital Library

[10]

Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2004. Staged Configuration Using Feature Models. In International Conference on Software Product Lines. Springer, 266--283.

[11]

Alexandre David, Kim G Larsen, Axel Legay, Marius Mikučionis, and Danny Bøgsted Poulsen. 2015. Uppaal SMC tutorial. International Journal on Software Tools for Technology Transfer 17, 4 (2015), 397--415.

Digital Library

[12]

S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid. 2008. Dynamic Software Product Lines. Computer 41, 4 (April 2008), 93--95.

Digital Library

[13]

Herman Hartmann and Tim Trew. 2008. Using Feature diagrams with Context Variability to model Multiple Product Lines for Software Supply Chains. In 2008 12th International Software Product Line Conference. IEEE, 12--21.

Digital Library

[14]

Thomas A Henzinger, Zohar Manna, and Amir Pnueli. 1990. Temporal Proof Methodologies for Real-time Systems. Technical Report. STANFORD UNIV CA DEPT OF COMPUTER SCIENCE.

[15]

Kyo C Kang, Sholom G Cohen, James A Hess, William E Novak, and A Spencer Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report. Carnegie-Mellon Univ Pittsburgh Pa Software Engineering Inst.

[16]

Giovanni Liva, Muhammad Taimoor Khan, and Martin Pinzger. 2017. Extracting Timed Automata from Java Methods. In 2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 91--100.

[17]

Malte Lochau, Johannes Bürdek, Stefan Hölzle, and Andy Schürr. 2017. Specification and automated validation of staged reconfiguration processes for dynamic software product lines. Software & Systems Modeling 16, 1 (2017), 125--152.

Digital Library

[18]

Lars Luthmann, Andreas Stephan, Johannes Bürdek, and Malte Lochau. 2017. Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. In Proceedings of the 21st International Systems and Software Product Line Conference - Volume A (Sevilla, Spain) (SPLC '17). ACM, New York, NY, USA, 104--113.

Digital Library

[19]

Martin Pfannemüller. 2017. A Dynamic Software Product Line Approach for Planning and Execution of Reconfigurations in Self-Adaptive Systems. Master's thesis.

[20]

Martin Pfannemüller, Christian Krupitzer, Markus Weckesser, and Christian Becker. 2017. A Dynamic Software Product Line Approach for Adaptation Planning in Autonomic Computing Systems. In 2017 IEEE International Conference on Autonomic Computing (ICAC). IEEE, 247--254.

[21]

Amir Pnueli. 1977. The Temporal Logic of Programs. In 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). IEEE, 46--57.

[22]

Klaus Pohl, Günter Böckle, and Frank J van Der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer Science & Business Media.

[23]

Karsten Saller, Malte Lochau, and Ingo Reimund. 2013. Context-Aware DSPLs: Model-Based Runtime Adaptation for Resource-Constrained Systems. In Proceedings of the 17th International Software Product Line Conference co-located workshops. 106--113.

Digital Library

[24]

Sergio Segura, José A Galindo, David Benavides, José A Parejo, and Antonio Ruiz-Cortés. 2012. BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models. In Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems. ACM, 63--71.

Digital Library

[25]

Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Sven Apel, and Gunter Saake. 2012. SPL Conqueror: Toward optimization of non-functional properties in software product lines. Software Quality Journal 20, 3--4 (2012), 487--517.

Digital Library

[26]

Gustavo Sousa, Walter Rudametkin, and Laurence Duchien. 2017. Extending Dynamic Software Product Lines with Temporal Constraints. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE Press, 129--139.

Digital Library

[27]

Maurice Ter Beek, Axel Legay, Alberto Lluch Lafuente, and Andrea Vandin. 2018. A framework for quantitative modeling and analysis of highly (re) configurable systems. IEEE Transactions on Software Engineering (2018).

[28]

Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, and Thomas Leich. 2014. FeatureIDE: An extensible framework for feature-oriented software development. Science of Computer Programming 79 (2014), 70--85.

Digital Library

[29]

Markus Weckesser, Roland Kluge, Martin Pfannemüller, Michael Matthé, Andy Schürr, and Christian Becker. 2018. Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-Influence Models. In Proceedings of the 22nd International Systems and Software Product Line Conference-Volume 1. 98--109.

Digital Library

[30]

Wang Yi, Paul Pettersson, and Mats Daniels. 1995. Automatic Verification of Real-Time Communicating Systems by Constraint-Solving. In Formal Description Techniques VII. Springer, 243--258.

Cited By

Aguayo OSepúlveda SMazo R(2024)Variability Management in Self-Adaptive Systems through Deep Learning: A Dynamic Software Product Line ApproachElectronics10.3390/electronics1305090513:5(905)Online publication date: 27-Feb-2024
https://doi.org/10.3390/electronics13050905
Huang YChen XJin ZZhou T(2024)Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00035(222-229)Online publication date: 24-Jun-2024
https://doi.org/10.1109/REW61692.2024.00035
Göttmann HCaesar BBeers LLochau MSchürr AFay A(2024)Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed gamesSoftware and Systems Modeling10.1007/s10270-024-01195-9Online publication date: 5-Aug-2024
https://doi.org/10.1007/s10270-024-01195-9
Show More Cited By

Index Terms

Real-time-aware reconfiguration decisions for dynamic software product lines

Recommendations

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications
VaMoS '21: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems

Dynamic Software Product Lines (DSPL) have recently gained momentum as integrated engineering methodology for (self-)adaptive software. DSPL enhance statically configurable software by enabling run-time reconfiguration to facilitate continuous ...
Evolution in dynamic software product lines: challenges and perspectives
SPLC '15: Proceedings of the 19th International Conference on Software Product Line

In many domains systems need to run continuously and cannot be shut down for reconfiguration or maintenance tasks. Cyber-physical or cloud-based systems, for instance, thus often provide means to support their adaptation at runtime. The required ...
A formal foundation for dynamic delta-oriented software product lines
GPCE '12: Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a code base (a set of delta modules encapsulating changes to object-oriented programs) and a product line declaration (...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A

October 2020

323 pages

ISBN:9781450375696

DOI:10.1145/3382025

General Chair:
Roberto Erick Lopez-Herrejon
École de technologie supérieure, Canada

Copyright © 2020 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 October 2020

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Badges

Artifacts Evaluated & Functional / v1.1

Author Tags

Qualifiers

Research-article

Funding Sources

German Research Foundation (DFG)

Conference

SPLC '20

Sponsor:

SIGSOFT

SPLC '20: 24th ACM International Systems and Software Product Line Conference

October 19 - 23, 2020

Quebec, Montreal, Canada

Acceptance Rates

SPLC '20 Paper Acceptance Rate 17 of 49 submissions, 35%;

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
155
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)1

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Aguayo OSepúlveda SMazo R(2024)Variability Management in Self-Adaptive Systems through Deep Learning: A Dynamic Software Product Line ApproachElectronics10.3390/electronics1305090513:5(905)Online publication date: 27-Feb-2024
https://doi.org/10.3390/electronics13050905
Huang YChen XJin ZZhou T(2024)Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00035(222-229)Online publication date: 24-Jun-2024
https://doi.org/10.1109/REW61692.2024.00035
Göttmann HCaesar BBeers LLochau MSchürr AFay A(2024)Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed gamesSoftware and Systems Modeling10.1007/s10270-024-01195-9Online publication date: 5-Aug-2024
https://doi.org/10.1007/s10270-024-01195-9
Tigane SGuerrouf FHamani NKahloul LKhalgui MAli M(2023)Dynamic Timed Automata for Reconfigurable System Modeling and VerificationAxioms10.3390/axioms1203023012:3(230)Online publication date: 22-Feb-2023
https://doi.org/10.3390/axioms12030230
Lima RBezerra CMachado I(2023)A Self-Adaptation Mechanism for Variability Management in Dynamic Software Product LinesProceedings of the 17th Brazilian Symposium on Software Components, Architectures, and Reuse10.1145/3622748.3622754(51-60)Online publication date: 25-Sep-2023
https://dl.acm.org/doi/10.1145/3622748.3622754
Riegler MSametinger JVierhauser MWimmer M(2023)A model-based mode-switching framework based on security vulnerability scoresJournal of Systems and Software10.1016/j.jss.2023.111633200:COnline publication date: 1-Jun-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111633
Martou PMens KDuhoux BLegay A(2023)Test scenario generation for feature-based context-oriented software systemsJournal of Systems and Software10.1016/j.jss.2022.111570197:COnline publication date: 1-Mar-2023
https://dl.acm.org/doi/10.1016/j.jss.2022.111570
Göttmann HCaesar BBeers LLochau MSchürr AFay ASyriani ESahraoui H(2022)Precomputing reconfiguration strategies based on stochastic timed game automataProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552397(31-42)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550355.3552397
Valdezate ACapilla RCrespo JBarber R(2022)RuVa: A Runtime Software Variability AlgorithmIEEE Access10.1109/ACCESS.2022.317550510(52525-52536)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3175505
Göttmann HBacher IGottwald NLochau M(2021)Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL SpecificationsProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442409(1-9)Online publication date: 9-Feb-2021
https://dl.acm.org/doi/10.1145/3442391.3442409

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents