TY - GEN
T1 - Monitoring distributed systems using knowledge
AU - Graf, Susanne
AU - Peled, Doron
AU - Quinton, Sophie
N1 - Place of conference:Reykjavik, Iceland
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=79960887799&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-21461-5_12
DO - 10.1007/978-3-642-21461-5_12
M3 - منشور من مؤتمر
SN - 9783642214608
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 183
EP - 197
BT - Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Proceedings
T2 - Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011 and 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2011
Y2 - 6 June 2011 through 9 June 2011
ER -