Organising LTL monitors over distributed systems with a global clock

DOI10.1007/s10703-016-0251-xzbMath1380.68272OpenAlexW2374477971MaRDI QIDQ681471

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) Distributed systems (68M14) Temporal logic (03B44)

Related Items (7)

Runtime enforcement with reordering, healing, and suppression ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation ⋮ Assumption-based runtime verification ⋮ Bridging the gap between single- and multi-model predictive runtime verification ⋮ Organising LTL monitors over distributed systems with a global clock ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decentralised LTL monitoring
• Organising LTL monitors over distributed systems with a global clock
• A brief account of runtime verification
• Distributed system contract monitoring
• Timing analysis of the flexRay communication protocol
• Advanced automata minimization
• On the Merits of Temporal Testers
• Comparing LTL Semantics for Runtime Verification
• Rule Systems for Run-time Monitoring: from EAGLE to RULER
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

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