近日，2024年普陀區“全國科普日”活動啟動儀式暨普陀區科普展成功舉行。活動上，20位科普達人和科技工作者榮獲“普陀區科普達人”和“普陀區科創新銳”。上海控安與華東師范大學聯合培養博士后馮勁草，獲“普陀區科創新銳”榮譽稱號。

馮勁草博士，上海控安博士后科研工作站與華東師范大學軟件工程博士后流動站聯合培養在站博士后。目前擔任上海控安可信軟件創新研究院副院長、系統建模組總監，主要研究方向為形式化方法和需求工程。曾參與多項國家自然科學基金面上項目、聯合基金項目，主要工作包括需求的形式化建模與分析、面向領域的形式化工程方法等。與國內工業領域多家頭部應用單位協同，對方法和工具在真實工業環境下進行應用驗證。

馮勁草博士聚焦工業基礎軟件領域，帶領其團隊圍繞高可信建模驗證工具卡脖子問題開展長期攻關，成功研發國產自主可控的高可信嵌入式軟件建模開發工具SmartRocket Modeler，滿足基于模型的開發（MBD）要求，適用于航空、航天、船舶及運載車輛等嵌入式控制軟件的詳細設計和編碼階段，以嚴謹的數學理論支撐建模、驗證到代碼生成的完整流程，節省大量的人力和時間，為國家關鍵核心技術自主可控提供有力支撐，有效填補國內該領域技術空白，打破國外工業軟件的壟斷地位。

SmartRocket Modeler高可信嵌入式軟件建模開發工具

“實現關鍵核心技術自主可控”是習近平總書記提出的重大戰略目標，其中嵌入式控制系統廣泛應用于航空航天、軍工裝備、軌道交通等關鍵基礎設施及核心領域，是軟件技術的關鍵組成。在此類軟件開發過程中，建模與驗證類工具是保證核心領域軟件安全性的重要手段，然而目前95%的市場遭國外壟斷，技術掣肘使國內面臨國家安全與科技發展的雙重挑戰，我國亟待研發自主可控的支撐工具。

上海控安依托博士后科研工作站、可信軟件創新研究院等高水平研究團隊，聚焦工業控制系統功能安全和信息安全，進行卡脖子技術創新和成果轉化，獲國家軍用標準認證。相關技術產品已支撐嫦娥5號、天問一號、國產客機等諸多國家重點型號任務，實現國外工具的國產化替代。未來，上海控安將始終把科技創新放在發展的核心位置，以關鍵技術突破推動我國科技強國建設。

閱讀原文