software
Research software, exemplars, replication packages, and tools produced through Ricardo D. Caldas's research.
I treat research software, exemplars, and replication packages as part of the research contribution. This page collects the 9 artifacts that support my work on resilient robotics software, runtime evidence, testing, diagnosis, and self-adaptation: 3 tools, 2 guidelines and specifications, and 4 exemplars and testbeds.
Tools 3
Software that engineers can run to specify, diagnose, and coordinate robotic and cyber-physical systems.
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.
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.
Guidelines & Specifications 2
Reusable engineering knowledge: practitioner guidelines and specification patterns.
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.
Specification patterns
Mapping Control Theory and Software Engineering Properties
A reusable artifact for mapping control-theory properties and software-engineering properties through specification patterns.
Exemplars & Testbeds 4
Shared systems and scenarios for evaluating and comparing approaches in self-adaptation, robotics, and automated driving.
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.
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.
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.