近日，2024年普陀區(qū)“全國科普日”活動(dòng)啟動(dòng)儀式暨普陀區(qū)科普展成功舉行?；顒?dòng)上，20位科普達(dá)人和科技工作者榮獲“普陀區(qū)科普達(dá)人”和“普陀區(qū)科創(chuàng)新銳”。上?？匕才c華東師范大學(xué)聯(lián)合培養(yǎng)博士后馮勁草，獲“普陀區(qū)科創(chuàng)新銳”榮譽(yù)稱號。

馮勁草博士，上?？匕膊┦亢罂蒲泄ぷ髡九c華東師范大學(xué)軟件工程博士后流動(dòng)站聯(lián)合培養(yǎng)在站博士后。目前擔(dān)任上?？匕部尚跑浖?chuàng)新研究院副院長、系統(tǒng)建模組總監(jiān)，主要研究方向?yàn)樾问交椒ê托枨蠊こ?。曾參與多項(xiàng)國家自然科學(xué)基金面上項(xiàng)目、聯(lián)合基金項(xiàng)目，主要工作包括需求的形式化建模與分析、面向領(lǐng)域的形式化工程方法等。與國內(nèi)工業(yè)領(lǐng)域多家頭部應(yīng)用單位協(xié)同，對方法和工具在真實(shí)工業(yè)環(huán)境下進(jìn)行應(yīng)用驗(yàn)證。

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

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

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

上?？匕惨劳胁┦亢罂蒲泄ぷ髡?、可信軟件創(chuàng)新研究院等高水平研究團(tuán)隊(duì)，聚焦工業(yè)控制系統(tǒng)功能安全和信息安全，進(jìn)行卡脖子技術(shù)創(chuàng)新和成果轉(zhuǎn)化，獲國家軍用標(biāo)準(zhǔn)認(rèn)證。相關(guān)技術(shù)產(chǎn)品已支撐嫦娥5號、天問一號、國產(chǎn)客機(jī)等諸多國家重點(diǎn)型號任務(wù)，實(shí)現(xiàn)國外工具的國產(chǎn)化替代。未來，上?？匕矊⑹冀K把科技創(chuàng)新放在發(fā)展的核心位置，以關(guān)鍵技術(shù)突破推動(dòng)我國科技強(qiáng)國建設(shè)。

閱讀原文