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

Analysis and design of real-time systems : translation of structured analysis to object-oriented analysis

• Auteur / Autrice : ADEL BENZINA
• Direction : Mario Paludetto
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1997
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Analyse des systèmes

Petri, Réseaux de

Programmation orientée objets (informatique)

Temps réel (informatique)

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Systeme temps reel

Analyse systeme

Conception systeme

Oriente objet

Reseau petri

Translation

Formalisme sa-rt

Formalisme hood

Pno

Real time system

System analysis

System design

Object oriented

Petri net

Translation

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.