Interaction-based offline runtime verification of distributed systems - CEA - Commissariat à l’énergie atomique et aux énergies alternatives
Article Dans Une Revue Lecture Notes in Computer Science Année : 2023

Interaction-based offline runtime verification of distributed systems

Résumé

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.
Fichier principal
Vignette du fichier
fsen_2023_camera_ready_map.pdf (1.14 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-04228010 , version 1 (04-10-2023)

Identifiants

Citer

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Interaction-based offline runtime verification of distributed systems. Lecture Notes in Computer Science, 2023, Fundamentals of Software Engineering, 14155, pp.88-103. ⟨10.1007/978-3-031-42441-0_7⟩. ⟨cea-04228010⟩
71 Consultations
48 Téléchargements

Altmetric

Partager

More