• Langue : Français
• Discipline : Productique : automatique et informatique industrielle
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1990

Résumé en langue originale

Le cadre d'étude de cette thèse est la sûreté de fonctionnement dans les transports terrestres automatisés. Le développement automatique de plus en plus complexes nécessite de nouvelles méthodes prouvant la sûreté de fonctionnement aussi bien du point de vue sécurité que disponibilité et "maintenabilité". Le travail de recherche s'est orienté vers les méthodes de spécification des automatismes et la validation de ces spécifications. Dans un premier temps, on étudie différents outils de spécification qui s'appuient sur des méthodes formelles et semi-formelles de définition du système. On a analysé leur apport au niveau des études de sécurité. Avant de passer à la phase de conception, il est important de s'assurer que le modèle conçu est conforme aux objectifs. L'analyse préliminaire définit les objectifs à atteindre et les critères à respecter. Elle sert de document de référence pour valider la spécification. Par la suite, nous étudions la simulation du modèle. Nous décrivons dans ce document l'outil qui a été développé pour simuler les spécifications d'automatismes au sol. Il aide la mise au point de la spécification et sa validation. Il simule le comportement de l'équipement dans un environnement proche de la réalité