首页 | 综合通知 | 教务教学 | 学术交流 | 留学信息 | 科研管理 | 文献服务 | 招标信息 | 网络服务 
当前位置: 校园公告>>学术交流>>正文
【学术讲座】如何控制软件的实时行为
2018-08-31 10:29   审核人:   (点击: )

报告题目:如何控制软件的实时行为

报告人: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部。

关闭窗口
最新公告
材料学院陕西省材料分析研究中心关于...
驻校艺术家计划——学生书画作品展及...
【通知公告】Haiyan Su副教授 “Stati...
关于学习贯彻《新时代高校教师职业行...
关于申报“2019年度西北工业大学在华...
驻校艺术家计划《书画名家工作坊》开...
国家审计走进西北工业大学 财经法治...
关于高雅艺术进校园——国家京剧院赴...
【会议通知】2018年仿真学术交流会
西北工业大学2018迎新文艺晚会预告
西工大主页  招聘信息  就业信息  本科招生  研招信息
版权所有©西北工业大学  地址:西安市友谊西路127号 邮编:710072