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

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 metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01609796
Contributor : Ludovic Mouline <>
Submitted on : Wednesday, October 4, 2017 - 2:42:57 PM
Last modification on : Friday, September 13, 2019 - 9:48:41 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

985

Files downloads

303