计算机界的诺贝尔奖得主Joseph现身大湾区峰会,探讨IOT下的系统设计|亚博app手机版

本文摘要:作为上午峰会嘉宾共享的一环,图灵奖获得者、欧洲科学院士JosephSifakis公开了《SystemDesignintheEraofIoTMeetingtheAutonomyChallenge》的主题演说。

亚博app手机版

2018年10月18日,由亿欧公司主办、由思贝克主导的“发动机指南”2018大湾区国际科创峰会(Bay Areas Tech Innovation Summit,全称BATi )在深圳万科前海国际会议中心举行。作为上午峰会嘉宾共享的一环,图灵奖获得者、欧洲科学院士Joseph Sifakis公开了《System Design in the Era of IoT Meeting the Autonomy Challenge》的主题演说。图灵奖被称为“计算机领域的诺贝尔奖”。由于在模型检查领域的出色贡献,Joseph Sifakis于2008年与卡内基梅隆大学埃德蒙克拉克教授(Edmund Clarke )、德克萨斯大学奥斯汀分校艾伦爱默生教授(Allen Emerson )共同获得图灵奖亿欧对Joseph Sifakis的这次演说,展开了不情愿的编辑和重点提取:上图显示了Joseph Sifakis描绘的物联网愿景。

工业物网络系统是自律的,自律意味着不妨碍或插手人类。Joseph Sifakis指出,我们面临的唯一挑战是工业物联网中的基础设施和技术是否需要构建物联网的愿景。Joseph Sifakis回答说,自治权系统的设计有很多限制。

主要反映如下:一是基础设施和系统可靠性差,无法确保可靠性和安全性。二是即时性拒绝非常低的自律呼叫系统,不能确保通信中的响应时间。

三是难以建立混合密钥系统。因为关键系统和尽力服务系统是基于两个几乎不同的设计例子开发的。当然,在市场力量下,经常出现一些新的尝试。

例如,商用硬件配备了软件功能,可获得的服务是可移动的、可重构的、可定制的、简单的。与目前的系统工程实践相比,重要的软件可以通过改版来定制。

例如,特斯拉汽车软件可能每月改版一次。系统工程的设计在南北有了转折点:从小型集中型非进化自动化系统向大型分散型自治权系统进化。Joseph Sifakis指出,系统工程的设计现在也变成了从高效的外部环境无法预测的动态变化的环境。

我们建立自律系统的时候,我们过去试图确保设计的正确性,但那会产生任何可能性。现在,我们必须设计出能适应各种不确认情况调整不道德的系统。IOT的愿景挑战着建立可靠的自治系统的能力。

Joseph Sifakis明确提出,第一,作为评价系统自治力程度的标准,必须考虑到必须确认标准化的参照语义模型这一点。第二,必须考虑加强系统自治力的技术解决办法是什么。

说明的技术课题和风险是什么? 第三,制定严格的设计方法论,有可能作为依赖系统可靠性的评价技术吗? Joseph Sifakis指出三个要素要求系统的自治权水平: (1)自律复杂性(2)设计复杂性(3)可靠性第一,自律复杂性分别看不同的感觉复杂性,例如图像,系统制作自律分析图像。但这是感觉的复杂性,因为图像可能变得模糊。感官的复杂不能说明获得环境的性刺激,不能为代理环境模型及时分解合适的输出。第二,系统缺乏仔细的观察性和控制性。

第三,因为关于代理环境的信息不是原始的,所以很难预测环境变化,没有一定的不确定性。仅仅强化可以仔细观察的性是不能解决问题的不确定性的。另外,为了提高不确定性,还需要关于环境不道德的追加外科学知识。

第四,目标的复杂性。反映在代理模型决策过程的复杂性中,包括目标类型、为目标分解解决方案的复杂性、目标多样性等。Joseph Sifakis回答说,缜密可靠意义上的自治权系统必须获得确定性和高容错性。在物联网框架中自治权系统的发展趋势几乎使当前重要系统的工程原理和标准过时,必须用切实的证据指出自治权系统可以应对任何种类的危害事件在演说的最后,Joseph Sifakis 指出自治权是更广泛的智慧,必须在一定程度上参与决策自动化,更简单地计算战略。

本文关键词:亚博app手机版,亚博app手机版,亚博app

本文来源:亚博app手机版-www.lesvos4x4.com

相关文章