12月14日,由上海市科委指導,上海市科技創業中心主辦的“2021上海高新技術成果轉化百佳表彰會”在中國金融信息中心舉行。上海市科委、市財政局、市人社局等相關委辦領導出席了會議。會議表彰了2020年度上海市高轉項目十強企業和先鋒人物。
項目評審組對總計3014項高轉項目轉化動態跟蹤統計數據的梳理和指標初步篩選后,經各區科技主管部門推薦、專家評議、網上公示等程序,上海控安自研產品“智能嵌入式單元測試用例設計工具軟件”入選“2020年度上海市高新技術成果轉化項目自主創新十強”,上海控安總經理蒲戈光教授榮獲“2020年度上海市高新技術成果轉化先鋒人物”榮譽稱號。
市科委副主任謝文瀾為會議致辭。他表示,創新是上海的“城市基因”,也是推動高質量發展的根本動力。多年來,上海從制度保障、政策供給、能力提升等方面全方位推進科技成果轉化,形成了供給端、需求端和服務端“三端發力”的體系化布局。
回顧過去,高轉政策歷時二十余載,在推動本市高新技術產業發展、培育企業核心競爭力等方面發揮了重要作用,目前累計認定高轉項目近1.5萬項,落實專項資金超110億元,落戶人才超過3000人。今年是高轉項目新政實施以后的第一年,面向未來,上海高轉政策將全力打好財政支持、人才落戶政策的組合拳,緊扣全力做強創新引擎,打造自主創新新高地這一主線,加速科技成果向現實生產力轉化,疏通成果轉化的雙向鏈接快車道,推動企業創新不斷邁向新臺階。
上海控安首席信息官楊昆與會發表“強基補鏈——實現工業軟件卡脖子技術新突破”主題演講,分享了控安入選項目成果的研發和產業化歷程,以及控安人秉承“為工業安全賦能”的初心使命,不斷攻克制約工控系統安全關鍵共性技術的實踐經驗。
上海控安入選項目成果“智能嵌入式單元測試用例設計工具軟件”作為一款軟件代碼測試和驗證工具,以“國外工具軟件的國產化替代”為目標,對標美國Vector、德國Tessy、英國Testbed等工具,填補國內嵌入式系統測試工具軟件技術空白。利用程序分析技術和動態符號執行技術,實現智能化、自動化的單元測試。通過該工具,用戶能夠快速對安全攸關的代碼進行單元級別的白盒測試、黑盒測試及回歸測試,從而進一步提升單元測試的效率。
目前,該項目成果已經測試航空航天、地鐵信號、汽車電子、核電控制等領域軟件代碼超過800W行,平均語句覆蓋率超過80%,具有顯著的技術后發優勢。該工具支持的重點項目包括:嫦娥五號、天問一號、上海10號線、新一代汽車開放系統架構等,在航天五院、普華軟件、申通地鐵,卡斯柯等高可信工業領域代表性企業的項目中得到應用和認可。
未來,上海控安將繼續秉持開放、合作、共贏的理念,以攻克戰略布局中的卡脖子技術、關鍵共性技術為核心目標,持續推動上海高新技術產業發展,為上海城市數字化轉型保駕護航!
-
軟件
+關注
關注
69文章
4938瀏覽量
87449 -
技術
+關注
關注
0文章
431瀏覽量
58481 -
數字化
+關注
關注
8文章
8729瀏覽量
61747 -
工業軟件
+關注
關注
2文章
187瀏覽量
16019
發布評論請先 登錄
相關推薦
評論