ROSpec - A Domain-Specific Language for ROS-Based Robot Software

Watch a 14-minute conference presentation introducing ROSpec, a domain-specific language designed to address critical configuration and integration challenges in Robot Operating System (ROS) based robot software. Learn how component-based robot software frameworks like ROS enable rapid system composition through reusable components, but often suffer from inadequate documentation and unenforceable natural language specifications that lead to dangerous misconfigurations. Discover how ROSpec provides a ROS-tailored solution for specifying and verifying component configurations and their integration, with its design grounded in ROS domain concepts and informed by empirical studies on misconfigurations. Explore the language's capabilities in verifying argument and component configurations, ensuring correct component integration through communication property checks, and validating that configurations respect deployment context assumptions and constraints. Examine practical demonstrations including the modeling of a medium-sized warehouse robot with 19 components and analysis of 182 misconfiguration questions from robotics Q&A platforms. Gain insights into how ROSpec addresses real-world robotics software engineering challenges by providing an expressive and usable approach to detecting and preventing misconfigurations that could result in unpredictable and potentially dangerous robot behaviors.