Runtime verification for decentralised and distributed systems

Francalanza, Adrian; Pérez, Jorge A.; Sánchez, César

Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/86176

Title:	Runtime verification for decentralised and distributed systems
Other Titles:	Lectures on Runtime Verification. Lecture Notes in Computer Science, vol 10457
Authors:	Francalanza, Adrian Pérez, Jorge A. Sánchez, César
Keywords:	Computer software -- Verification Formal methods (Computer science) Object monitors (Computer software) Autonomous distributed systems
Issue Date:	2018
Publisher:	Springer
Citation:	Francalanza, A., Pérez, J. A., & Sánchez, C. (2018). Runtime verification for decentralised and distributed systems. In: E. Bartocci, & Y. Falcone (eds.), Lectures on Runtime Verification. Lecture Notes in Computer Science, vol 10457 (pp. 176-210). Cham: Springer.
Abstract:	This chapter surveys runtime verification research related to distributed systems. We report solutions that study how to monitor system with some distributed characteristic, solutions that use a distributed platform for performing a monitoring task, and foundational works that present semantics for decomposing monitors or expressing specifications amenable for distributed systems. We will identify some characteristics that distinguish distributed monitoring from centralised monitoring, and characteristics that allow to classify distributed runtime verification works based on features of the executing platforms, the specification language and the system description. Then, we will use these characteristics to describe and compare the distributed runtime verification solutions proposed in the research literature.
URI:	https://www.um.edu.mt/library/oar/handle/123456789/86176
Appears in Collections:	Scholarly Works - FacICTCS

Files in This Item:

File	Description	Size	Format
Chapter_RuntimeVerificationForDecentra.pdf Restricted Access		629.72 kB	Adobe PDF	View/Open Request a copy

Show full item record Statistics