Document Open Access Logo

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, Evilásio Costa Junior

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.3.1.7.pdf
  • Filesize: 0.55 MB
  • 5 pages

Document Identifiers

Subject Classification

Keywords
  • Self-adaptive systems; Runtime models; Runtime verification; Tool; Framework

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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 Get BibTex

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) https://doi.org/10.4230/DARTS.3.1.7

Author Details

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

Artifact

  MD5 Sum: d3c770ee9a970bb96b152ba72dde6120 (Get MD5 Sum)

Supplementary Materials

References

  1. R. Calinescu, K. Johnson, and Y. Rafiq. Developing self-verifying service-based systems. In Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on, pages 734-737, Nov 2013. URL: http://dx.doi.org/10.1109/ASE.2013.6693145.
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-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact