Recherche Avancée

Thèse soutenue

Une approche mixte réseaux de Pétri et modélisation orientée-objet : le formalisme OPenRT pour la modélisation de systèmes distribués temps réel

FR  |  
EN
Auteur / Autrice : Marcello Peixoto Bax
Direction : Norbert Giambiasi
Type : Thèse de doctorat
Discipline(s) : Automatique, traitement du signal et génie informatique
Date : Soutenance en 1995
Etablissement(s) : Montpellier 2

Résumé

FR

Avec l'evolution des techniques informatiques materielles et logicielles, les systemes pour le controle de procedes industriels deviennent de plus en plus complexes. Devant fonctionner en temps reels, ces systemes sont souvent distribues sur plusieurs ordinateurs. Leur specification et leur conception sont des activites dont la complexite ne cesse d'augmenter. Cela rend les techniques formelles dediees a la verification comportementale des outils dont l'importance est crucial pour le developpement de ces systemes. Ces techniques aident a decouvrir des problemes logiques ou des proprietes non voulues presentes dans le comportement des systemes modelises. Par exemple le verrou mortel, la famine des processus, ou les anomalies de synchronisation entre processus. Dans cette these nous proposons un formalisme base sur l'utilisation conjointe d'une approche a objets pour son pouvoir de structuration et des reseaux de petri avec explicitation du temps pour la description du parallelisme, de la repartition et des contraintes temporelles. Ce formalisme permet une organisation hierarchisee et modulaire des modeles crees et encourage leur reutilisation. Un langage de haut niveau a ete defini a partir de ce formalisme. Ce langage permet de decrire et d'executer les specifications de systemes distribues temps reel. Pour illustrer ses applications, un exemple de modelisation simplifie d'un systeme reel est donne dans la derniere partie de ce memoire