Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Fri 23 Oct 2020 14:10 - 14:25 at Room B - B7-Run-time and Architecture Chair(s): Bran Selic

In this paper, we present MReplayer, that supports ordering and replaying of execution traces of distributed systems that are developed using communicated state machine models. Despite the existing solutions that require detailed traces annotated with timestamps (logical or physical), MReplayer only requires a minimum amount of traces without timestamps. Instead, it uses model analysis techniques to order and replay the traces. MReplayer is composed of a set of engines that support an end-to-end solution to trace ordering and replay of distributed systems in three steps: first, a model of a distributed system is instrumented using model transformations to generate execution traces and broadcasts the traces either using a TCP connection or a log file. Second, static analysis of state machine models is performed to extract run-to-completion steps from them. Third, using the information collected (execution traces and rc-steps) in the previous steps, a lightweight centralized version of the distributed system is created and presented to users in a web-based application. The application allows users to replay an execution either forward or backward and inspects variable values. We have evaluated MReplayer against several use cases with various complexities. The result shows that MReplayer can reduce the size of the trace information collected by more than half while incurring similar runtime overhead.

Fri 23 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

13:15 - 14:30
B7-Run-time and ArchitectureTechnical Track at Room B
Chair(s): Bran SelicMalina Software Corporation
13:15
20m
Full-paper
A model-based approach for developing event-driven architectures with AsyncAPIP&I
Technical Track
Abel GómezUniversitat Oberta de Catalunya, Markel Iglesias-Urkia, Aitor Urbieta, Jordi CabotICREA - UOC
DOI Pre-print Media Attached
13:35
20m
Full-paper
A Scalable Querying Scheme for Memory-efficient Runtime Models with HistoryFT
Technical Track
Lucas SakizloglouHasso Plattner Institute, University of Potsdam, Sona GhahremaniHasso Plattner Institute, University of Potsdam, Matthias BarkowskyHasso Plattner Institute, University of Potsdam, Germany, Matthias BarkowskyHasso Plattner Institute, University of Potsdam, Germany, Holger GieseHasso Plattner Institute, University of Potsdam
Link to publication DOI Pre-print
13:55
15m
Talk
A model-based architecture for interactive run-time monitoringJ1st
Technical Track
Nicolas Hili, Mojtaba Bagherzadeh, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
DOI
14:10
15m
Demonstration
MReplayer: A Trace Replayer of Distributed UML-RT ModelsDemo
Technical Track
Majid BabaeiQueen's University, Mojtaba Bagherzadeh, Juergen DingelQueen's University, Kingston, Ontario
Pre-print