• Langue : Français
• Discipline : Sciences physiques
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1986

Résumé en langue originale

La sureté de fonctionnement est une discipline qui vise à prévoir quantitativement le comportement d'un système face au risque de défaillance de ses composants. L'étude présentée est orientée vers la sureté des systèmes utilisés en production automatisée. La première partie discute des bases de la sureté de ces systèmes. Elle met en évidence l'insuffisance des moyens habituellement mis en oeuvre pour améliorer la sureté de ces systèmes. La deuxième partie présente les bases d'un mécanisme de test de la partie opérative par analyse syntaxique des comptes rendus qu'elle émet. L'enrichissement progressif du modèle ainsi crée par introduction d'éléments sémantiques, conduit à différents niveaux de test (statique, dynamique, dynamique avec contexte commande, dynamique pondéré). La troisième partie traite de la mise en oeuvre. L'intégration matérielle et logicielle du mécanisme de test à l'automatisme ainsi que la création du modèle y sont discutées. La quantification des taux de couverture permet de comparer les performances des différents niveaux de tests. Il est également défini une stratégie permettant de localiser le composant défaillant à partir du type d'erreur mise en évidence par le mécanisme de test