DFG Priority Programme 1593, 2012-2015 Design for Future – Managed Software Evolution for developing efficient quantitative analysis techniques for software product line models
Long-living software systems are typically available in a rich set of variants to deal with differing customer requirements and application contexts. Furthermore, users are often given the possibility to change to a different configuration online to dynamically adapt to varying environmental conditions. In addition to satisfying functional requirements, such changes are to preserve existing service-level agreements. The focus of this project is to define a methodology for expressing system variability and its impact on performance.