Predicate Monitoring in Distributed Cyber-Physical Systems

Momtaz, Anik; Basnet, Niraj; Abbas, Houssam; Bonakdarpour, Borzoo

doi:10.1007/978-3-030-88494-9_1

Cited by 10 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such an assumption limits the window of partial orders of events only within time units and significantly reduces the combinatorial blow-up caused by nondeterminism due to concurrent. Existing distributed RV techniques either assume a global clock when working with time sensitive specifications [13], [14] or use untimed specifications when assuming partial synchrony [15], [16].…”

Section: Introductionmentioning

confidence: 99%

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols

Ganguly¹,

Xuey²,

Jonckheere³

et al. 2022

Preprint

Self Cite

View full text Add to dashboard Cite

Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a network of computers. Because smart contracts can automatically transfer ownership of cryptocurrencies, electronic securities, and other valuable assets among untrusting parties, verifying the runtime correctness of smart contracts is a problem of compelling practical interest. Such verification is challenging since smart contract execution is time sensitive, and the clocks on different blockchains may not be perfectly synchronized. This paper describes a method for runtime monitoring of blockchain executions. First, we propose a generalized runtime verification technique for verifying partially synchronous distributed computations for the metric temporal logic (MTL) by exploiting bounded-skew clock synchronization. Second, we introduce a progression-based formula rewriting scheme for monitoring MTL specifications which employs SMT solving techniques and report experimental results.

show abstract

Section: Introductionmentioning

confidence: 99%

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols

Ganguly¹,

Xuey²,

Jonckheere³

et al. 2022

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…In current research on monitoring complex systems, the system is often abstracted to a set of streams of values [12]. Even when monitoring distributed systems, the problem of transporting the distributed data streams to the monitor is assumed to be solved by the monitored system [35]. In modern real-world systems, in contrast, it is a non-trivial effort to engineer a central component that efficiently consolidates data for monitoring in a heavily distributed system.…”

Section: Introductionmentioning

confidence: 99%

Towards Specificationless Monitoring of Provenance-Emitting Systems

Stoffers¹,

Weinert²

2022

Preprint

View full text Add to dashboard Cite

Monitoring often requires insight into the monitored system as well as concrete specifications of expected behavior. More and more systems, however, provide information about their inner procedures by emitting provenance information in a W3C-standardized graph format. In this work, we present an approach to monitor such provenance data for anomalous behavior by performing spectral graph analysis on slices of the constructed provenance graph and by comparing the characteristics of each slice with those of a sliding window over recently seen slices. We argue that this approach not only simplifies the monitoring of heterogeneous distributed systems, but also enables applying a host of well-studied techniques to monitor such systems.

show abstract

“…In current research on monitoring complex systems, the system is often abstracted to a set of streams of values [12]. Even when monitoring distributed systems, the problem of transporting the distributed data streams to the monitor is assumed to be solved by the monitored system [35]. In modern real-world systems, in contrast, it is a non-trivial eort to engineer a central component that eciently consolidates data for monitoring in a heavily distributed system.…”

Section: Introductionmentioning

confidence: 99%

Towards Specificationless Monitoring of Provenance-Emitting Systems

Stoffers

Weinert

2022

Runtime Verification

View full text Add to dashboard Cite

Monitoring often requires insight into the monitored system as well as concrete specications of expected behavior. More and more systems, however, provide information about their inner procedures by emitting provenance information in a W3C-standardized graph format. In this work, we present an approach to monitor such provenance data for anomalous behavior by performing spectral graph analysis on slices of the constructed provenance graph and by comparing the characteristics of each slice with those of a sliding window over recently seen slices. We argue that this approach not only simplies the monitoring of heterogeneous distributed systems, but also enables applying a host of well-studied techniques to monitor such systems.

show abstract

Predicate Monitoring in Distributed Cyber-Physical Systems

Cited by 10 publications

References 23 publications

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols

Towards Specificationless Monitoring of Provenance-Emitting Systems

Towards Specificationless Monitoring of Provenance-Emitting Systems

Contact Info

Product

Resources

About