English | 繁体 | RSS | 网站地图 | 收藏 | 邮箱 | 联系我们
首页 新闻 机构 科研 院士 人才 教育 合作交流 科学普及 出版 信息公开 专题 访谈 视频 会议 党建 文化
  您现在的位置: 首页 > 合作交流 > 国际交流 > 合作动态
法国国家信息及自动化研究院研究主任Jean Talpin
到深圳先进院交流
  文章来源:深圳先进技术研究院 发布时间:2013-01-15 【字号: 小  中  大   

应澳门赌场深圳先进技术研究院数字所嵌入式软件系统研究中心主任谷德权/T. John Koo研究员的邀请,2013年1月14日,澳门赌场外国专家特聘研究员、法国国家信息及自动化研究院(INRIA)研究主任、法国国家重大项目ESPRESSO项目组主任Jean-Pierre Talpin教授来到先进院,作了题为Co-Modeling, Simulation and Validation of Embedded Software Architectures using Polychrony的学术讲座。

本次讲座着重介绍了运用基于多同步(Polychronous)计算模型的Polychrony工具对嵌入式软件系统架构的协同建模(Co-Modeling)、仿真及确认。在航电系统领域,对嵌入式系统多视角(Multiple Views)异构建模很普遍,不同的建模标准被用来规范系统的结构、硬件以及软件组件。对在航电系统中的整合异构模型进行系统级仿真虽然困难,但却是非常重要及必要的,因为可以使得全局的系统级设计在开发过程中尽早得到确认。

Talpin教授介绍了法国国家重大项目ESPRESSO项目组提出为解决异构系统的组合、集成及仿真的一种方案,该研究工作已经在空中客车(Airbus)的支持下进行。在其方案中,功能/行为模块由Simulink来建模,系统架构则由体系结构分析与设计语言(Architecture Analysis and Design Language, AADL)来建模。这种涵盖了同步与异步的模型可以通过模型转换(Model Transformation)转换为多同步(Polychronous)计算模型中的允许全局异步局部同步(Globally Asynchronous Locally Synchronous, GALS)的模型。Talpin教授最后还展示了该项研究在空中客车(Airbus)A350中的机门管理系统(Door Management System)的应用。

相关研究人员和学生参加了本次讲座。讲座之后,Talpin教授与研究人员和学生进行了广泛深入的交流。

Jean-Pierre Talpin,澳门赌场外国专家特聘研究员,法国国家信息及自动化研究院(INRIA)研究主任,研究员,法国国家重大项目ESPRESSO项目组主任,安全关键实时系统领域的知名学者。1993年,在巴黎六大获得博士学位。曾任欧洲计算机产业研究中心(德国慕尼黑)副研究员,1995年加入INRIA,是同步语言Signal的主要发展人之一。参加过大量欧盟和法国国家重要项目,是国家开源嵌入式系统设计平台OpenEmbeDD项目的主要负责人。2005年荣获ACM SIGPLAN最具影响力论文奖。与高校有着长期密切合作,曾在北航、弗吉尼亚理工等多所高校担任客座教授,在学术界有着丰富的科研经验,著有Synthesis of Embedded Systems、Formal Methods and Models for System Design等。曾担任超过30个国际会议的程序委员会委员和十余个国际期刊的客座编辑,在国际知名期刊及会议发表论文90余篇。在嵌入式系统、同步语言等领域有杰出贡献。

  打印本页 关闭本页
© 1996 - 澳门赌场 版权所有 京ICP备05002857号  京公网安备110402500047号  联系我们
地址:北京市三里河路52号 邮编:100864