ROS is an open-source, meta-operating system for a robot. It provides the services, including hardware abstraction, low-level device control, implementation of commonly-used functionality, message-passing between processes, and package management. Actually, building robot software is difficult. When you build a robotic system, you don’t necessarily want to reinvent or recreate every part of it. You might want to focus on some development points, and integrate the rest from other manufacturers if the rest are written as ROS-compatible. 

The message-passing system provided by ROS simplifies the instrumentation of the software needed for monitoring the interior data and states of the software for the purpose of verification. In addition, the presence of a large number of software developed for robotic systems in the ROS ecosystem provides the opportunity to use the software to be supported during the verification process.