Reasoning over Time into Models with DataTime - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Software and Systems Modeling Year : 2022

Reasoning over Time into Models with DataTime

Abstract

Models at runtime have been initially investigated for adaptive systems. Models are used as a reflective layer of the current state of the system to support the implementation of a feedback loop. More recently, models at runtime have also been identified as key for supporting the development of full-fledged digital twins. However, this use of models at runtime raises new challenges, such as the ability to seamlessly interact with the past, present and future states of the system. In this paper, we propose a framework called DataTime to implement models at runtime which capture the state of the system according to the dimensions of both time and space, here modeled as a directed graph where both nodes and edges bear local states (ie. values of properties of interest). DataTime offers a unifying interface to query the past, present and future (predicted) states of the system. This unifying interface provides i) an optimized structure of the time series that capture the past states of the system, possibly evolving over time, ii) the ability to get the last available value provided by the system's sensors, and iii) a continuous micro-learning over graph edges of a predictive model to make it possible to query future states, either locally or more globally, thanks to a composition law. The framework has been developed and evaluated in the context of the Intelligent Public Transportation Systems of the city of Rennes (France). This experimentation has demonstrated how DataTime can be used for managing data from the past, the present and the future, and facilitate the development of digital twins.
Fichier principal
Vignette du fichier
DataTime_SoSyM.pdf (2.49 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03921928 , version 1 (04-01-2023)

Licence

Identifiers

  • HAL Id : hal-03921928 , version 1

Cite

Gauthier Lyan, Jean-Marc Jézéquel, David Gross-Amblard, Romain Lefeuvre, Benoit Combemale. Reasoning over Time into Models with DataTime. Software and Systems Modeling, 2022, pp.1-25. ⟨hal-03921928⟩
52 View
149 Download

Share

More