报告题目：设计和分析智能车辆参考架构模型的MBSE方法（An MBSE Approach to the Design and Analysis of A Reference Architecture Model for intelligent Vehicles）

报告嘉宾：Lei FENG（冯雷），瑞典皇家理工学院副教授

报告时间：2024年10月25日14:00-16:00（北京时间）

报告地点：#腾讯会议：250-288-617

报告摘要：

报告围绕智能车辆参考架构模型的设计与分析展开，主题包括车辆的协同优化等。由于智能电动汽车复杂且研发易受架构设计等影响，研究旨在利用 MBSE 方法及工具设计分析其 E/E 架构，并通过形式化分析和模拟验证架构模型。提出了一个集成的解决方案框架 KARMA，涵盖架构设计、优化、验证等多方面，并以两车自动刹车场景为例说明，包括使命、运行等多层面的模型构建。还介绍了特征模型及依赖关系，给出需求规格。之后对架构模型进行定量分析，包括聚类、依赖分析等，探讨架构优化及模拟分析，最后提及代码生成、形式化验证等内容。

This report is centered on the design and analysis of reference architecture models for smart vehicles, with topics such as vehicle co-optimization. Due to the complexity of smart electric vehicles and the susceptibility of their development to architectural design, etc., the study aims to design and analyze their E/E architectures using MBSE methods and tools, and validate the architectural models through formal analysis and simulation. An integrated solution framework, KARMA, is proposed, covering various aspects of architecture design, optimization, and validation, and is illustrated with a two-vehicle automatic braking scenario, which includes the construction of the model at multiple levels, including mission and operation. The feature model and dependencies are also introduced to give a requirement specification. After that, quantitative analysis of the architecture model, including clustering, dependency analysis, etc., is carried out to discuss the architecture optimization and simulation analysis, and finally code generation and formal verification are mentioned.

报告嘉宾简介：

冯雷博士是瑞典皇家理工学院（KTH）机械设计系机电一体化与嵌入式控制系统分部的副教授。于 1998 年和 2001 年获得中国西安交通大学机械电子工程系学士和硕士学位，并于 2007 年获得加拿大安大略省多伦多市多伦多大学博士学位。主要研究包括：网络物理系统验证和控制合成的形式化方法，嵌入式系统架构的建模、分析和优化，机电一体化系统的能源管理控制，自动驾驶，可信边缘计算系统和应用，3D/4D 打印实现的新型机电一体化系统等。是瑞典政府创新系统机构（VINNOVA）、瑞典研究理事会（Vetenskaprådet）、瑞典电动汽车中心、欧盟委员会等资助的多个国内和国际研究项目的首席或共同首席科学家。拥有一项美国专利，并在 IEEE Transactions 和 Elsevier 等著名科学杂志上发表了 30 多篇期刊论文。

欢迎感兴趣的师生积极参加！

安全科学与工程学院

2024年10月23日