2025年12月16日，由广东省安全智能新技术重点实验室和深圳市计算机学会主办的SAILING讲坛第三十一期于哈尔滨工业大学（深圳）信息楼L316顺利召开。

广东省安全智能新技术重点实验室是由广东省科学技术厅于2022年批准成立的省级科研平台，依托哈尔滨工业大学（深圳）进行建设管理。实验室遵循“开放、流动、联合、竞争”的发展方针。以提高自主创新能力为目标，聚焦广东优势学科、支柱产业以及重大战略需求，科学规划、整体布局，推进实验室体系提质增效，着力加强基础研究和源头创新能力，着力推进科技研发和成果转化，着力培育创新型人才队伍，着力强化开放共享，使之成为支撑广东建设更高水平科技创新强省的战略科技力量。

本期SAILING讲坛围绕“基于LLM+MBSE的嵌入式软件可信开发方法”主题，采用线上线下同步的方式展开。本次活动由哈尔滨工业大学（深圳）漆舒汉教授主持，特邀嘉宾大连理工大学周宽久教授通过线上形式作主题报告。

图1  漆舒汉教授主持现场

周宽久教授以《基于LLM+MBSE的嵌入式软件可信开发方法》为主题展开报告。首先，他结合深厚的产业背景指出嵌入式软件传统研发存在“文档验证缺失、需求转化低效、合规性落地难”三大痛点。他分析道，“重代码轻文档”的现状导致源头风险隐匿，而人工将需求转化为模型的过程耗时且极易出错，且难以适配国际规范，从而强调了在航天、汽车等安全关键领域进行研发模式变革的紧迫性和重要性。

随后，他指出该方法作为国内率先攻克文档仿真验证空白的创新方案，核心在于融合Qwen-32B微调大模型与MBSE技术链。其次，他系统解析了如何利用大模型精准解析非结构化需求与概要设计文档，自动生成集成了FSM简洁性与Petri网并发优势的STM模型，并深度适配ARP4754与ASPICE国际规范。他详细介绍了该方案如何打通“文档-模型-代码”端到端闭环：通过将STM模型导入MBSE EDA工具，进行多场景仿真以排查深层逻辑隐患，从源头控制风险。

最后，他总结了该方案的实际应用价值，即在验证无误后自动生成标准化C代码，能显著缩短研发周期、降低成本并提升产品可靠性，目前已落地航天、航空、汽车等关键领域。报告结束后，现场听众与周宽久教授就大模型微调细节、工业软件自主可控等议题展开了深入交流。作为哈工大1996届杰出校友，周宽久教授还表达了对母校的深厚感情，并鼓励同学们积极投身于国产工业软件与人工智能交叉领域的探索。

图2 参会师生合影

嘉宾介绍： 

周宽久，博士，大连理工大学软件学院教授，博士生导师，大连理工大学软件评测中心主任，目前从事可信软件研究工作。1996年毕业于哈尔滨工业大学获得博士学位，曾在深圳华为公司参与智能网系统研制，该系统应用于神州行系统建设；1998年作为青岛海信负责通信的总工程师负责CDMA手机研制并成功上市。2002年底到大连理工大学任教，从事高可信嵌入式软件、AI系统可信评估研究。自2003年与日本NTTdata、九州大学开展嵌入式软件EDA工具研制，成果应用于列控、飞控、汽车等软件设计与测试。作为中国航天软件评测中心副总工程师，参与多个型号软件测试，完成飞控、列控、汽车、核电等软件评测。独立承担、参与国自然重点项目、国际重大合作项目、重点研发计划项目10余项，发表高水平论文近60篇。