1 Search Results for "Rydeheard, David"

Document
DOI: 10.4230/OASIcs.FSFMA.2013.80
Modelling and Reasoning about Dynamic Networks as Concurrent Systems

Authors: Yanti Rusmawati and David Rydeheard

Published in: OASIcs, Volume 31, 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)

Abstract
We propose a new approach to modelling and reasoning about dynamic networks. Dynamic networks consist of nodes and edges whose operating status may change over time (for example, the edges may be unreliable and operate intermittently). Message-passing in such networks is inherently difficult and reasoning about the behaviour of message-passing algorithms is also difficult. We develop a series of abstract models which allow us to focus on the correctness of routing methods. We model the dynamic network as a ``demonic'' process which runs concurrently with routing updates and message-passing. This allows us to use temporal logic and fairness constraints to reason about dynamic networks. The models are implemented as multi-threaded programs and, to validate them, we use an experimental run-time verification tool called RuleR.
Cite as

Yanti Rusmawati and David Rydeheard. Modelling and Reasoning about Dynamic Networks as Concurrent Systems. In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, pp. 80-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{rusmawati_et_al:OASIcs.FSFMA.2013.80,
  author =	{Rusmawati, Yanti and Rydeheard, David},
  title =	{{Modelling and Reasoning about Dynamic Networks as Concurrent Systems}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{80--85},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Choppy, Christine and Sun, Jun},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.80},
  URN =		{urn:nbn:de:0030-drops-40921},
  doi =		{10.4230/OASIcs.FSFMA.2013.80},
  annote =	{Keywords: dynamic networks, temporal logic, concurrent systems}
}
  • Refine by Author
  • 1 Rusmawati, Yanti
  • 1 Rydeheard, David

  • Refine by Classification

  • Refine by Keyword
  • 1 concurrent systems
  • 1 dynamic networks
  • 1 temporal logic

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2013

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact