Analyse et conception des systèmes temps-réel : translation d'une approche fonctionnelle à une approche orientée objet - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1997

Analyse et conception des systèmes temps-réel : translation d'une approche fonctionnelle à une approche orientée objet

Résumé

The work presented deals with the analysis and design of real-time systems. We present an original technique for the translation of structured specifications to object-oriented specifications. The need for such a technique and related literature are first presented. Then, are presented the different steps of the proposed technique. Its originality comes from the use of Petri nets as a translation medium. First, structured specifications (SA-RT formalism) are described by means of Petri nets. Then, resulting Petri nets are decomposed by using S-invariants to identify and define objects. Resulting objects are specified according to HOOD/PNO formalism. The proposed technique can be based on the static view of the specifications, the dynamic view or can be balanced between both of them. Several examples illustrate the different steps and possible approaches. Limits of the proposed technique, possibilities to use it jointly with others and to systematise it are also studied. Moreover, we investigate the possibility to use the obtained results to evaluate structured specifications. Some time extensions of Petri nets are investigated for this goal.
Les travaux développés dans ce mémoire se situent dans le cadre de l'analyse et de la conception des systèmes temps réel. Nous proposons une approche d'aide à la translation entre analyse fonctionnelle et analyse orientée objet. L'utilité d'une telle démarche ainsi que les différents travaux effectués dans ce domaine sont d'abord étudiés. Ensuite, nous exposons les différentes étapes de la démarche. Son originalité découle de l'utilisation des réseaux de Petri comme moyen de translation. D'abord, les spécifications fonctionnelles (de type SA-RT) sont décrites par réseaux de Petri. Les composantes conservatives de ces derniers sont alors utilisées pour identifier et définir les objets. Le formalisme HOOD/PNO est adopté pour la spécification des objets. L'approche proposée peut s'appuyer sur l'aspect statique des spécifications ou sur l'aspect dynamique. Il est également possible d'adopter une approche mixte. Les différentes étapes de la démarche et les approches possibles sont illustrées par des exemples significatifs. Nous étudions également les limites de la démarche proposée, ses parties automatisables et la possibilité de l'utiliser avec d'autres techniques. Par ailleurs, nous nous intéressons à la possibilité d'exploiter les résultats obtenus dans des objectifs d'évaluation des spécifications fonctionnelles. L'apport de certaines extensions temporelles des réseaux de Petri est mis en évidence.
Fichier principal
Vignette du fichier
tel-00010092.pdf (7.6 Mo) Télécharger le fichier

Dates et versions

tel-00010092 , version 1 (09-09-2005)

Identifiants

  • HAL Id : tel-00010092 , version 1

Citer

Adel Benzina. Analyse et conception des systèmes temps-réel : translation d'une approche fonctionnelle à une approche orientée objet. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 1997. Français. ⟨NNT : ⟩. ⟨tel-00010092⟩
319 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More