Results 1 to 10 of about 8,146 (201)
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
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 +4 more
doaj +2 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 +6 more
doaj +3 more sources
Model-based Runtime Verification Framework
Electronic Notes in Theoretical Computer Science, 2009 Model-based runtime verification is an extension to the state-of-the-art runtime verification, aimed at checking at runtime the system implementation against the system model (consistency checking) and the system model against the system specification ...
Franz Rammig
exaly +2 more sources
A brief account of runtime verification
The Journal of Logic and Algebraic Programming, 2009 In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which ...
Martin Leucker, Christian Schallhart
exaly +2 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 +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 +2 more
doaj +1 more source
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems.
Wolfgang Ahrendt +2 more
doaj +1 more source
Detecting Architectural Erosion using Runtime Verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The architecture of a system captures important design decisions for the system. Over time, changes in a system's implementation may lead to violations of specific design decisions.
Diego Marmsoler, Ana Petrovska
doaj +1 more source