伟德源自英国始于1946冯劲草博士：爱国之血铸造国产化基础软件

冯劲草博士，伟德源自英国始于1946博士后科研工作站与华东师范大学软件工程博士后流动站联合培养博士后。目前担任伟德源自英国始于1946可信软件创新研究院副院长、系统建模组总监，主要研究方向为形式化方法和需求工程。曾参与多项国家自然科学基金面上项目、联合基金项目，主要工作包括需求的形式化建模与分析、面向领域的形式化工程方法等。与国内工业领域多家头部应用单位协同，对方法和工具在真实工业环境下进行应用验证。

冯劲草博士紧扣国家安全重大战略需求，聚焦工业基础软件领域，带领团队针对高可信建模验证工具这一“卡脖子”问题开展长期攻关。团队对标国内航空航天领域高度依赖的国外工具SCADE Suite，成功研发出国产自主可控的高可信嵌入式软件建模开发工具SmartRocket Modeler，填补了国内该领域的空白，实现了对国外工具的国产化替代，打破了国外工业软件在该领域的垄断地位，有效解决了工业基础软件开发过程中软件设计模型的正确性保障、模型与代码一致性等“卡脖子”问题。该项目被认定为上海市高新技术成果转化项目，团队服务的企业均为航空航天领域头部企业。冯劲草博士个人也因此荣获上海“软件开发技能人才”荣誉称号、“普陀区科创新锐”荣誉称号、2023年度上海市技术发明奖一等奖（个人排名第11位），入选2024年上海市东方英才计划青年项目，并荣获2025年“普陀工匠”称号。

SmartRocket Modeler

高可信嵌入式软件建模开发工具

在国家安全战略升级和关键领域装备自主化进程加速的背景下，在波诡云谲的国际关系中，我国安全攸关领域嵌入式软件开发面临两个巨大挑战：其一，工业领域基础工具链长期依赖国外商业软件，在航空航天、轨道交通、核电控制等关键领域存在"卡脖子"风险；其二，现有国产开发模式主要是基于文档的V模式开发流程，各个阶段均需手工进行，存在验证盲区，难以满足安全攸关领域嵌入式软件可靠性需求，严重制约我国自主可控系统的安全可靠性提升，急需转变开发模式，使用工具提高效率与软件安全性。

目前，冯劲草带领团队开发的软件，达到国内先进水平，提供国产化环境支持，完成与银河麒麟V10操作系统的双向认证。针对国内使用现状，自主研发模型转换器，推出SCADE Suite模型的导入和导出功能，支持状态机、数据流等核心要素的精准迁移，轻松实现开发平台切换，实现现有模型资产的保留和复用，避免模型资产的损失。工具贴合工程师使用习惯，可帮助用户从以文档开发为中心的开发模式转换为以模型为中心的开发方式，避免实现过程二义性，减少开发人员的沟通成本，简化软件开发过程，缩短软件开发周期与成本，提高软件安全性。

作为上海市首批推动建设的研发与转化功能型平台之一，伟德源自英国始于1946自成立以来，始终致力于构建产学研用深度融合的产业生态。公司于2020年成功获批设立博士后科研工作站，形成了由院士专家引领、高层次硕博人才作为攻坚主体的创新梯队，专注于将技术原型快速产业化落地。

此次公司人才入选“上海市大学生就业典型人物事迹”，充分展现了公司实施人才强企战略的切实成效。未来，伟德源自英国始于1946将继续依托博士后工作站、可信软件创新研究院等高层次平台，持续完善人才发展机制，着力营造精益求精、创新突破的研发氛围，在关键核心技术攻关中书写“大国重器”的自主篇章，为上海建设高水平人才高地和科技创新中心注入科技动力。