报告题目：如何控制软件的实时行为
报告人：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部。
