佳工机电网 在线工博会 我的佳工网 手机版 English
关键字  
  选择展区 >>
您的位置: 首页 > 工业自动化展区 > 嵌入式系统/自动化软件展厅 > 新闻 > 正文 产品 会展 人才 帮助 | 注册 登录  
嵌入式系统/自动化软件
 按行业筛选
 按产品筛选
本产品全部新闻


e展厅 产品库 视频 新闻 技术文章 企业库 下载/样本 求购/论坛
  市场动态 | 技术动态 | 企业新闻 | 图片新闻 | 新闻评论 佳工网行业新闻--给您更宽的视角 发表企业新闻 投稿 
嵌入式系统设计--科学挑战与未来方向
http://cn.newmaker.com 11/6/2009 3:45:00 PM  佳工机电网
欢迎访问e展厅
展厅
8
嵌入式系统/自动化软件展厅
组态软件, 单片机, ...
应北京大学信息科学技术学院的邀请,法国著名计算机科学家、2007年度图灵奖获得者Joseph Sifakis教授于10月28日下午访问北大,并莅临北京大学“信息技术与信息化”名家讲坛,为信息学院师生做了题为“嵌入式系统设计——科学挑战与未来方向”的精彩报告。

Joseph Sifakis教授是全球知名的计算机科学家。由于在“将模型检查发展为被硬件和软件业中所广泛采纳的高效验证”技术上的贡献,于2007年获得计算机科学领域最高奖——ACM图灵奖。作为法国的知名科学家,他是法国国家科研中心(CNRS)的研究总监,法国国家科研中心2001年银质奖章的获得者。同时,他也是位于法国Grenoble的顶尖嵌入式系统研究中心Verimag实验室的创始人。

Joseph Sifakis教授首先与梅宏院长进行了会谈。梅宏院长向Sifakis教授介绍了信息科学技术学院的基本情况以及正在进行的重大研究课题,双方就相关研究领域的热点研究课题交换了意见。Sifakis教授建议北京大学与欧洲的科研院所在信息技术领域进行更加深入的合作。双方初步商定由北京大学高可信软件技术教育部重点实验室承办由欧洲嵌入式系统设计研究联盟ARTIST发起的2010年“嵌入式系统暑期学校”。随后,Sifakis教授与软件研究所相关研究领域的师生就一些正在开展的研究问题进行了座谈。

座谈会结束后,Sifakis教授为北大师生奉献了题为《嵌入式系统设计——科学挑战与未来方向》的精彩演讲。报告中阐述了现代信息社会所面临的挑战,嵌入式系统设计所面临的技术瓶颈以及解决方法。演讲结束之后,Sifakis教授与在场的师生就嵌入式系统的设计、正确性验证和未来发展方向等问题进行了热烈的讨论。

Joseph Sifakis教授在雅典技术大学获得电机工程学位,在Grenoble大学获得计算机科学博士学位。作为欧洲“卓越网络”(Network of Excellence)嵌入式系统设计研究联盟“ARTIST2 Embedded Systems Design”的技术协调人,他主要对35个欧洲研究小组的研究进行协调,以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。

Sifakis教授的研究工作具有开创性价值并且引导出了新的软件规范的创建、新的检测算法以及杰出的理论结果。这项技术今天被应用于集成电路工业中以便设计复杂的系统并能够使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面的产业影响在未来的几年里将会更加显著。

发表评论】【新闻评论】【论坛】【收藏此页
更多有关嵌入式系统/自动化软件的新闻:
·SuperTest -- 帮助eSOL提供符合安全标准的实时嵌入式软件平台 11/29/2021
·Mendix认为流程自动化将迎来“超自动化”时代 权威分析机构持相同观点 4/16/2021
·[图]安森美半导体在Embedded World 2019展示 新的、云联接的Strata Developer Studio™ 2/21/2019
·罗克韦尔自动化和PTC联合推出协同产品,推动工业企业的数字化转型 12/12/2018
·嵌入式系统中外知名企业亮相IAS 2009 11/6/2009
·[图]力控科技与大连理工大学共建力控组态软件实验室 11/6/2009
·[图]控创成功举办“用生命周期管理理论建立嵌入式服务标准”研讨会 11/4/2009
·英维思虚拟现实培训系统协助美国能源部推进洁净煤发电 11/4/2009
·嵌入式技术推动新兴领域创新发展 11/2/2009
·实时操作系统巨头QNX登陆中国,成立上海办事处 10/15/2009
查看与本新闻相关目录:
·工业自动化展区 > 嵌入式系统/自动化软件展厅 > 嵌入式系统/自动化软件新闻

对 嵌入式系统/自动化软件 有何见解?请到
嵌入式系统/自动化软件论坛 畅所欲言吧!





网站简介 | 企业会员服务 | 广告服务 | 服务条款 | English | Showsbee | 会员登录  
© 1999-2024 newmaker.com. 佳工机电网·嘉工科技