ECM Contracts: Contract-Aware, Versioned, and Governable Capability Interfaces for Embodied Agents
Not on the map. Why?
Abstract (arXiv)
Embodied agents increasingly rely on modular capabilities that are installed, upgraded, composed, and governed at runtime, yet the interfaces between these modules are specified only at the level of message types, so integration failures surface only during execution. We present ECM Contracts, a contract-based interface model for embodied capability modules. Unlike conventional interfaces that specify only input and output types, ECM Contracts encode six dimensions of embodied execution: functional signature, behavioral assumptions, resource requirements, permission boundaries, recovery semantics, and version compatibility. On this model we build a compatibility framework that checks installation, composition, and upgrade before deployment, and a release discipline of version-aware compatibility classes and upgrade gates. We evaluate the prototype by predicting real, independently documented integration failures in the ROS ecosystem: contracts are reconstructed blind from each module's published interface, scored by a checker frozen before reconstruction against bugs from third-party datasets, and confirmed in live runtime execution. Contract checking predicts 56% and 72% of these documented failures across two substrates, against at most 17% for the strongest type and quality-of-service baselines, with the advantage statistically significant and zero false positives on matched-good controls. The resource and version dimensions carry most of this margin; the behavioral dimension adds little beyond the middleware's quality-of-service check, and we report the permission and recovery dimensions as forward-looking. Stable embodied software ecosystems require not just modular packaging but explicit contracts connecting composition, governance, and evolution.
Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 14 of its 47 references that are in the map. First posted on arXiv 10 Apr 2026.
Builds on
14 of 47 references.
References · 14
- 2015End-to-End Training of Deep Visuomotor Policiescited by 875
- 2018Learning Dexterous In-Hand Manipulationcited by 687
- 2022Robot Operating System 2: Design, Architecture, and Uses In The Wildcited by 199
- 2017Behavior Trees in Robotics and AI: An Introductioncited by 107
- 2016CoSTAR: Instructing Collaborative Robots with Behavior Trees and Visioncited by 20
- 2020Towards a Framework for Certification of Reliable Autonomous Systemscited by 12
- 2022Behavior Trees and State Machines in Robotics Applicationscited by 12
- 2026Harnessing Embodied Agents: Runtime Governance for Policy-Constrained Executioncited by 7
- 2022SROS2: Usable Cyber Security Tools for ROS 2cited by 5
- 2026Evolving Skill Modules under a Fixed Planner: Versioning, Rollback, and Runtime Governance for Long-Lived Robot Systemscited by 4
- 2022A Compositional Approach to Verifying Modular Robotic Systemscited by 2
- 2024ROBUST: 221 Bugs in the Robot Operating Systemcited by 2
Built on by
Citing papers per year: 2026: 2.
2 papers.