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
Type de document :
Communication dans un congrès
Laurent George and Maryline Chetto andMikael Sjodin. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.147-158, 2009
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00442001
Contributeur : Alain Monteil <>
Soumis le : jeudi 17 décembre 2009 - 18:03:35
Dernière modification le : mercredi 23 mai 2018 - 17:58:09
Document(s) archivé(s) le : jeudi 17 juin 2010 - 20:58:54

Fichier

DesignOptimization_LeBerre.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00442001, version 1

Collections

Citation

Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. A Data Oriented Approach for Real-Time Systems. Laurent George and Maryline Chetto andMikael Sjodin. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.147-158, 2009. 〈inria-00442001〉

Partager

Métriques

Consultations de la notice

149

Téléchargements de fichiers

95