Specifications systemes et synthese de la communication pour le co-design logiciel/materiel

par JEAN-MARC DAVEAU

Thèse de doctorat en Sciences appliquées

Sous la direction de AHMED JERRAYA.

Soutenue en 1997

à l'INP GRENOBLE .

    mots clés mots clés


  • Résumé

    Au fur et a mesure que la complexite des systemes s'accroit, il devient necessaire de definir de nouvelles methodes permettant de la gerer. Une des facons de maitriser cette complexite est d'elever le niveau d'abstraction des specifications en utilisant des langages de specification systemes. D'un autre cote, l'elevation du niveau d'abstraction augmente le fosse entre les concepts utilises pour la specification (processus communicants, communication abstraite) et ceux utilises par les langages de description de materiel. Bien que ces langages soient bien adaptes a la specification et a la validation de systemes complexes, les concepts qu'ils manipulent ne sont pas aisement transposables sur ceux des langages de description de materiels. Il est donc necessaire de definir de nouvelles methodes permettant une synthese efficace a partir de specifications systemes. Le sujet de cette these est la presentation d'une approche de generation de code c et vhdl a partir de specifications systemes en sdl. Cette approche resout la principale difficulte rencontree par les autres approches, a savoir la communication inter-processus. La communication sdl peut etre traduite en vhdl en vue de la synthese. Cela est rendu possible par l'utilisation d'une forme intermediaire qui supporte un modele de communication general qui autorise la representation pour la synthese de la plupart des schemas de communication. Cette forme intermediaire permet d'appliquer au systeme un ensemble d'etapes de raffinement pour obtenir la solution desiree. La principale etape de raffinement, appelee synthese de la communication, determine le protocole et les interfaces utilises par les differents processus pour communiquer. La specification raffinee peut etre traduite en c et vhdl pour etre utilisee par des outils du commerce. Nous illustrons la faisabilite de cette approche par une application a un systeme de telecommunication : le protocole tcp/ip sur atm.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 151 P.
  • Annexes : 147 REF.

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.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.