Analyse et conception des systemes temps reel : translation d'une approche fonctionnelle a une approche orientee objet

par ADEL BENZINA

Thèse de doctorat en Sciences appliquées

Sous la direction de Mario Paludetto.

Soutenue en 1997

à Toulouse 3 .


  • Résumé

    Les travaux developpes dans ce memoire se situent dans le cadre de l'analyse et de la conception des systemes temps reel. Nous proposons une approche d'aide a la translation entre analyse fonctionnelle et analyse orientee objet. L'utilite d'une telle demarche ainsi que les differents travaux effectues dans ce domaine sont d'abord etudies. Ensuite, nous exposons les differentes etapes de la demarche. Son originalite decoule de l'utilisation des reseaux de petri comme moyen de translation. D'abord, les specifications fonctionnelles (de type sa-rt) sont decrites par reseaux de petri. Les composantes conservatives de ces derniers sont alors utilisees pour identifier et definir les objets. Le formalisme hood/pno est adopte pour la specification des objets. L'approche proposee peut s'appuyer sur l'aspect statique des specifications ou sur l'aspect dynamique. Il est egalement possible d'adopter une approche mixte. Les differentes etapes de la demarche et les approches possibles sont illustrees par des exemples significatifs. Nous etudions egalement les limites de la demarche proposee, ses parties automatisables et la possibilite de l'utiliser avec d'autres techniques. Par ailleurs, nous nous interessons a la possibilite d'exploiter les resultats obtenus dans des objectifs d'evaluation des specifications fonctionnelles. L'apport de certaines extensions temporelles des reseaux de petri est mis en evidence.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 160 P.
  • Annexes : 96 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-BEN
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1997TOU30241
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.