MRT 2016
Models@run.time 2016

Table of Contents

• Summary of the 11th International Workshop on Models@run.time
  
  

Session 1: MRT for Cyber-Physical Systems and AAL

• View-based and Model-driven Outage Management for the Smart Grid 1-8
  Erik Burger , Victoria Mittelbach , Anne Koziolek
• Runtime Models Based on Dynamic Decision Networks: Enhancing the Decision-making in the Domain of Ambient Assisted Living Applications 9-17
  Luis Hernan Garcia Paucar , Nelly Bencomo

Session 2: MRT for Model Checking and Optimization

• Caching Strategies for Run-time Probabilistic Model Checking 18-25
  Hiroyuki Nakagawa , Kento Ogawa , Tatsuhiro Tsuchiya
• Incremental Runtime-generation of Optimisation Problems using RAG-controlled Rewriting 26-34
  Rene Schöne , Sebastian Götz , Uwe Aßmann , Christoff Bürger

Session 3: MRT Infrastructures

• An Infrastructure for Generating Run-time Model Traces for Maintenance Tasks 35-42
  Lorena Arcega , Jaime Font , Oystein Haugen , Carlos Cetina
• DeSARM: A Decentralized Mechanism for Discovering Software Architecture Models at Runtime in Distributed Systems 43-51
  Jason Porter , Daniel Menasce , Hassan Gomaa

Session 4: Beyond Models@run.time

• Reflective Systems Need Models at Run Time 52-59
  Christopher Landauer , Kirstie Bellman