1 Search Results for "Gadelha de Moura Lima, Rómulo"


Document
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)

Authors: Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, and Evilásio Costa Junior

Published in: DARTS, Volume 3, Issue 1, Special Issue of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017)


Abstract
This paper presents Lotus@Runtime, an extensible tool that uses models@runtime to monitor and verify self-adaptive systems. The tool monitors the execution traces generated by a self-adaptive system and annotates the probabilities of occurrence of each system action on their respective transition on the system model, which is created at design time in the tool as a Labelled Transition System (LTS). Then, runtime checks of a set of reachability properties are performed against the updated probabilistic model. If a property is violated, the self-adaptive system can be informed by a notification mechanism provided by Lotus@Runtime. The applicability of the proposed tool has been demonstrated by two service-based self-adaptive systems taken and adapted from the literature.

Cite as

Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, and Evilásio Costa Junior. Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact). In Special Issue of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 1, pp. 7:1-7:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{monteirobarbosa_et_al:DARTS.3.1.7,
  author =	{Monteiro Barbosa, Davi and Gadelha de Moura Lima, Rómulo and Maia, Paulo Henrique Mendes and Junior, Evilásio Costa},
  title =	{{Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)}},
  pages =	{7:1--7:5},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Monteiro Barbosa, Davi and Gadelha de Moura Lima, Rómulo and Maia, Paulo Henrique Mendes and Junior, Evilásio Costa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.3.1.7},
  URN =		{urn:nbn:de:0030-drops-71454},
  doi =		{10.4230/DARTS.3.1.7},
  annote =	{Keywords: Self-adaptive systems; Runtime models; Runtime verification; Tool; Framework}
}
  • Refine by Author
  • 1 Gadelha de Moura Lima, Rómulo
  • 1 Junior, Evilásio Costa
  • 1 Maia, Paulo Henrique Mendes
  • 1 Monteiro Barbosa, Davi

  • Refine by Classification

  • Refine by Keyword
  • 1 Self-adaptive systems; Runtime models; Runtime verification; Tool; Framework

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2017

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