Diagnosis of Complex Active Systems with Uncertain Temporal Observations

Abstract : Complex active systems have been proposed as a formalism for modeling real dynamic systems that are organized in a hierarchy of behavioral abstractions. As such, they constitute a conceptual evolution of active systems, a class of discrete-event systems introduced into the literature two decades ago. A complex active system is a hierarchy of active systems, each one characterized by its own behavior expressed by the interaction of several communicating automata. The interaction between active systems within the hierarchy is based on special events, which are generated when specific behavioral patterns occur. Recently, the task of diagnosis of complex active systems has been studied, with an efficient diagnosis technique being proposed. However, the observation of the system is assumed to be linear and certain, which turns out to be an over-assumption in real, large, and distributed systems. This paper extends diagnosis of complex active systems to cope with uncertain temporal observations. An uncertain temporal observation is a DAG where nodes are marked by candidate labels (logical uncertainty), whereas arcs denote partial temporal ordering between nodes (temporal uncertainty). By means of indexing techniques, despite the uncertainty of temporal observations, the intrinsic efficiency of the diagnosis task is retained in both time and space.
Type de document :
Communication dans un congrès
Francesco Buccafurri; Andreas Holzinger; Peter Kieseberg; A Min Tjoa; Edgar Weippl. International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9817, pp.45-62, 2016, Availability, Reliability, and Security in Information Systems. 〈10.1007/978-3-319-45507-5_4〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01635018
Contributeur : Hal Ifip <>
Soumis le : mardi 14 novembre 2017 - 16:07:02
Dernière modification le : mercredi 15 novembre 2017 - 01:15:13

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Gianfranco Lamperti, Xiangfu Zhao. Diagnosis of Complex Active Systems with Uncertain Temporal Observations. Francesco Buccafurri; Andreas Holzinger; Peter Kieseberg; A Min Tjoa; Edgar Weippl. International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9817, pp.45-62, 2016, Availability, Reliability, and Security in Information Systems. 〈10.1007/978-3-319-45507-5_4〉. 〈hal-01635018〉

Partager

Métriques

Consultations de la notice

21