This repository contains the relevant work towards implementing a component model for ROS, integrating verification for component operation service metrics, and model-driven design and development for ROS.