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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01618922
Contributor : Engel Lefaucheux <>
Submitted on : Wednesday, October 18, 2017 - 4:58:30 PM
Last modification on : Thursday, December 13, 2018 - 4:28:33 PM
Long-term archiving on : Friday, January 19, 2018 - 2:25:46 PM

File

msr.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

320

Files downloads

50