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