Université Lille1 - Sciences et Technologies 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 A safe development method of softwares for the process control about safety 005.3 Petri, Réseaux de GRAFCET Microprocesseurs Logiciels Text Electronic Thesis or Dissertation fr 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. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1985/50376-1985-43.pdf El Miloudi El Koursi 1900-01-01 13072467X 1985-01-01 Sciences appliquées Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:000 ASCII PDF 9999