Trust|based Runtime Verification of Autonomous Robotic Systems

Combining Model Checking and Runtime Verification for Safe ...

We consider a surveillance system using autonomous aerial drones as a case study to present the challenges in building safe robotics systems and to demonstrate.

Runtime Verification for Anomaly Detection of Robotic Systems ...

It is focused on a model-based runtime verification approach. To the best of the author's knowledge, RV for security of robotic system is an open research area ...

Trust-Based Runtime Verification for Multi-Quad-Rotor Motion ...

In this paper, we propose a trust-based runtime verification (RV) framework for deploying multiple quad-rotors with a human-in-the-loop (HIL).

Runtime Verification and Field-based Testing for ROS-based ...

As robots become increasingly pervasive, the role of software in robotic systems is rising significantly [2], [3]. For instance, considering service robotics, ...

Bridging the gap between single- and multi-model predictive runtime ...

We call this extension Multi-Model PRV. Typically, PRV attempts to predict the satisfaction or violation of a property based on a trace and a ( ...

Formal Specification and Verification of Autonomous Robotic Systems

This leads us toward using formal methods, which are mathematically based techniques for the specification and verification of software systems, to ensure the ...

Runtime Verification of Timed Properties in Autonomous Robots - HAL

BIP is a component- based language for modeling, executing and analyzing real- time systems. A system is represented by a set of com- ponents ( ...

Formal Modelling and Runtime Verification of Autonomous Grasping ...

However, robotic systems tend not to be developed with verification in mind from the outset, which can often complicate the verification of the ...

Dagstuhl Seminar 10451: Runtime Verification, Diagnosis, Planning ...

The objective of this seminar is to catalyze a new field of model-based autonomous, embedded and robotic systems, with the salient characteristic that these ...

Runtime Verification for Anomaly Detection of Robotic Systems ...

Firstly, an anomaly detection method is proposed to detect unexpected situations, such as the number of the received packages being decreased under DoS attacks.

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems ...

This is achieved keeping in mind possible safety-critical uses of the MAS, such as robotic applications. This layer is capable of controlling events during the ...

Combining Model Checking and Runtime Verification for Safe ...

Combining model checking with runtime verification helps us bridge the gap between software verification ... software on a real robotic platform ...

Runtime Verification, Diagnosis, Planning and Control for ... - DROPS

use of model-based reasoning to achieve increased robustness. In particular we present a system that is able to monitor an autonomous robot where the control.

Predictive Runtime Verification of Skill-based Robotic Systems using ...

The present work showcases the monitoring tool on a semi-autonomous Spot® quadruped robot with a Kinova Jaco manipulator arm, shown in Fig. 1, ...

Runtime Verification on Robotics Systems - Yujian Fu - Academia.edu

Runtime verification is a technique for generating monitors from formal specification of expected behaviors for the underlying system. It can be applied to ...

Runtime Verification on Robotics Systems - IGI Global

Autonomous Systems, Embedded Systems, Formal Methods, Quality, Software Assurance, ... Robotics systems quality assurance based on runtime verification. Page 8 ...

Machine-Learned Correctness Properties, Runtime Verification, and ...

We describe machine-learned classifiers that act as correctness properties for runtime verification of autonomous systems. Additionally, we show an advance ...

Runtime Verification and Field-based Testing for ROS ... - AIModels.fyi

The authors provide guidelines and techniques for runtime verification - checking that the robot is behaving as expected while it's running - ...

Runtime Verification of the ARIAC competition: Can a robot be Agile ...

is node-based; a robot can be ... Mascardi, Rosmonitoring: a runtime verification framework for ros, in: Towards Autonomous Robotic Systems Conference.

Generating Safe Autonomous Decision-Making in ROS - Lirias

As a lightweight verification approach, runtime verification is usually considered ideal to provide safety assurance for complicated systems, such as robotic ...