Skip to Main content Skip to Navigation
Conference papers

A Data Oriented Approach for Real-Time Systems

Abstract : Distributed real-time systems often have to maintain the temporal validity of data. In this paper we present a modelling framework centered on data where a so-called observation relation represents and abstracts the interactions between variables. An observation is a relation between variables, an image and its sources, where the image values depend on past values of the sources. The system architecture is seen as a set of observation relations describing the flow of values between variables. The observation relations are parametrized with timed constraints that limit the time shift between the variables and specify the availability of timely sound values. At this level of abstraction, the designer gives a specification of the system based on timed properties about the timeline of data such as their freshness, latency etc. We proceed to an analysis of the feasibility of such a specification and we formally analyze the correctness of an implementation with respect to a specification. In order to prove the feasibility of an observationbased model, we build a finite state transition system which is bi-similar to the specification. The existence of an infinite execution in this system proves the feasibility of the specification. Possible implementations are described as a set of interacting components which control the flow of values in the system. A finite system is built to prove the correctness of the implementation by model checking
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00442001
Contributor : Alain Monteil <>
Submitted on : Thursday, December 17, 2009 - 6:03:35 PM
Last modification on : Thursday, March 18, 2021 - 2:34:37 PM
Long-term archiving on: : Thursday, June 17, 2010 - 8:58:54 PM

File

DesignOptimization_LeBerre.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00442001, version 1

Citation

Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. A Data Oriented Approach for Real-Time Systems. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.147-158. ⟨inria-00442001⟩

Share

Metrics

Record views

207

Files downloads

1031