講座名稱：From Theory to tools for embedded software design & update

講座人：王義 教授

講座時(shí)間：4月4日9:00

地點(diǎn)：南校區(qū)會(huì)議中心B101報(bào)告廳

講座人介紹：

王義，瑞典Uppsala大學(xué)講席教授，歐洲科學(xué)院院士，瑞典皇家學(xué)會(huì)會(huì)員，ACM & IEEE Fellow，國(guó)家級(jí)人才。 曾任東北大學(xué)計(jì)算機(jī)學(xué)院院長(zhǎng)。歐盟ERC Advanced Grant獲得者。2013年獲形式化驗(yàn)證領(lǐng)域最高獎(jiǎng)CAV Award、2019年獲IEEE實(shí)時(shí)系統(tǒng)領(lǐng)域終身成就獎(jiǎng)IEEE TCRTS Award、2022年獲瑞典Uppsala大學(xué)杰出科學(xué)成就獎(jiǎng)Rudbeck Medal。

講座內(nèi)容：

今天，工業(yè)系統(tǒng)和產(chǎn)品的功能和經(jīng)濟(jì)價(jià)值，如汽車、飛機(jī)和醫(yī)療設(shè)備，都是由嵌入式軟件定義和實(shí)現(xiàn)的。動(dòng)態(tài)軟件更新對(duì)于新功能、產(chǎn)品定制和安全補(bǔ)丁是至關(guān)重要的，但目前還不支持安全關(guān)鍵系統(tǒng)，MIMOS是一個(gè)提供新的設(shè)計(jì)范例和軟件的工具環(huán)境。用于構(gòu)建嵌入式軟件的工具，可以在其運(yùn)行生命周期內(nèi)動(dòng)態(tài)、安全、可靠地按需更新。這次演講將附帶一個(gè)工具演示。

主辦單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院