Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems

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… (More)
DOI: 10.4230/DARTS.3.1.7

Topics

3 Figures and Tables

Cite this paper

@article{Barbosa2017LotusRuntimeAT, title={Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems}, author={Davi Monteiro Barbosa and R{\'o}mulo Gadelha de Moura Lima and Paulo Henrique Mendes Maia and Evil{\'a}sio Costa Junior}, journal={2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}, year={2017}, pages={24-30} }