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

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/31647

Title :	Weaving Rules into Models@run.time for Embedded Smart Systems
Language :	English
Author, co-author :	Mouline, Ludovic [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Hartmann, Thomas [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Fouquet, François [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Le Traon, Yves [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Bourcier, Johann [University of Rennes 1 > Irisa > DiverSE > Associate Professor]
	Barais, Olivier [University of Rennes 1 > Irisa > DiverSE > Professor]
Publication date :	Apr-2017
Main document title :	Programming '17 Companion to the first International Conference on the Art, Science and Engineering of Programming
Author, co-author :	Mouline, Ludovic
	Hartmann, Thomas
	Fouquet, François
	Le Traon, Yves
	Bourcier, Johann
	Barais, Olivier
Publisher :	ACM
Peer reviewed :	Yes
Audience :	International
ISBN :	978-1-4503-4836-2
City :	Brussels
Country :	Belgium
Event name :	Second International Modularity in Modelling Workshop
Event date :	from 03-04-2017 to 04-04-2017
Event place (city) :	Brussels
Event country :	Belgium
Keywords :	[en] Models@run.time ; Reactive systems ; Rule engines ; Lazy loading ; Smart systems ; Embedded Systems
Abstract :	[en] 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.
Research centres :	SnT
Funders :	POST Telecom
Name of the research project :	Sercome
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/31647
DOI :	10.1145/3079368.3079394

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access momo17-author-preprint.pdf Author preprint 535.33 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map