Vers une reformulation de la spécification dans la commande des systèmes de production : approches multi-formalismes

par Rachid Mrhailaf

Thèse de doctorat en Informatique industrielle et productique

Sous la direction de Abd-El-Kader Sahraoui.

Soutenue en 1997

à Toulouse 3 .

mots clés

• Méthode semi formelle
• Méthode formelle
• Production -- Gestion -- Modèles mathématiques
• Systèmes, Conception de
• GPAO
• Formalisme (mathématiques)

Résumé

La spécification complète de la conduite des systèmes de production nécessite différents approches et formalismes afin de tenir compte de ses différents aspects (système hétérogène). Couvrir tous les aspects d'un système hétérogène est ramené au problème d'intégration de différentes méthodes sous une approche globale d'analyse et de décomposition (approche multi-formalismes). Deux cas de systèmes hétérogènes ont été étudiés. Le premier cas est celui d'un système réactif et transformationnel ou nous avons proposé l'intégration des méthodes SA/RT et SC sous une approche fonctionnelle globale. Le deuxième cas concerne les systèmes comportant, en plus des sous-systèmes réactifs et transformationnels, des sous-systèmes d'information. Pour ce type de systèmes, nous avons proposé l'intégration des méthodes SA/RT, SC, MI et OMT sous une approche globale basée sur le concept de domaine et d'objet domaine. Afin d'intégrer des méthodes formelles (VDM) dans le cycle de developpement d'un système, Nous avons proposé une démarche de passage d'un modèle semi-formel à un modèle formel. Cette démarche s'applique aussi bien dans le cas d'un développement fonctionnel que d'un développement orienté objet. Il a été étudié en particulier le passage d'un modèle semi-formel SA-RT à un modèle formel VDM. Les différentes approches sont illustrées à travers des études de cas sur un exemple de cellule d'usinage.

Titre traduit

Towards a reformulation of specification in the control of production systems : a multiformalisms approach

Pas de résumé disponible.