Titre original :

Une métode sûre de développement des logiciels destinés à la commande de processus en sécurité : application à la commande de portes véhicules du métro VAL

  • Langue : Français
  • Discipline : Sciences appliquées
  • Identifiant : Inconnu
  • Type de thèse : Doctorat
  • Date de soutenance : 01/01/1985

Résumé en langue originale

Rappel sur les réseaux de Pétri interprétés RDPI, application à la description et à l'analyse d'une fonction de commande de processus. Description d'une méthode d'implémentation des RDPI basée sur le traitement autour des places, cette méthode permettant d'obtenir un progiciel modulaire et structure. Description d'un outil informatique ou progiciel permettant d'obtenir à partir de la description fonctionnelle du RDPI, le code objet exécutable par le microprocesseur.

AUTEUR

  • El Miloudi, El Koursi
Droits d'auteur : Ce document est protégé en vertu du Code de la Propriété Intellectuelle.
Accès libre