報告時間：2019年12月11日（星期三）15:00
報告地點：翡翠科教樓A座一樓第五會議室
報告人：任尚蘋 教授
工作單位：圣地亞哥州立大學計算機科學系
舉辦單位：軟件學院
報告人簡介：
任尚蘋，圣地亞哥州立大學計算機科學系的正教授和系主任。她于1997年獲得UIUC(伊利諾伊大學香檳分校)的計算機科學博士學位。在2003年加入伊利諾伊理工學院之前，她在行業(yè)中擔任軟件工程師超過五年。她的主要研究興趣是網(wǎng)絡物理系統(tǒng)，實時調(diào)度和云計算領域，重點是改善網(wǎng)絡物理系統(tǒng)的安全性，軟件體系結(jié)構(gòu)和開發(fā)，資源約束下的系統(tǒng)可靠性分析，滿足可靠性的調(diào)度算法設計和期限要求，以及云環(huán)境下的資源優(yōu)化。
報告簡介：
對于網(wǎng)絡物理系統(tǒng)，其執(zhí)行行為通常會受到其操作環(huán)境的影響。但是，有關網(wǎng)絡物理系統(tǒng)預期環(huán)境的假設通常會非正式地記錄在案，甚至在系統(tǒng)設計中未作說明。不幸的是，在諸如醫(yī)療網(wǎng)絡物理系統(tǒng)（M-CPS）等對安全至關重要的網(wǎng)絡物理系統(tǒng)中做出的這種未指定的環(huán)境假設可能會導致災難。本演講討論了安全關鍵型網(wǎng)絡物理系統(tǒng)中未指定的假設問題，并展示了減少未指定假設導致的故障的方法。
