学术报告：A Framework for Managing Unspecified Assumptions in Safety-Critical Cyber-Physical Systems
时间: 2019-12-02
发布者:
文章来源: 博彩平台
审核人:
浏览次数: 610
时 间：2019年12月03日 15:00
地 点：理工楼211
报 告 人：任尚苹
摘 要：本报告介绍网络物理系统的安全性，软件体系结构和开发，资源约束下的系统可靠性分析，满足可靠性的调度算法设计和期限要求，云环境下的资源优化等最新研究成果。特别介绍解决安全关键型网络物理系统中未指定的假设问题，并展示了减少未指定假设导致的安全关键型网络故障的方法。
报告人简介：任尚苹博士，美国圣地亚哥州立大学计算机科学系主任，教授。1997年获得UIUC(伊利诺伊大学香槟分校)计算机科学博士学位。主要研究方向：网络物理系统，云计算，实时调度。重点是改善网络物理系统的安全性，软件体系结构和开发，资源约束下的系统可靠性分析，满足可靠性的调度算法设计和期限要求，以及云环境下的资源优化。