Results 1 to 10 of about 4,814 (161)

Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments [PDF]

Sensors, 2020
With the gradual popularization of Internet-of-Things (IoT) applications and the development of wireless networking technologies, the use of heterogeneous devices and runtime verification of task fulfillment with different constraints are required in ...
Lei Hang, Do-Hyeun Kim
doaj   +4 more sources

On Benchmarking for Concurrent Runtime Verification [PDF]

Fundamental Approaches to Software Engineering24th International Conference, 2021
AbstractWe present a synthetic benchmarking framework that targets the systematic evaluation of RV tools for message-based concurrent systems. Our tool can emulate various load profiles via configuration. It provides a multi-faceted view of measurements that is conducive to a comprehensive assessment of the overhead induced by runtime monitoring.
Aceto L, Attard D, Francalanza A, Ingólfsdóttir A.   +3 more
europepmc   +4 more sources

Runtime Verification for Anomaly Detection of Robotic Systems Security

Machines, 2023
Robotic systems are widely used in industry, agriculture, the inspection of infrastructure, and even in our daily lives. The safety and security of robotic systems have become a primary concern as their interaction with humans increases. In this context,
Yunus Sabri Kirca, Elif Degirmenci, Zekeriyya Demirci, Ahmet Yazici, Metin Ozkan, Salih Ergun, Alper Kanak   +6 more
doaj   +3 more sources

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal [PDF]

Frontiers in Robotics and AI, 2022
Active debris removal in space has become a necessary activity to maintain and facilitate orbital operations. Current approaches tend to adopt autonomous robotic systems which are often furnished with a robotic arm to safely capture debris by identifying
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao   +4 more
doaj   +2 more sources

Automated Runtime Verification of Security for E-Commerce Smart Contracts

Journal of Theoretical and Applied Electronic Commerce Research
As a novel decentralized computing paradigm, blockchain is expected to disrupt the existing e-commerce architecture and process. Secure smart contracts are the crucial foundation for e-commerce based on blockchain.
Yang Liu, Shengjie Zhang, Yan Ma
doaj   +3 more sources

Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology, 2011
This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying its distinguishing features to model checking and testing, respectively. It introduces a three-valued semantics (with truth values
Martin Leucker, Andreas Bauer, Christian Schallhart   +2 more
exaly   +3 more sources

Incrementally predictive runtime verification [PDF]

Journal of Logic and Computation, 2023
Abstract Runtime verification is a lightweight formal verification technique used to verify the runtime behaviour of software (resp. hardware) systems. Given a formal property, one or more monitors are synthesized to verify the latter against a system execution.
Angelo Ferrando, Giorgio Delzanno
openaire   +3 more sources

Decentralized Stream Runtime Verification for Timed Asynchronous Networks

IEEE Access, 2023
Problem: We study the problem of monitoring distributed systems such as smart buildings, ambient living, wide area networks and other distributed systems that get monitored periodically in human scale times.
Luis Miguel Danielsson, Cesar Sanchez
doaj   +1 more source

Extensible Technology-Agnostic Runtime Verification [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and using, different technologies and languages.
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace   +3 more
doaj   +1 more source

Runtime Verification Through Forward Chaining [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication form and relies on a forward chaining-based monitoring algorithm.
Alan Perotti, Guido Boella, Artur d'Avila Garcez   +2 more
doaj   +1 more source