Méthodes, langages et outils de spécification et de construction des systèmes de diagnostic

par Béchir El Ayeb

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Finance.

Soutenue en 1989

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .

mots clés

• Sciences appliquées
• Informatique, automatique théorique, systèmes
• Thèse
• Intelligence artificielle
• Aide diagnostic
• Raisonnement
• Diagnostic panne
• Application industrielle
• Langage spécification
• Outil logiciel
• Génie logiciel
• Thesis
• Détection de défaut (ingénierie)
• Maintenance automatisée
• Pannes
• Systèmes informatiques
• Diagnostic

Résumé

Spécification et construction méthodiques de systèmes de diagnostic pour les grandes installations industrielles. Recherche d'un langage de spécification et des outils de construction des systèmes de diagnostic. Proposition d'une méthode de spécification pour structurer une installation en hiérarchies et graphes de composants abstraits, ainsi qu'un langage pour spécifier les différents composants

Titre traduit

Methods, langages and tools to develop diagnostic systems

Pas de résumé disponible.