Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications

Göttmann Hendrik, Bacher Isabelle, Gottwald Nicolas & Lochau Malte
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...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.