Implementing Lustre programs on distributed platforms with real-time constrains

par Adrian Curic

Thèse de doctorat en Informatique

Sous la direction de Paul Caspi.

Soutenue en 2005

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Les applications caractéristiques aux systèmes embarqués doivent respecter des contraintes strictes telles que la fiabilité, les échéances de temps, la simultanéité et le comportement déterministe. La conception de ces applications est simplifiée par l'utilisation du développement basé sur des modèles où les outils associés simplifient ou automatisent les diverses phases de développement. Nous présentons une chemin complet de développement des applications de systèmes embarques sur une plateforme distribuée. Cene approche utilise un langage synchrone de modellisation orienté flots de données (Lustre) et une plateforme d'exe��cution temps-réel distribuée (TTA). Dans cette thèse on propose des extensions du langue Lustre contenant des notations de temps-réel et de distribution. Suivant ceci, une méthode complète d'implémentation des spécifications Lustre sur l'architecture de TTA est définie. Les algorithmes conçus incluent l'analyse statique des spécifications Lustre, la décomposition des spécifications en taches, l'ordonnancement des taches et la génération du code exécutable. Un outil de vérification pour les applications TTA et un outil de modellisation d'applications distribuées temps-réel sont également présentés.


  • Pas de résumé disponible.

  • Titre traduit

    Implémentation des programmes Lustre sur plateformes distribuées avec des contraintes de temps-réel


  • Résumé

    The development of embedded system applications is challenged by strict constraints such as reliability, hard deadlines, concurrency and deterministic behaviour. These challenges are simplified by the use of model based design where associated tools simplify or automatize the various development phases. We present an end-to-end approach for the design and implementation of embedded software on a distributed platform. This approach comprises a synchronous data-flow modelling language (Lustre) and a distributed time-triggered execution platform (TTA). Proposed in this presentation are generalised extensions of the Lustre language containing real-time and distribution primitives. Following that, a 1 complete method for implementing the Lustre specified application over the TTA architecture is defmed. Algorithms defmed include the static analysis of Lustre specifications, code decomposition in tasks, task scheduling, executable code generation. A schedule verification tool and a runtime system tool for distributed time triggered applications are also presented.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (260 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 229-236

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS05/GRE1/0150
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS05/GRE1/0150/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.