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.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00010092 |
| Date | 16 December 1997 |
| Creators | BENZINA, Adel |
| Publisher | Université Paul Sabatier - Toulouse III |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds