时     间：2019年12月03日 15:00

地     点：理工楼211

报 告 人：任尚苹 

摘     要：本报告介绍网络物理系统的安全性，软件体系结构和开发，资源约束下的系统可靠性分析，满足可靠性的调度算法设计和期限要求，云环境下的资源优化等最新研究成果‍。特别介绍解决安全关键型网络物理系统中未指定的假设问题，并展示了减少未指定假设导致的安全关键型网络故障的方法‍。

 报告人简介：任尚苹博士，美国圣地亚哥州立大学计算机科学系主任，教授。1997年获得UIUC(伊利诺伊大学香槟分校)计算机科学博士学位。主要研究方向：网络物理系统，云计算，实时调度。重点是改善网络物理系统的安全性，软件体系结构和开发，资源约束下的系统可靠性分析，满足可靠性的调度算法设计和期限要求，以及云环境下的资源优化‍。