Failure-aware runtime verification of distributed systems

DOI10.4230/LIPICS.FSTTCS.2015.590MaRDI QIDQ5275399zbMATH OpenOpenAlexFDO

Authors Felix Klaedtke, Eugen Zălinescu, David Basin

Publication date 13 July 2017

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2015/5619/pdf/3.pdf/

zbMATH Keywords

asynchronous communicationdistributed systemsmonitoring algorithmmulti-valued semanticsreal-time logicsruntime verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Online algorithms; streaming algorithms (68W27)

Recommendations

• Runtime Verification over Out-of-order Streams
• Runtime verification of temporal properties over out-of-order data streams
• Decentralized asynchronous crash-resilient runtime verification
• Distributed system contract monitoring
• Runtime verification of embedded real-time systems

Cited in

(14)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Monitoring timed properties (revisited)
• Runtime verification of temporal properties over out-of-order data streams
• A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring
• Distributed system contract monitoring
• Decentralized asynchronous crash-resilient runtime verification
• Trace- and failure-based semantics for responsiveness
• Monitoring for silent actions
• Theorem Proving in Higher Order Logics
• Decentralized runtime verification of message sequences in message-based systems
• Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
• Interaction-based offline runtime verification of distributed systems
• Runtime verification of partially-synchronous distributed system
• Asynchronous wait-free runtime verification and enforcement of linearizability

This page was built for publication: Failure-aware runtime verification of distributed systems

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