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