Université Lille1 - Sciences et Technologies Spécification et validation d'automatismes à haut niveau de sureté de fonctionnement appliquées aux transports terrestres automatisés 625.4 Transports publics Fiabilité Transports publics Automatisation Text Electronic Thesis or Dissertation fr 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é application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1990/50376-1990-119.pdf Fayolle Béatrice 1900-01-01 134948025 1990-01-01 Productique : automatique et informatique industrielle Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Gabillard Robert 059439653 ddc:620 ASCII PDF 9999