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