Transformations affines d'horloges : application au codesign de systemes temps-reel en utilisant les langages signal et alpha

par IRINA MADALINA SMARANDACHE

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 1998

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Cette these s'inscrit dans le cadre du developpement du langage signal dont les objectifs sont la specification et la mise en uvre d'applications temps-reel critiques. Nos travaux ont concerne l'extension du compilateur de signal qui est un outil formel pour la verification des contraintes de synchronisation d'horloges en signal. De maniere plus generale, notre etude se situe dans un contexte de conception conjointe de systemes mixtes materiel/logiciel (codesign) pour laquelle l'environnement de programmation de signal s'est prouve tres adapte. Dans ce contexte, nous avons constate que les langages signal et alpha possedent des proprietes complementaires concernant la programmation de traitements numeriques importants relies par du controle. Alpha est un langage fonctionnel pour la specification et l'implementation d'algorithmes reguliers, tandis que l'apport de signal se manifeste dans le domaine du controle. L'interfacage des deux langages a releve le probleme du raffinement des specifications mixtes et leur validation. Les transformations de specifications ont induit des transformations affines sur les horloges signal et la necessite de mettre en place un calcul formel sur les synchronisations des horloges transformees. Le nouveau calcul formel mis en place est base sur un ensemble de regles de synchronisabilite deduites a partir des proprietes des transformations affines. Nous avons retrouve des conditions de synchronisabilite basees sur un calcul d'entiers qui nous ont permis d'etendre les capacites de preuve formelle du compilateur de signal. Nous avons valide le calcul de synchronisabilite propose et les concepts lies a la conception conjointe avec signal et alpha a travers une application du domaine de codage d'images video.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 215 P.
  • Annexes : 114 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1998/106
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.