为具身智能体设计可治理的模块接口,提前发现集成失败。
ECM Contracts: Contract-Aware, Versioned, and Governable Capability Interfaces for Embodied Agents
- 用六维契约定义模块接口,涵盖行为、资源、权限等
- 预判ROS生态中56%~72%的真实集成故障,远超现有方法
- 适合构建稳定可演进的具身系统,如机器人软件平台
具身智能体依赖运行时安装、升级、组合和管理的模块化能力,但当前接口仅定义消息类型,集成错误只能在执行时暴露。本文提出ECM Contracts,一种基于契约的模块接口模型,编码六维具身执行信息:功能签名、行为假设、资源需求、权限边界、恢复语义和版本兼容性。基于此构建兼容性检查框架,可在部署前验证安装、组合与升级;并提出版本感知的兼容类与升级门禁机制。通过盲重构各模块接口,用冻结检查器对第三方数据集中的已知缺陷进行评分,并在真实运行中验证。结果表明,合同检查能预测56%至72%的文档化故障,而最强基线(类型与服务质量)最高仅17%,差异显著且无误报;资源与版本维度贡献主要优势,行为维度增益有限,权限与恢复维度为前瞻方向。稳定具身软件生态不仅需模块封装,更需连接组合、治理与演进的显式契约。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。