Une approche synchrone pour l'integration du controle

par SYLVAN DISSOURRAY

Thèse de doctorat en Sciences appliquées

Sous la direction de G. Kahn.

Soutenue en 1996

à Nice .

    mots clés mots clés


  • Résumé

    Nous nous interessons a la construction d'applications integrees par assemblage de composants logiciels. Plus precisement, nous etudions la specification du controle qui coordonne les interactions entre les composants pour obtenir le fonctionnement d'ensemble voulu. Nous considerons plusieurs approches: les bus logiciels sophtalk, les relations de dependance liens et le langage reactif synchrone esterel. Ce dernier a l'avantage de posseder une semantique rigoureuse et deterministe, mais il ne peut etre utilise que si le nombre d'objets a controler est connu a l'avance. Pour traiter les cas plus dynamiques, nous proposons d'ajouter a esterel une primitive de reconfiguration. Nous appelons cette instruction reconfigure et nous la definissons par extension de la semantique comportementale d'esterel. Ensuite, nous etendons aussi la semantique operationnelle qui fournit un interprete du langage modifie qui verifie la coherence pendant l'execution. Nous examinons ensuite l'analyse statique de la causalite qui permet de verifier la coherence des programmes a la compilation. La nouvelle instruction introduit une forme de recursion et rend cette analyse impossible en toute generalite. Nous discutons quelques pistes applicables dans des cas restreints. Ceci permet d'esperer caracterisater des classes de programmes reconfigurables dont la correction causale peut quand meme etre etablie statiquement. Enfin, nous illustrons l'utilisation d'esterel et reconfigure avec deux exemples souvent rencontres dans les environnements de programmation realises a l'aide du systeme centaur


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 144 P.
  • Annexes : 47 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.