利用仿真与运行活动证据丰富设计时模型的研究

研究人员提出了一种证据驱动型工作流，用于将信息物理系统在仿真与运行期间产生的知识系统化回流至设计时模型中。该方案基于标志跟随机器人案例，展示了仿真证据如何通过支持参与者剪枝决策、交互表征、影响函数抽象及有效性范围信息来丰富影响模型。此举验证了利用仿真证据改进后续开发迭代中设计时推理与反馈的可行性。