近日，中國計算機學會(CCF)公布了2021年度“CCF科學技術獎”評選結果。上海工業控制安全創新科技有限公司與華東師范大學、卡斯柯信號有限公司、工業和信息化部電子第五研究所合作的項目“面向工業領域的軟件形式化建模與自動化測試關鍵技術及工具國產化應用”榮獲2021年CCF科學技術獎技術發明一等獎。

CCF科學技術獎

“CCF科學技術獎”由中國計算機學會在CNCC大會期間頒發，是國內權威的科技獎項，因其專業性和公信力成為衡量企業、高校技術創新水平的重要評選活動。CCF科學技術獎的設立，旨在授予在計算機科學、技術或工程領域具有重要發現、發明、原始創新，在相關領域有一定國際影響的優秀成果。大會每年都會就計算機及相關領域最新進展和宏觀發展趨勢進行探討，展示中國學術界、企業界最新成果，是中國計算機領域級別最高、規模最大的學術盛會。

獲獎項目概述

軟件被廣泛應用在工業制造領域，如軌道交通、航空航天、軍事國防等。軟件是工業裝備正常運行的關鍵中樞，若此類軟件出現問題將會引發重大經濟損失或人員傷亡。如何保障軟件的安全可信是國際公認的重大挑戰。

在國家自然科學基金委創新群體等項目資助下，項目組針對軟件開發全生命周期的核心步驟即軟件建模、軟件編碼與軟件確認驗證過程中三大挑戰， 即形式化工程建模方法缺失、人工測試效率低、軟件缺陷發現難 ，在面向控制軟件形式化建模與驗證工程方法、基于程序分析的軟件智能白盒測試技術、面向模型的工業 APP 的自動化黑盒測試技術等方面實現了技術發明的突破。

本項目授權發明專利14 項、獲軟件著作權 13 項、發表高水平論文 9 篇；實現覆蓋軟件全生命周期的開發與驗證工具 3 款，其中成功商業化 1 款。利用工具研發的系統所產生間接經濟效益超過 12 億元。

內容來源于：中國計算機學會（CCF）官網

工業軟件是工業制造領域的大腦和神經，上海控安始終以攻堅工業軟件核心技術為己任，堅定自主創新的步伐，緊抓時代發展機遇，不斷探索行業需求，腳踏實地打磨技術產品，聯合上下游企業構建產業生態，助力我國工業技術軟件化的強國之路。