8月29日,应中国科学院深圳先进技术研究院数字所嵌入式软件系统研究室主任谷德权/T. John KOO研究员的邀请,法国国家信息与自动化研究所(INRIA/IRISA)的马悦博士赴先进院作了题为“Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of computation”的学术讲座。
本次讲座着重介绍了体系结构分析与设计语言(AADL),这是针对航空航天、汽车电子、轨道交通、核能控制的分布式嵌入式系统而设计的体系结构建模语言。这种语言可以对系统中部件间出现的全局异步局部同步(GALS)的交互,多同步(Polyvhronous)计算模型可以有效地描述。多同步计算模型允许系统中部件拥有独立的时钟,而不需要一个共同的时钟来同步,这种特点适合支持GALS系统设计。马悦博士提出了一种对嵌入式系统行为模型与结构模型的协同建模(Co-Modeling)方法,该方法运用Simulink与AADL对系统分别进行行为建模与结构建模,通过使用模型转换将模型融合到Polychrony工具上进行系统分析与代码生成。目前该项研究的设计方法已经实现在两个航空领域的案例中。
本次讲座吸引了众多研究人员和学生的参与,讲座之后,马悦博士与研究人员和学生进行了广泛深入的交流。
马悦博士进行学术报告
个人简介:
马悦博士分别于2004、2007年获得北京邮电大学计算机科学与技术专业学士和计算机应用技术硕士学位,于2010年获得法国雷恩第一大学计算机科学博士学位。马悦博士现为法国国家信息与自动化研究所的研究工程师。