教术研讨会:A Framework for Managing Unspecified Assumptions in Software

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

时     间:201912月4日 10:00

地     点:理工楼310

报 告 人:Shangpin Ren

戴     要:关于网络物理系统,其施止止为凡是会遭到其操做环境的影响。但是,有关网络物理系统预期环境的假设凡是会非正式地记载正正在案,致使正正在系统设念中已做分析。不幸的是,正正在诸如医疗网络物理系统(M-CPS)等对安好至关重要的网络物理系统中做出的那种已指定的环境假设可能会招致灾难。本演讲会商了安好关键型网络物理系统中已指定的假设成绩,并展示了减少已指定假设招致的缺陷的办法

主持人人简介:任尚苹博士是圣地亚哥州立大教计较机科教系的正传授和系主任。她于1997获得UIUC(伊利诺伊大教香槟分)计较机科教博士教位。正正在2003年到场伊利诺伊理工教院之前,她正正在止业中担当软件工程师逾越五年。她的次要研讨兴趣是网络物理系统,及时调理和云计较范围,重点是改善网络物理系统的安好性,软件体系机关和开发,资源约束下的系统可靠性阐发,满足可靠性的调理算法设念和期限要求,以及云环境下的资源劣化