Monitoring Distributed Systems Using Knowledge
International audience In this paper, we use knowledge-based control theory to monitor global properties in a distributed system. We control the system to enforce that if a given global property is violated, at least one process knows this fact, and therefore may report it. Our approach uses knowled...
Main Authors: | , , |
---|---|
Other Authors: | , , , , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-01583313 https://inria.hal.science/hal-01583313/document https://inria.hal.science/hal-01583313/file/978-3-642-21461-5_12_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_12 |
id |
ftifiphal:oai:HAL:hal-01583313v1 |
---|---|
record_format |
openpolar |
spelling |
ftifiphal:oai:HAL:hal-01583313v1 2024-04-28T08:25:45+00:00 Monitoring Distributed Systems Using Knowledge Graf, Susanne Peled, Doron Quinton, Sophie VERIMAG (VERIMAG - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS) Bar-Ilan University Israël Institute of Computer and Network Engineering Braunschweig (IDA) Technische Universität Braunschweig = Technical University of Braunschweig Braunschweig Roberto Bruni Juergen Dingel TC 6 WG 6.1 Reykjavik,, Iceland 2011-06-06 https://inria.hal.science/hal-01583313 https://inria.hal.science/hal-01583313/document https://inria.hal.science/hal-01583313/file/978-3-642-21461-5_12_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_12 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_12 hal-01583313 https://inria.hal.science/hal-01583313 https://inria.hal.science/hal-01583313/document https://inria.hal.science/hal-01583313/file/978-3-642-21461-5_12_Chapter.pdf doi:10.1007/978-3-642-21461-5_12 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://inria.hal.science/hal-01583313 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.183-197, ⟨10.1007/978-3-642-21461-5_12⟩ [INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftifiphal https://doi.org/10.1007/978-3-642-21461-5_12 2024-04-09T14:41:03Z International audience In this paper, we use knowledge-based control theory to monitor global properties in a distributed system. We control the system to enforce that if a given global property is violated, at least one process knows this fact, and therefore may report it. Our approach uses knowledge properties that are precalculated based on model checking. As local knowledge is not always sufficient to monitor a global property in a concurrent system, we allow adding temporary synchronizations between two or more processes to achieve sufficient knowledge. Since synchronizations are expensive, we aim at minimizing their number using the knowledge analysis. Conference Object Iceland IFIP Open Digital Library (International Federation for Information Processing) 183 197 |
institution |
Open Polar |
collection |
IFIP Open Digital Library (International Federation for Information Processing) |
op_collection_id |
ftifiphal |
language |
English |
topic |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
spellingShingle |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Graf, Susanne Peled, Doron Quinton, Sophie Monitoring Distributed Systems Using Knowledge |
topic_facet |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
description |
International audience In this paper, we use knowledge-based control theory to monitor global properties in a distributed system. We control the system to enforce that if a given global property is violated, at least one process knows this fact, and therefore may report it. Our approach uses knowledge properties that are precalculated based on model checking. As local knowledge is not always sufficient to monitor a global property in a concurrent system, we allow adding temporary synchronizations between two or more processes to achieve sufficient knowledge. Since synchronizations are expensive, we aim at minimizing their number using the knowledge analysis. |
author2 |
VERIMAG (VERIMAG - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS) Bar-Ilan University Israël Institute of Computer and Network Engineering Braunschweig (IDA) Technische Universität Braunschweig = Technical University of Braunschweig Braunschweig Roberto Bruni Juergen Dingel TC 6 WG 6.1 |
format |
Conference Object |
author |
Graf, Susanne Peled, Doron Quinton, Sophie |
author_facet |
Graf, Susanne Peled, Doron Quinton, Sophie |
author_sort |
Graf, Susanne |
title |
Monitoring Distributed Systems Using Knowledge |
title_short |
Monitoring Distributed Systems Using Knowledge |
title_full |
Monitoring Distributed Systems Using Knowledge |
title_fullStr |
Monitoring Distributed Systems Using Knowledge |
title_full_unstemmed |
Monitoring Distributed Systems Using Knowledge |
title_sort |
monitoring distributed systems using knowledge |
publisher |
HAL CCSD |
publishDate |
2011 |
url |
https://inria.hal.science/hal-01583313 https://inria.hal.science/hal-01583313/document https://inria.hal.science/hal-01583313/file/978-3-642-21461-5_12_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_12 |
op_coverage |
Reykjavik,, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://inria.hal.science/hal-01583313 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.183-197, ⟨10.1007/978-3-642-21461-5_12⟩ |
op_relation |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_12 hal-01583313 https://inria.hal.science/hal-01583313 https://inria.hal.science/hal-01583313/document https://inria.hal.science/hal-01583313/file/978-3-642-21461-5_12_Chapter.pdf doi:10.1007/978-3-642-21461-5_12 |
op_rights |
http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess |
op_doi |
https://doi.org/10.1007/978-3-642-21461-5_12 |
container_start_page |
183 |
op_container_end_page |
197 |
_version_ |
1797585438804803584 |