Skip to Main content Skip to Navigation
New interface
Conference papers

Weaving Rules into Models@run.time for Embedded Smart Systems

Ludovic Mouline 1, 2 Thomas Hartmann 2 François Fouquet 2 Yves Le Traon 2 Johann Bourcier 1 Olivier Barais 1 
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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. The challenge at hand is that smart systems usually need to process thousands of updates to detect which rules need to be triggered, often even on restricted hardware like a Raspberry Pi. Despite various approaches have been investigated to efficiently check conditions on data models, they either assume to fit into main memory or rely on high latency persistence storage systems that 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. We quantitatively show, on a smart building case study, that our approach can handle, at low latency, big sets of rules on top of large-scale data models on restricted hardware.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Ludovic Mouline Connect in order to contact the contributor
Submitted on : Wednesday, October 4, 2017 - 2:42:57 PM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM


Files produced by the author(s)



Ludovic Mouline, Thomas Hartmann, François Fouquet, Yves Le Traon, Johann Bourcier, et al.. Weaving Rules into Models@run.time for Embedded Smart Systems. Programming 2017 - Companion to the first International Conference on the Art, Science and Engineering of Programming, Apr 2017, Brussels, Belgium. pp.1 - 6, ⟨10.1145/3079368.3079394⟩. ⟨hal-01609796⟩



Record views


Files downloads