本次讲座着重介绍了体系结构分析与设计语言（AADL），这是针对航空航天、汽车电子、轨道交通、核能控制的分布式嵌入式系统而设计的体系结构建模语言。这种语言可以对系统中部件间出现的全局异步局部同步（GALS）的交互，多同步（Polyvhronous）计算模型可以有效地描述。多同步计算模型允许系统中部件拥有独立的时钟，而不需要一个共同的时钟来同步，这种特点适合支持GALS系统设计。马悦博士提出了一种对嵌入式系统行为模型与结构模型的协同建模（Co-Modeling）方法，该方法运用Simulink与AADL对系统分别进行行为建模与结构建模，通过使用模型转换将模型融合到Polychrony工具上进行系统分析与代码生成。目前该项研究的设计方法已经实现在两个航空领域的案例中。

本次讲座吸引了众多研究人员和学生的参与。讲座之后，马悦博士与研究人员和学生进行了广泛深入的交流。