勇立創新潮頭·上海產業菁英｜馮勁草：填補工業軟件缺口，守護高安全領域

嫦娥五號、天問一號、國產客機、軌道交通系統……這些高安全攸關領域，都依賴着“工業控制系統”這套看不見的神經網絡來運行。一旦遭遇黑客攻擊或系統出錯，輕則造成巨大財產損失，重則關係生命安全。上海控安可信軟件創新研究院副院長馮勁草，正是活躍在這條關鍵戰線上的技術中堅。

馮勁草（右一）和團隊人員一起進行代碼評審。 （受訪者供圖）

被“卡脖子”不是壞事

“可信軟件”究竟是什麼？馮勁草給出的解釋非常直接——“就是我寫出來的東西，我自己信不信？是99%的置信度，還是99.99999%。”他說，工業控制系統的複雜性決定了其失敗成本極高，波音737-MAX墜機、Uber自動駕駛致死事故，起因都並非是硬件損壞，而是設計階段的隱蔽錯誤未被發現。這種“不可見的風險”，是目前全球工業軟件都在挑戰的前沿問題。

於是，他帶領12人核心研發團隊，用短短3年時間自主開發出高可信嵌入式軟件建模開發工具——SmartRocket Modeler。馮勁草介紹，該軟件能夠實現模型化可視化建模，並自動生成高可信C代碼，適用於引擎控制系統、軌旁控制系統、ATP自動列車防護系統等高安全場景。更重要的是，它正在替代此前每年花費高達數千萬元引進的海外競品，真正填補國產軟件在“工程級可靠性”上的缺口。

“這款軟件就是我們的‘孩子’。”馮勁草坦言，最難的是早期驗證階段，開發一度陷入混沌。團隊後來請來敏捷教練介入，踩着每日兩次站會、每月甚至每兩週一個版本的敏捷式開發節奏，開始進入正向循環。

軟件開發成功之後，更難的是讓市場接受。早期軟件剛做出來時，根本沒人敢用，他們只能“拿着工具一家家去敲門”，免費提供試用服務，派工程師駐場，甚至主動把客戶原本用國外工具寫的項目代碼全部導入進來，並提供詳細測評報告。

但正是這段被他稱爲“挨家挨戶跑客戶”的艱難期，讓SmartRocket Modeler在實戰中快速迭代優化自動化測試系統、導入導出模塊等功能。“被‘卡脖子’不是壞事，它反而加快了我們形成自己先進工業體系的速度。”

一半使命，一半理想

碩博就讀於華東師範大學軟件工程專業，馮勁草從2015年開始接觸可信軟件領域，2022年加入上海控安。“爲什麼投身軟件開發？”他坦言，一半是使命，一半是理想——控安是專注“卡脖子”關鍵技術攻堅的平臺，而他自己也“想做點大家真正用得上的東西”，希望寫出的軟件不是停留在論文裏，而是運行在發動機、列車、衛星、工廠內的真實系統中。

教育影響同樣深刻。馮勁草提到，他的碩博導師、現任上海控安CEO蒲戈光有一句話讓他銘記在心——“解決產業一線工程師遇到的實際問題”，這改變了他對研發的理解，而父親“細節決定成敗”的教育方式，則讓他在設計系統時永遠把“置信度”排在第一位。

如今的上海控安，碩博佔比超過53%，研發人員佔比超過76%，並於2020年獲批企業博士後工作站，每位博士後都帶領一支開發隊伍，將技術原型快速工程化落地。馮勁草預判，未來工業軟件將進入“細分領域強者通喫”時代，從單點工具升級爲工具鏈，再升級爲一體化平臺。

人物小傳

馮勁草，上海控安可信軟件創新研究院副院長，從事需求工程、軟件詳細設計建模、基於模型的開發和驗證等相關研究和開發。入選2024年上海市東方英才計劃青年項目，獲評2023年度上海市技術發明獎一等獎（個人排名第11位）、上海“軟件開發技能人才”等。