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 - 13:35
Full-paper
Technical Track
Abel GómezUniversitat Oberta de Catalunya, Markel Iglesias-Urkia, Aitor Urbieta, Jordi CabotICREA - UOC
DOI Pre-print Media Attached
13:35 - 13:55
Full-paper
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
DOI Pre-print
13:55 - 14:10
Talk
Technical Track
Nicolas Hili, Mojtaba Bagherzadeh, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
DOI
14:10 - 14:25
Demonstration
Technical Track
Majid BabaeiQueen's University, Mojtaba Bagherzadeh, Juergen DingelQueen's University, Kingston, Ontario
Pre-print