10.5281/ZENODO.4387652
Göttmann Hendrik
0000-0002-2753-7719
Technical University of Darmstadt
Bacher Isabelle
0000-0003-4197-4170
Technical University of Darmstadt
Gottwald Nicolas
University of Siegen
Lochau Malte
0000-0002-8404-753X
University of Siegen
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications
Zenodo
2020
2020-12-23
en
https://zenodo.org/record/4387652
10.5281/zenodo.4038316
1.1.2
Apache License 2.0
Open Access
<p>Dynamic Software Product Lines (DSPL) have recently gained momentum as integrated engineering methodology for (self-)adaptive software. DSPL enhance statically configurable software by enabling runtime reconfiguration to facilitate continuous adaptations to changing environmental contexts. In a previous work, we presented a model-based methodology for specifying and automatically analyzing real-time constraints of reconfiguration decisions in a feature-oriented and compositional way. Internally, we translate real-time-aware DSPL specifications into timed automata serving as input for off-the-shelf model-checkers like Uppaal for automatically checking semantic consistency properties. However, due to the very high computational complexity of model-checking timed automata, those consistency checks suffer from scalability problems thus obstructing practical applications of the proposed approach. In this paper, we tackle this issue by investigating various kinds of staticanalysis techniques that (1) aim to avoid expensive model-checker calls by statically detecting certain classes of inconsistencies beforehand and otherwise (2) perform model reduction by detecting and merging equivalence states prior to model-checker calls. The results of our experimental evaluation show very promising performance improvements achievable by those techniques, especially by the model-reduction approach.</p>