教术述说:A Framework for Managing Unspecified Assumptions in Safety-Critical Cyber-Physical Systems

公布者:公布时间:2019-12-02阅读次数:10

时     间:201912月03日 15:00

地     点:理工楼211

报 告 人:任尚苹 

戴     要:本述说引见网络物理系统的安好性,软件体系机关和开发,资源约束下的系统可靠性阐发,满足可靠性的调理算法设念和期限要求,云环境下的资源劣化等最新研讨效果。特别引见处理安好关键型网络物理系统中已指定的假设成绩,并展示了减少已指定假设招致的安好关键型网络缺陷的办法

 述说人简介:任尚苹博士,美国圣地亚哥州立大教计较机科教系主任,传授。1997获得UIUC(伊利诺伊大教香槟分)计较机科教博士教位。次要研讨标的目的:网络物理系统,云计较,及时调理。重点是改善网络物理系统的安好性,软件体系机关和开发,资源约束下的系统可靠性阐发,满足可靠性的调理算法设念和期限要求,以及云环境下的资源劣化