arXiv:2606.06727cs.ROcs.SY2026-06

融合数据驱动与模型驱动的系统工程方法,提升自主智能系统的可信性。

IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems

论文配图:IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems
图 1 · 摘自论文原文
  • 在MBSE流程中每步嵌入数据驱动循环,结合SysML与机器人栈
  • 工具链实现从架构到验证的全流程自动化,支持多机器人协同验证
  • 适合需要高可信度的自动驾驶、机器人系统开发团队

自主网络物理系统(CPS)融合了基于模型的系统工程(MBSE)与数据驱动的机器学习和人工智能(ML/AI),但现有系统工程方法无法天然覆盖两者。本文提出IDDMBSE,一种集成数据驱动与模型驱动的系统工程方法,将严谨的MBSE V模型扩展为每一步都包含数据驱动环节,依托SysML、自主系统栈及混合建模+数据驱动的权衡架构。我们实现了IDDMBSE的开源可互操作工具链:PERFECT将SysML系统架构映射为可执行的ROS自主系统栈,用于可扩展性能评估;TRADES-X将设计空间探索分解为模型优化与数据驱动评估两阶段;VERITAS将形式化、数据驱动与运行时验证整合为统一保障流程。我们在一个可信自主地面机器人上完整演示了IDDMBSE,覆盖传感器选型、风险敏感路径规划、行为树任务验证、基于置信预测的鲁棒感知以及多机器人协同保障,所有测试均在我们随工具链发布的对抗地形Isaac Sim测试环境中完成。最后,我们展望将IDDMBSE重构于SysML v2 / KerML基础之上,以实现语言级组合性与更紧密的ML/AI集成。

原文摘要 · Abstract (English)

Autonomous cyber-physical systems (CPS) sit at the intersection of Model-Based Systems Engineering (MBSE) and data-driven Machine Learning and Artificial Intelligence (ML/AI), yet no integrated Systems Engineering (SE) methodology natively spans both. We address this gap with IDDMBSE, an Integrated Data-Driven and Model-Based Systems Engineering methodology that extends the rigorous MBSE V-process with a data-driven loop at every step, anchored in SysML, the autonomy stack, and a hybrid model-based plus data-driven trade-off architecture. We instantiate IDDMBSE as an interoperable, open-source tool chain: PERFECT, which maps SysML system architectures to executable ROS autonomy stacks for scalable performance evaluation; TRADES-X, which decomposes design-space exploration into a model-based optimization stage followed by a data-driven evaluation stage; and VERITAS, which combines formal, data-driven, and runtime verification into a single assurance workflow. We demonstrate IDDMBSE on a Trusted Autonomous Ground Robot across its development lifecycle, spanning sensor-suite selection, risk-sensitive path planning, behavior-tree task verification, conformal-prediction-based robust perception, and assured multi-robot coordination, all exercised in a contested-terrain Isaac Sim test range that we release with the tool chain. We close by sketching how IDDMBSE is being re-formulated on SysML v2 / KerML foundations to enable language-native composability and tighter ML/AI integration.

系统工程自主系统可信AIROS

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。