近日，2024年普陀区“全国科普日”活动启动仪式暨普陀区科普展成功举行。活动上，20位科普达人和科技工作者荣获“普陀区科普达人”和“普陀区科创新锐”。上海控安与华东师范大学联合培养博士后冯劲草，获“普陀区科创新锐”荣誉称号。

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

冯劲草博士聚焦工业基础软件领域，带领其团队围绕高可信建模验证工具卡脖子问题开展长期攻关，成功研发国产自主可控的高可信嵌入式软件建模开发工具SmartRocket Modeler，满足基于模型的开发（MBD）要求，适用于航空、航天、船舶及运载车辆等嵌入式控制软件的详细设计和编码阶段，以严谨的数学理论支撑建模、验证到代码生成的完整流程，节省大量的人力和时间，为国家关键核心技术自主可控提供有力支撑，有效填补国内该领域技术空白，打破国外工业软件的垄断地位。

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

“实现关键核心技术自主可控”是习近平总书记提出的重大战略目标，其中嵌入式控制系统广泛应用于航空航天、军工装备、轨道交通等关键基础设施及核心领域，是软件技术的关键组成。在此类软件开发过程中，建模与验证类工具是保证核心领域软件安全性的重要手段，然而目前95%的市场遭国外垄断，技术掣肘使国内面临国家安全与科技发展的双重挑战，我国亟待研发自主可控的支撑工具。

上海控安依托博士后科研工作站、可信软件创新研究院等高水平研究团队，聚焦工业控制系统功能安全和信息安全，进行卡脖子技术创新和成果转化，获国家军用标准认证。相关技术产品已支撑嫦娥5号、天问一号、国产客机等诸多国家重点型号任务，实现国外工具的国产化替代。未来，上海控安将始终把科技创新放在发展的核心位置，以关键技术突破推动我国科技强国建设。

阅读原文