Organising LTL monitors over distributed systems with a global clock

DOI10.1007/S10703-016-0251-XMaRDI QIDQ681471zbMATH OpenOpenAlexFDO

Authors Christian Colombo, Yliès Falcone

Publication date 12 February 2018

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://www.um.edu.mt/library/oar//handle/123456789/30680

zbMATH Keywords

distributed systemmonitoringLTLorchestration

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Distributed systems (68M14)

Recommendations

• Distributed system contract monitoring
• Decentralized asynchronous crash-resilient runtime verification
• An LTL proof system for runtime verification

Cites work

• scientific article; zbMATH DE number 1670781 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1759609 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A brief account of runtime verification
• Advanced automata minimization
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Comparing LTL semantics for runtime verification
• Distributed system contract monitoring
• On the Merits of Temporal Testers
• Organising LTL monitors over distributed systems with a global clock
• Rule systems for run-time monitoring: from EAGLE to RULER
• Timing analysis of the flexRay communication protocol

Cited in

(11)

• scientific article; zbMATH DE number 6930545 (Why is no real title available?)
• Decentralized deadlock-free enforcement of message orderings in message-based systems
• Decentralized LTL enforcement
• Runtime enforcement with reordering, healing, and suppression
• Decentralized runtime verification of message sequences in message-based systems
• Assumption-based runtime verification
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
• Runtime verification of partially-synchronous distributed system
• Bridging the gap between single- and multi-model predictive runtime verification
• Organising LTL monitors over distributed systems with a global clock

This page was built for publication: Organising LTL monitors over distributed systems with a global clock

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681471)