被 " 卡脖子 " 不是坏事
" 可信软件 " 究竟是什么？冯劲草给出的解释非常直接—— " 就是我写出来的东西，我自己信不信？是 99% 的置信度，还是 99.99999%。" 他说，工业控制系统的复杂性决定了其失败成本极高，波音 737-MAX 坠机、Uber 自动驾驶致死事故，起因都并非是硬件损坏，而是设计阶段的隐蔽错误未被发现。这种 " 不可见的风险 "，是目前全球工业软件都在挑战的前沿问题。
于是，他带领 12 人核心研发团队，用短短 3 年时间自主开发出高可信嵌入式软件建模开发工具—— SmartRocket Modeler。冯劲草介绍，该软件能够实现模型化可视化建模，并自动生成高可信 C 代码，适用于引擎控制系统、轨旁控制系统、ATP 自动列车防护系统等高安全场景。更重要的是，它正在替代此前每年花费高达数千万元引进的海外竞品，真正填补国产软件在 " 工程级可靠性 " 上的缺口。
" 这款软件就是我们的‘孩子’。" 冯劲草坦言，最难的是早期验证阶段，开发一度陷入混沌。团队后来请来敏捷教练介入，踩着每日两次站会、每月甚至每两周一个版本的敏捷式开发节奏，开始进入正向循环。
软件开发成功之后，更难的是让市场接受。早期软件刚做出来时，根本没人敢用，他们只能 " 拿着工具一家家去敲门 "，免费提供试用服务，派工程师驻场，甚至主动把客户原本用国外工具写的项目代码全部导入进来，并提供详细测评报告。
但正是这段被他称为 " 挨家挨户跑客户 " 的艰难期，让 SmartRocket Modeler 在实战中快速迭代优化自动化测试系统、导入导出模块等功能。" 被‘卡脖子’不是坏事，它反而加快了我们形成自己先进工业体系的速度。"
一半使命，一半理想
硕博就读于华东师范大学软件工程专业，冯劲草从 2015 年开始接触可信软件领域，2022 年加入上海控安。" 为什么投身软件开发？" 他坦言，一半是使命，一半是理想——控安是专注 " 卡脖子 " 关键技术攻坚的平台，而他自己也 " 想做点大家真正用得上的东西 "，希望写出的软件不是停留在论文里，而是运行在发动机、列车、卫星、工厂内的真实系统中。
教育影响同样深刻。冯劲草提到，他的硕博导师、现任上海控安 CEO 蒲戈光有一句话让他铭记在心—— " 解决产业一线工程师遇到的实际问题 "，这改变了他对研发的理解，而父亲 " 细节决定成败 " 的教育方式，则让他在设计系统时永远把 " 置信度 " 排在第一位。
如今的上海控安，硕博占比超过 53%，研发人员占比超过 76%，并于 2020 年获批企业博士后工作站，每位博士后都带领一支开发队伍，将技术原型快速工程化落地。冯劲草预判，未来工业软件将进入 " 细分领域强者通吃 " 时代，从单点工具升级为工具链，再升级为一体化平台。
人物小传
冯劲草，上海控安可信软件创新研究院副院长，从事需求工程、软件详细设计建模、基于模型的开发和验证等相关研究和开发。入选 2024 年上海市东方英才计划青年项目，获评 2023 年度上海市技术发明奖一等奖（个人排名第 11 位）、上海 " 软件开发技能人才 " 等。
