A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols

Résumé

The traditional concern of runtime verification is the ability to detect an incorrect system behavior and maybe to act on such systems whenever incorrect behavior of a software system is detected [20]. In this paper, our concern is to provide a system observation through which the system behavior could for instance be diagnosed, e.g., to resolve unexpected bugs. Such a system observation is elaborated from a partial observation. Our work is at the protocol level: given a distributed application relying on a FIFO protocol for message passing, our concern is to reconstruct a full execution given by its observable send events.
Fichier non déposé

Dates et versions

hal-03263726 , version 1 (17-06-2021)

Identifiants

Citer

M Filali, Meriem Ouederni, Jean-Baptiste Raclet. A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. Third International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1--17, ⟨10.1007/978-3-319-17581-2_6⟩. ⟨hal-03263726⟩
44 Consultations
0 Téléchargements

Altmetric

Partager

More