Mon 3 Apr 2017 10:05 - 10:30 at D2.13 - Paper Session

Smart systems are characterised by their ability to analyse measured data in live and to react to changes according to expert rules. Therefore, such systems exploit appropriate data models together with actions triggered by domain-related conditions. Often thousands of updates need to be processed in a short amount of time, to detect which rules need to be triggered. The challenge at hand is that smart systems usually run on restricted hardware, like Raspberry Pi. There have been several approaches investigated to efficiently check conditions on data models, such as OCL-Gremlin or EMF-IncQuery. However, these solutions assume either that rules and data models fit into main memory or rely on high latency persistence storages, which severely damage the reactivity of smart systems. To tackle this challenge, we propose a novel composition process, which weaves executable rules into a data model with lazy loading abilities. Our approach targets models@run.time usages and has been evaluated on a real-world home automation case study. We quantitatively show that our approach can handle, at low latency, big sets of rules on top of large-scale data models, even on restricted hardware.

Mon 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Paper Session MOMO at D2.13
09:00
15m
Day opening
Welcome & Introduction
MOMO
O: Gunter Mussbacher McGill University, Canada, O: Sébastien Mosser Université Côte d'Azur, France
09:15
25m
Talk
An MDE Approach for Modular Program Analyses
MOMO
A: Bugra Mehmet Yildiz , A: Christoph Bockisch Philipps-Universität Marburg, A: Arend Rensink , A: Mehmet Aksit University of Twente
09:40
25m
Talk
A Modular Meta-model for Security Solutions
MOMO
A: Laurens Sion , A: Koen Yskout , A: Riccardo Scandariato , A: Wouter Joosen Katholieke Universiteit Leuven
10:05
25m
Talk
Weaving Rules into Models@run.time for Embedded Smart Systems
MOMO