Verification and validation

Towards automatic verification of autonomous systems

Reid Simmons, Charles Pecheur, Grama R. Srinivasan

Citations: 45 • 2002

A Systematic Comparison of Simulation Software for Robotic Arm Manipulation using ROS2

Florent P. Audonnet, A. Hamilton, Gerardo Aragón-Camarasa

Citations: 30 • 2022

Recent Trends in Formal Validation and Verification of Autonomous Robots Software

Félix Ingrand

Citations: 28 • 2019

FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems

Thomas Maier

Citations: 26 • 1997

A Combined Testing and Verification Approach for Software Reliability

Natasha Sharygina, Doron Peled

Citations: 25 • 2001

A Review of Verification and Validation for Space Autonomous Systems

Rafael C. Cardoso, Georgios Kourtis, Louise A. Dennis, Clare Dixon, Marie Farrell, Michael Fisher, Matt Webster

Citations: 24 • 2021

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

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Citations: 14 • 2022

Integrated formal verification of safety-critical software

Ning Ge, Éric Jenn, Nicolas Breton, Yoann Fonteneau

Citations: 13 • 2017

Analytical validation in practice at a quality control laboratory in the Japanese pharmaceutical industry

Seyed Amin Hosseini Seno, Satoshi Ohtake, H. Kohno

Citations: 13 • 1997

Analytical validation in practice at a quality control laboratory in the Japanese pharmaceutical industry

S. Seno, S. Ohtake, H. Kohno

Citations: 12 • 1997

Static analysis techniques for robotics software verification

Agostino Cortesi, Pietro Ferrara, Nabendu Chaki

Citations: 11 • 2013

"Continuous verification" in mission critical software development

Tien-Fu Chang, A. Danylyzsn, So Norimatsu, Julián Camilo Ramos Rivera, D. Shepard, Anthony J. Lattanze, James E. Tomayko

Citations: 10 • 2002

Integration of Autonomous Vehicle Frameworks for Software-in-the-Loop Testing

Sanket Bachuwar, Ardashir Bulsara, Huzefa Dossaji, Aditya Gopinath, Chris Paredis, Srikanth Pilla, Yunyi Jia

Citations: 9 • 2020

Experiments on quality evaluation of embedded software in Japan robot software design contest

Hironori Washizaki, Yasuhide Kobayashi, Hiroyuki Watanabe, Eiji Nakajima, Yuji Hagiwara, Kenji Hiranabe, Kazuya Fukuda

Citations: 9 • 2006

Universal software safety standard

P. V. Bhansali

Citations: 9 • 2005

Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering

J.B. Dugan, Ganesh Pai, Hong Xu

Citations: 6 • 2007

A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis

Asim Abdulkhaleq, Stefan Wagner

Citations: 6 • 2016

Hardware-in-the-loop simulation for real-time software verification of an autonomous underwater robot

Pouria Sarhadi, Reza Nad Ali Niachari, Morteza Pouyan Rad, Javad Enayati

Citations: 4 • 2016

VFLT: SQA Model for Cyber Physical System

Mst. Zannatun Ferdus, Md. Nurul Islam Khan, Md. Saiful Islam, Mohammod Abul Kashem

Citations: 4 • 2019

Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case for the VALU3S ECSEL project

Alper Kanak, Salih Ergün, Ahmet Yazıcı, Metin Özkan, Gürol Çokünlü, Uğur Yayan, Mustafa Karaca, Abdullah Taha Arslan

Citations: 4 • 2021