Decentralised LTL monitoring

DOI10.1007/s10703-016-0253-8zbMath1392.68229arXiv1111.5133OpenAlexW1519460009MaRDI QIDQ346789

Andreas Bauer, Yliès Falcone

Publication date: 30 November 2016

Published in: Formal Methods in System Design, FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.5133

zbMATH Keywords

monitoringruntime verificationprogressiondecentralised monitoringLTL

Mathematics Subject Classification ID

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

Related Items (12)

Decentralised LTL monitoring ⋮ Formal analysis and offline monitoring of electronic exams ⋮ Synthesising correct concurrent runtime monitors ⋮ 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 ⋮ Organising LTL monitors over distributed systems with a global clock ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Efficient abstraction algorithms for predicate detection

Cites Work

• Unnamed Item
• Unnamed Item
• Decentralised LTL monitoring
• Diagnosis of discrete event systems using decentralized architectures
• Planning for temporally extended goals.
• \textsc{InterAspect}: aspect-oriented instrumentation with GCC
• Timing analysis of the flexRay communication protocol
• Comparing LTL Semantics for Runtime Verification
• Rule Systems for Run-time Monitoring: from EAGLE to RULER
• The complexity of propositional linear temporal logics
• The Complexity of Codiagnosability for Discrete Event and Timed Systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Model checking of safety properties

This page was built for publication: Decentralised LTL monitoring