Uncertainty in runtime verification: A survey

Taleb, Rania; Hallé, Sylvain; Khoury, Raphaël

doi:10.1016/j.cosrev.2023.100594

Cited by 4 publications

(1 citation statement)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These techniques are helpful in minimizing runtime overhead, especially in systems with a large number of events, but introduce gaps in the generated trace, leading to uncertainty in the monitoring results [11]. A solution is to use abstraction-based approaches or statistical-based methods to őll in the gaps in the event sequences introduced due to sampling [69].…”

Section: Using Sampling-based Techniquesmentioning

confidence: 99%

Practical runtime verification of cross-organizational smart contracts

Kangogo,

Péter,

Klenik

et al. 2024

Preprint

View full text Add to dashboard Cite

Smart contracts in blockchains often implement critical functionality; consequently, their development time software fault detection, removal, and avoidance have been the target of intensive research. However, the applicability of runtime dependability mechanisms to smart contracts has not been explored systematically, mainly due to the transaction pricing models of public blockchains. In this paper, we propose a novel and practical runtime verification approach for Hyperledger Fabric, the leading cross-organizational blockchain platform, as an error detection facility for fault tolerance mechanisms; building on the proposition that, in contrast to the public setting, cross-organizational blockchains have ample computational headroom for their systematic use. We introduce a smart contract entity framework architecture with reusable domain models and encapsulated runtime verification. We describe Hypernate, our open-source implementation of the approach for Java smart contracts, which uses the Java Modelling Language for requirement specification and integrates the OpenJML verification tool. We demonstrate and evaluate the approach on a Fabric implementation of the TPC-C benchmark.

show abstract

Section: Using Sampling-based Techniquesmentioning

confidence: 99%