Organising LTL monitors over distributed systems with a global clock

DOI10.1007/S10703-016-0251-XzbMATH Open1380.68272OpenAlexW2374477971MaRDI QIDQ681471FDOQ681471

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

Recommendations

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

zbMATH Keywords

distributed systemmonitoringLTLorchestration

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (11)

• Title not available (Why is that?)
• 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)