tools
Research tools, exemplars, guidelines, and software artifacts produced through Ricardo D. Caldas's research.
I treat tools, exemplars, and replication packages as part of the research contribution. This page collects the artifacts that support my work on resilient robotics software, runtime evidence, testing, diagnosis, and self-adaptation.
Guidelines and replication package
ROS Runtime Verification and Field-Based Testing Guidelines
Guidelines for developers and QA teams engineering ROS-based robotic systems with runtime verification and field-based testing in mind.
Scenario-based testing
Driver-Vehicle Model for ADS Scenario-Based Testing
A simulated driver-vehicle model for generating interactive automated-driving scenarios, using behavior trees and maneuver planners for reusable, realistic traffic behavior.
Robotics DSL
EzSkiROS
An embedded domain-specific language for catching errors early in robot skill composition, including checks for behavior-tree control and skill execution.
Multi-robot mission coordination
MissionControl
An architecture and runtime environment for coordinating heterogeneous robot missions and forming coalitions under uncertainty.
Self-adaptive system exemplar
Body Sensor Network
A ROS-based self-adaptive system exemplar with patient profiles, sensor simulations, noise injection, and adaptation scenarios for reliability and battery trade-offs.
Specification patterns
Mapping Control Theory and Software Engineering Properties
A reusable artifact for mapping control-theory properties and software-engineering properties through specification patterns.
Search-based diagnosis
Search-Based Trace Diagnostics
A diagnostic technique and tool concept for explaining temporal-property violations in cyber-physical system traces using evolutionary search.
Self-adaptation artifact
Hybrid Control and AI for Self-Adaptive Systems
An artifact for engineering self-adaptive systems by combining control-theoretic feedback with AI-based optimization.
Space mission autonomy testbed
SpaceTry
An LLM-assisted simulation testbed for engineering and evaluating autonomous space missions through robotic mission scenarios, testing, and analysis workflows.