1 Search Results for "Momtaz, Anik"


Document
Distributed Runtime Verification Under Partial Synchrony

Authors: Ritam Ganguly, Anik Momtaz, and Borzoo Bonakdarpour

Published in: LIPIcs, Volume 184, 24th International Conference on Principles of Distributed Systems (OPODIS 2020)


Abstract
In this paper, we study the problem of runtime verification of distributed applications that do not share a global clock with respect to specifications in the linear temporal logics (LTL). Our proposed method distinguishes from the existing work in three novel ways. First, we make a practical assumption that the distributed system under scrutiny is augmented with a clock synchronization algorithm that guarantees bounded clock skew among all processes. Second, we do not make any assumption about the structure of predicates that form LTL formulas. This relaxation allows us to monitor a wide range of applications that was not possible before. Subsequently, we propose a distributed monitoring algorithm by employing SMT solving techniques. Third, given the fact that distributed applications nowadays run on massive cloud services, we extend our solution to a parallel monitoring algorithm to utilize the available computing infrastructure. We report on rigorous synthetic as well as real-world case studies and demonstrate that scalable online monitoring of distributed applications is within our reach.

Cite as

Ritam Ganguly, Anik Momtaz, and Borzoo Bonakdarpour. Distributed Runtime Verification Under Partial Synchrony. In 24th International Conference on Principles of Distributed Systems (OPODIS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 184, pp. 20:1-20:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{ganguly_et_al:LIPIcs.OPODIS.2020.20,
  author =	{Ganguly, Ritam and Momtaz, Anik and Bonakdarpour, Borzoo},
  title =	{{Distributed Runtime Verification Under Partial Synchrony}},
  booktitle =	{24th International Conference on Principles of Distributed Systems (OPODIS 2020)},
  pages =	{20:1--20:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-176-4},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{184},
  editor =	{Bramas, Quentin and Oshman, Rotem and Romano, Paolo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2020.20},
  URN =		{urn:nbn:de:0030-drops-135053},
  doi =		{10.4230/LIPIcs.OPODIS.2020.20},
  annote =	{Keywords: Runtime monitoring, Distributed systems, Formal methods, Cassandra}
}
  • Refine by Author
  • 1 Bonakdarpour, Borzoo
  • 1 Ganguly, Ritam
  • 1 Momtaz, Anik

  • Refine by Classification
  • 1 Theory of computation → Distributed computing models
  • 1 Theory of computation → Logic and verification

  • Refine by Keyword
  • 1 Cassandra
  • 1 Distributed systems
  • 1 Formal methods
  • 1 Runtime monitoring

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2021

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail