Resumen:
The provision of assurances for self-adaptive systems presents its challenges, since uncertainties associated with their operating environments often hamper the provision of absolute guarantees that system properties can be satisfied. In previous work, we defined a development-time approach for the evaluation of self-adaptive systems that relies on stimulation and probabilistic modelchecking to provide levels of confidence regarding service delivery. However, development-time evaluation has limitations due to the dynamic nature of selfadaptive systems, whose behavior depends on run-time conditions that continuously change. In this paper, we discuss the challenges and issues posed by the shift of resilience evaluation from development-time to run-time.