| Vol-1742 urn:nbn:de:0074-1742-3 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# MRT 2016
Models@run.time 2016

### Proceedings of the 11th International Workshop on Models@run.time
co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)

### Saint Malo, France, October 4, 2016.

Edited by

### Sebastian Götz *
Nelly Bencomo **
Kirstie Bellman ***
Gordon Blair ****

* Technische Universität Dresden, Germany
** Aston University, United Kingdom
*** Topcy House Consulting, United States
**** Lancaster University, United Kingdom

## 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

2016-11-23: submitted by Sebastian Götz, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-23: published on CEUR-WS.org |valid HTML5|