Carlo Ghezzi: Quantitative non functional requirements: the interplay between development time and run time

Many modern systems interact with a continuously changing environment and are subject to ephemeral requirements. Design-time decisions are subject to uncertainty and may be invalidated at run-time. How can software evolve as changes manifest themselves? How can evolution occur as the software is executing? How can changes occur without compromising dependability? The talk will focus on non functional properties of software and will discuss an approach that supports dynamic software adaptation. Adaptation is based on a feedback loop, which can dynamically update the application's model from data acquired though monitoring the running application in the target environment.