DARTS.3.1.7.pdf
- Filesize: 0.55 MB
- 5 pages
Document
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017)
Volume: DARTS, Volume 3 (ECOOP 2017)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2017-05-16
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
Artifact
DARTS-3-1-7-artifact-d3c770ee9a970bb96b152ba72dde6120.tgz
(Filesize: 202.91 MB)
MD5 Sum:
d3c770ee9a970bb96b152ba72dde6120
(Get MD5 Sum)
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.
Subject Classification
Keywords
- Self-adaptive systems; Runtime models; Runtime verification; Tool; Framework
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- 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.