An overview of verification and validation challenges for inspection robots
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
A review of verification and validation for space autonomous systems
Abstract Purpose of Review The deployment of hardware (eg, robots, satellites, etc.) to
space is a costly and complex endeavor. It is of extreme importance that on-board systems …
space is a costly and complex endeavor. It is of extreme importance that on-board systems …
A formal toolchain for offline and run-time verification of robotic systems
Abstract Validation and Verification (V&V) of autonomous robotic system software is
becoming a critical issue. Among the V&V techniques at our disposal, formal approaches …
becoming a critical issue. Among the V&V techniques at our disposal, formal approaches …
RML: theory and practice of a domain specific language for runtime verification
Runtime verification (RV) is an approach to verification consisting in dynamically checking
that the event traces generated by single runs of a system under scrutiny (SUS) are …
that the event traces generated by single runs of a system under scrutiny (SUS) are …
Formal modelling and runtime verification of autonomous grasping for active debris removal
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 …
orbital operations. Current approaches tend to adopt autonomous robotic systems which are …
Generating safe autonomous decision-making in ROS
The Robot Operating System (ROS) is a widely used framework for building robotic systems.
It offers a wide variety of reusable packages and a pattern for new developments. It is up to …
It offers a wide variety of reusable packages and a pattern for new developments. It is up to …
[HTML][HTML] Verification of the ROS NavFn planner using executable specification languages
E Martin-Martin, M Montenegro, A Riesco… - Journal of Logical and …, 2023 - Elsevier
Abstract The Robot Operating System (ROS) is a framework for building robust software for
complex robot systems in several domains. The Navigation Stack stands out among the …
complex robot systems in several domains. The Navigation Stack stands out among the …
Monitoring ROS2: from requirements to autonomous robots
Runtime verification (RV) has the potential to enable the safe operation of safety-critical
systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2) …
systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2) …
Using formal methods for autonomous systems: Five recipes for formal verification
M Luckcuck - Proceedings of the Institution of Mechanical …, 2023 - journals.sagepub.com
Formal Methods are mathematically-based techniques for software design and engineering,
which enable the unambiguous description of and reasoning about a system's behaviour …
which enable the unambiguous description of and reasoning about a system's behaviour …
Runtime verification for anomaly detection of robotic systems security
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 …
even in our daily lives. The safety and security of robotic systems have become a primary …