Diagnosis from Scenarios

Loïc Hélouët 1 Hervé Marchand 1 Blaise Genest 1 Thomas Gazagnaire 2
1 SUMO - SUpervision of large MOdular and distributed systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : Diagnosis of a system consists in providing explanations to a supervisor from a partial observation of the system and a model of possible executions. This paper proposes a partial order diagnosis algorithm that recovers sets of scenarios which correspond to a given observation. Systems are modeled using High-level Message Sequence Charts (HMSCs), and the diagnosis is given as a new HMSC, which behaviors are all explanations of the partial observation. The main difficulty is that some actions of the monitored system are unobservable but may still induce some causal ordering among observed events. We first give an offline centralized diagnosis algorithm, then we discuss a decentralized version of this algorithm. We then give an online diagnosis algorithm, and define syntactic criteria under which the memory used can be bounded. This allows us to give a complete diagnosis framework for infinite state systems, with a strong emphasis on concurrency and causal ordering in behaviors. The last contribution of the paper is an application of diagnosis techniques to a security problem called anomaly detection. Anomaly detection consists in comparing what occurs in the system with usual/expected behaviors, and raising an alarm when some unusual behavior (meaning a potential attack) occurs.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.353-415. 〈10.1007/s10626-013-0158-2〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00879441
Contributeur : Loic Helouet <>
Soumis le : dimanche 3 novembre 2013 - 21:51:45
Dernière modification le : mercredi 2 août 2017 - 10:11:23
Document(s) archivé(s) le : mardi 4 février 2014 - 04:28:23

Fichier

JDEDS-Unusual.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire. Diagnosis from Scenarios. Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.353-415. 〈10.1007/s10626-013-0158-2〉. 〈hal-00879441〉

Partager

Métriques

Consultations de la notice

418

Téléchargements de fichiers

119