Published May 5, 2023
| Version v1
Conference paper
Open
Interaction-based Offline Runtime Verification of Distributed Systems
- 1. Université Paris-Saclay, CEA List
- 2. Université Paris-Saclay, CentraleSupélec
Description
Interactions are formal models describing asynchronous communications within a distributed system. They can be drawn in the fashion of sequence diagrams and associated with an operational semantics in the style of process algebras. In this paper, we propose an algorithm for offline runtime verification against interactions. Our algorithm deals with observability issues e.g. that some subsystems may not be observed or that some events may not be observed when the end of monitoring on different subsystems cannot be synchronized. We prove the algorithm’s correctness and assess the performance of an implementation.
Notes
Files
fsen_2023_camera_ready_cea.pdf
Files
(1.2 MB)
Name | Size | Download all |
---|---|---|
md5:d38e02f8802912327664bc6f39078090
|
1.2 MB | Preview Download |