2026-07-20T05:23:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7145 2024-03-06T11:04:59Z ddc:004 open_access

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact) Monteiro Barbosa, Davi Gadelha de Moura Lima, Rómulo Maia, Paulo Henrique Mendes Junior, Evilásio Costa Self-adaptive systems; Runtime models; Runtime verification; Tool; Framework 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Davi Monteiro Barbosa and Rómulo Gadelha de Moura Lima and Paulo Henrique Mendes Maia and Evilásio Costa Junior 2017 Is Part Of DARTS, Volume 3, Issue 1, Special Issue of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.3.1.7 urn:nbn:de:0030-drops-71454 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.7 eng https://creativecommons.org/licenses/by/3.0/de/legalcode