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

par Marcello Peixoto Bax

Thèse de doctorat en Automatique, traitement du signal et génie informatique

Sous la direction de Norbert Giambiasi.

Soutenue en 1995

à Montpellier 2 .

mots clés

• Traitement réparti
• Systèmes à paramètres répartis -- Modèles mathématiques
• Temps réel (informatique)
• Petri, Réseaux de
• Formalisme (mathématiques)
• Programmation orientée objets (informatique)

Résumé

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

Titre traduit

An object-oriented petri net approach : the openrt formalism for distributed real time system modelling

Pas de résumé disponible.