The document discusses using requirements models at runtime to enable model-driven adaptation in dynamically adaptive systems. It proposes that dynamically adaptive systems can monitor assumptions modeled at design time using techniques like the i* modeling language. By monitoring these assumptions at runtime, systems can gain greater autonomy by allowing them to adapt their behavior based on changes to the assumptions. The document concludes that as systems are granted more autonomy, allowing them to monitor design-time assumptions using models could help guide their runtime adaptation behavior.

1. Model-Driven Adaptation Using Requirements Models at Runtime Kristopher Welsh [email_address] Computing Department Infolab21 Lancaster University United Kingdom LA1 4WA Images are all Creative Commons Licensed, available on Flickr

2. Introduction Dynamically Adaptive Systems “ Robot Jukebox” - By flickadoi

3. Divide and Conquer Berry, Cheng and Zhang: The four levels of requirements engineering for and in dynamic adaptive systems “ monteverde” - By baxterclaus

4. Assumptions Modelled in i* as claims I promise, only one slide of i*

5. Here is a Model of a Model of an Iron Molecule, Modelled in Iron What use is this at runtime? “ Look Around You” - By ApeLad

6. Models and Monitors Why monitor assumptions? “ monteverde” - By baxterclaus “ Juniper procumbens 5-26-09 2” - By OpenEye

7. Explosive Complexity “ The Sizzler” - By beast love

8. A Question of Certainty More Certain Less Certain

9. Wrapping Up Systems are being granted ever-more autonomy over their operation DASs are a useful sub-class of autonomous systems for RE, because the adaptive behaviour is simplified For greater autonomy, we could allow systems to monitor assumptions upon which their design relies m-DASs use their design time models to guide runtime adaptation

10. All done!