Qualitative abstraction for monitoring cyber-physical systems
Abstraction qualitative et surveillance de systèmes cyber-physiques
Résumé
La surveillance de systèmes cyber-physiques en temps réel est une activité industrielle primordiale nécessitant de déployer des ressources, notamment en termes de capteurs, de traitement de signal, ainsi que d'analyse des informations obtenues. De fait, le choix du nombre de ces capteurs et de leur fréquence d'échantillonnage est un compromis entre la consommation de ressources et le niveau de sûreté. Le principe de la surveillance du système est d'utiliser les informations fournies par les capteurs pour calculer à chaque instant la position de l'état du système dans l'arbre de ses comportements théoriques, afin de détecter les évènements anormaux et d'anticiper leurs conséquences. Cependant, cette méthode offre peu d'outils pour optimiser ce processus. En utilisant l'abstraction et la modélisation qualitative, nous proposons une méthode permettant d'obtenir une carte qualitative de l'espace d'états du système, et d'utiliser celleci afin d'optimiser le choix des instants de mesure et des calculs à effectuer, pour améliorer l'efficacité de la surveillance des systèmes cyber-physiques en temps réel.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|---|
Licence |