Diagnostic et contrôle de la dégradation des systèmes probabilistes

Nathalie Bertrand 1 Serge Haddad 2, 3 Engel Lefaucheux 2, 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Résumé : Le diagnostic actif est opéré par un contrôleur en vue de rendre un système diagnosti-cable. Afin d'´ eviter que le contrôleur ne dégrade trop fortement le système, on lui affecte généralement un second objectif en termes de qualité de service. Dans le cadre des systèmes probabilistes, une spécification possible consistè a assurer une probabilité positive qu'une exécution infinie soit correcte, ce qu'on appelle le diagnostic actif sûr. Nous introduisons ici deux spécifications alternatives. La gamma-correction du système affectè a une exécu-tion une valeur de correction dépendant d'un facteur de décote gamma et le contrôleur doit assurer une valeur moyenne supérieurè a un seuil fixé. La alpha-dégradation requiert qu'asymptotiquement, ` a chaque unité de temps une proportion supérieurè a alpha des exécutions jusqu'alors correctes le demeure. D'un point de vue sémantique, nous explicitons des liens significatifs entre les différentes notions. Algorithmiquement, nousétablissonsnousétablissons lafrontì ere entre décidabilité et indécidabilité desprobì emes et dans le cas positif nous exhibons la complexité précise ainsi qu'une synthèse, potentiellementàpotentiellement`potentiellementà mémoire infinie.
Type de document :
Communication dans un congrès
MSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01618922
Contributeur : Engel Lefaucheux <>
Soumis le : mercredi 18 octobre 2017 - 16:58:30
Dernière modification le : jeudi 11 janvier 2018 - 06:28:14

Fichier

msr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01618922, version 1

Citation

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnostic et contrôle de la dégradation des systèmes probabilistes. MSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 〈hal-01618922〉

Partager

Métriques

Consultations de la notice

104

Téléchargements de fichiers

13