報(bào)告題目：如何控制軟件的實(shí)時(shí)行為
報(bào)告人：EdwardAshford Lee教授、IEEE Fellow
講座時(shí)間：2018年9月7日10:00-11:30
講座地點(diǎn)：計(jì)算機(jī)學(xué)院105會(huì)議室
邀請(qǐng)人：張凱龍副教授
承辦學(xué)院：計(jì)算機(jī)學(xué)院
聯(lián)系人：張凱龍
聯(lián)系電話(huà)：13572203560
報(bào)告簡(jiǎn)介：現(xiàn)在，程序的實(shí)時(shí)行為依然是從實(shí)現(xiàn)的角度所呈現(xiàn)的屬性，而并非從模型的角度。鑒于軟件的時(shí)間行為既不是可預(yù)測(cè)的也不是可重復(fù)的，因此，對(duì)軟件時(shí)間行為的良好控制就非常困難。本報(bào)告將討論一種新的方法，其通過(guò)為那些將時(shí)間屬性作為建模范式必備部分的確定性模型提供保證來(lái)解決上述軟件實(shí)時(shí)性問(wèn)題。
報(bào)告人簡(jiǎn)介：EdwardA.Lee，加州大學(xué)伯克利分校電子信息與計(jì)算機(jī)科學(xué)系（EECS）教授、IEEE Fellow、IEEE杰出技術(shù)成就獎(jiǎng)獲得者、美國(guó)NSF總統(tǒng)青年科學(xué)家，現(xiàn)任伯克利工業(yè)CPS研究中心主任、曾任EECS主任。主要研究實(shí)時(shí)嵌入式系統(tǒng)與CPS，并聚焦于研究如何將確定性模型作為該類(lèi)系統(tǒng)工具集的核心組件，領(lǐng)導(dǎo)、完成了Ptolemy等多項(xiàng)著名的開(kāi)源軟件；累計(jì)發(fā)表學(xué)術(shù)論文300余篇，著有《嵌入式系統(tǒng)導(dǎo)論-CPS方法》等教材8部。
