thesis
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
Institution:
Lille 1Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract 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.