News
发布时间：2025-12-10 作者：上海工业控制安全创新科技有限公司 点击次数：次
为全面贯彻落实党的二十大精神，深入学习贯彻习近平总书记考察上海重要讲话精神，进一步深化产业工人队伍建设改革，推动高技能人才队伍建设，营造崇尚技能、精益求精的敬业风气，普陀区近日正式公布2025年“普陀工匠”名单。经资格初审、专家现场评审、社会公示等环节，上海控安与华东师范大学联合培养博士后冯劲草成功入选，荣获“普陀工匠”称号。
冯劲草博士，上海控安博士后科研工作站与华东师范大学软件工程博士后流动站联合培养博士后。目前担任上海控安可信软件创新研究院副院长、系统建模组总监，主要研究方向为形式化方法和需求工程。曾参与多项国家自然科学基金面上项目、联合基金项目，主要工作包括需求的形式化建模与分析、面向领域的形式化工程方法等。与国内工业领域多家头部应用单位协同，对方法和工具在真实工业环境下进行应用验证。
冯劲草博士聚焦工业基础软件领域，带领其团队围绕高可信建模验证工具卡脖子问题开展长期攻关，成功研发国产自主可控的高可信嵌入式软件建模开发工具SmartRocket Modeler，满足基于模型的开发（MBD）要求，适用于航空、航天、船舶及运载车辆等嵌入式控制软件的详细设计和编码阶段，以严谨的数学理论支撑建模、验证到代码生成的完整流程，节省大量的人力和时间，为国家关键核心技术自主可控提供有力支撑，有效填补国内该领域技术空白，打破国外工业软件的垄断地位。
SmartRocket Modeler高可信嵌入式软件建模开发工具
“普陀工匠”培养选树工作旨在挖掘和表彰区域内爱岗敬业、技艺精湛、勇于创新的一线高技能人才。此次入选不仅是个人勋章，更是上海控安实施人才强企战略的重要里程碑，是公司在高水平科技人才队伍建设与核心技术自主创新领域长期投入、厚积薄发的成果体现。
展望未来，上海控安将持续完善人才发展机制，强化以博士后工作站为核心的高层次人才培养体系，着力营造精益求精、创新突破的研发氛围，为加快培育新质生产力、推动区域产业高质量发展贡献坚实力量，让“普陀工匠”的荣誉精神转化为驱动企业创新发展的内生动力，在关键核心技术攻关中书写更多“国之重器”的自主篇章。
