新华丝路宁波10月15日电（何丽丽）2021世界数字经济大会暨第十一届智慧城市与智能经济博览会15日在宁波开幕。图灵奖得主、国际著名嵌入式系统研究中心Verimag实验室创始人约瑟夫·斯发基斯（Joseph Sifakis）线上参加2021世界数字经济大会主论坛并发表演讲时表示，自主无人技术在工业物联网中发挥重要作用，需应对多样挑战以构建完善自主无人系统。

约瑟夫·斯发基斯表示，自主无人系统是实现工业物联网美好愿景的根本。对自主无人系统的需求，萌生于企业机构对于流程自动化、以机器代替人类劳动力的需求。此外，自主无人系统还应该能与人类操作者和谐配合。要想从嵌入式系统过渡至自主无人系统，需要开发者从“单任务、单目标、单领域”转至能协同处理多项任务的“反应式/主动式智能系统”，如无人驾驶汽车。

图为国际著名嵌入式系统研究中心Verimag实验室创始人约瑟夫·斯发基斯线上参加主论坛，发表主题演讲

约瑟夫·斯发基斯指出，构建可信的自主系统存在难点。自主无人系统必将担任关键系统的角色。自主系统一旦出现故障，便会带来灾难性后果，导致人员伤亡、环境破坏。现在设计关键系统要遵循一系列既定的原则。遵循这种方法论，就等同于遵循一个能确凿地保证设计出的系统安全性的模型。比如，基于此类方法论设计出来的飞机，能保证每飞行小时的故障数低于10的负9次方。但出于种种原因，基于模型的方法不能用于设计自主无人系统。

此外，约瑟夫·斯发基斯表示，自主无人技术的挑战不仅在于开发智能体，还在于一些重要的系统工程学难题。首先，要从开发嵌入式系统转向开发“信息-物理系统（CPS）”。信息-物理系统是新一代系统的代表，需要计算机技术、通讯技术、控制技术紧密结合。面对这类系统，开发者要同时考虑连续动态特性和计算机的离散动态特性。当前相关理论仍然缺失待开发。第二，基于知识的工程设计将愈发重要。未来将需要表达知识、管理知识的新技术。第三，还需要风险的分析、消减、评估方面的新理论和新技术。现有的技术无法适用于自主无人系统。一个非常重要的课题在于如何利用不可信任的AI组件构建可信的系统。最后，现有的严格验证技术仍然需要完善。正式的验证手段，例如模型校验，可用于验证组件，但不可用于验证全局系统。未来需要新的测试理论，其既有覆盖面广的标准，又能检验功能。