簡訊 5月19日，2019年度上海市科學(xué)技術(shù)獎(jiǎng)勵(lì)大會在上海展覽中心舉行，隆重表彰為上海科技創(chuàng)新事業(yè)和經(jīng)濟(jì)社會發(fā)展作出突出貢獻(xiàn)的科技工作者。上海自儀參與的“面向重大工業(yè)裝備核心控制軟件的安全可信保障技術(shù)及應(yīng)用”項(xiàng)目摘得了今年全市兩個(gè)科技進(jìn)步特等獎(jiǎng)的其中之一。
重大工業(yè)裝備是軌道交通、航空航天等國家關(guān)鍵基礎(chǔ)設(shè)施的重要組成部分，核心控制軟件是工業(yè)裝備正常運(yùn)行的關(guān)鍵中樞，若此類軟件出現(xiàn)問題將會引發(fā)重大經(jīng)濟(jì)損失或人員傷亡。如何保障核心控制軟件的安全可信是國際公認(rèn)的重大挑戰(zhàn)，也是我國經(jīng)濟(jì)轉(zhuǎn)型升級亟需解決的“卡脖子”問題。該項(xiàng)目攻克了控制軟件安全可信保障技術(shù)三大基礎(chǔ)性難題即軟件正確性“驗(yàn)證難”、可靠性“保障難”與復(fù)雜性“分析難”，并突破了控制軟件分析、驗(yàn)證及測試等多項(xiàng)關(guān)鍵技術(shù)難題，實(shí)現(xiàn)了覆蓋軟件全生命周期的開發(fā)與驗(yàn)證工具鏈，有力地保障了重大工業(yè)裝備核心控制軟件研制的安全可信。該項(xiàng)目首次建立了并發(fā)程序的統(tǒng)一模型框架，解決了困擾國際學(xué)術(shù)界二十余年的難題；構(gòu)建了多層次仿真與測試技術(shù)，有效提升了控制系統(tǒng)的測試效率與質(zhì)量；建立了不確定環(huán)境下軟件多屬性定量評估、實(shí)時(shí)度量、失效估算等綜合量化分析技術(shù)；自主研發(fā)了支撐軟件全生命周期的工具鏈,填補(bǔ)了多項(xiàng)國內(nèi)技術(shù)空白，已替代部分國外同類產(chǎn)品并在若干關(guān)鍵技術(shù)環(huán)節(jié)形成超越。
其項(xiàng)目成果獲發(fā)明專利27項(xiàng)，軟著62項(xiàng)，行業(yè)標(biāo)準(zhǔn)2項(xiàng)，英文專著1本，高水平論文60篇；獲6項(xiàng)省部級以上獎(jiǎng)勵(lì)；近三年新增銷售額14.2億元，新增利潤2.1億元，技術(shù)成果應(yīng)用于“嫦娥三期”和上海首條無人駕駛地鐵線路等一大批重大工程。項(xiàng)目第一完成人擔(dān)任基金委重大研究計(jì)劃“可信軟件基礎(chǔ)研究”首席科學(xué)家，支持全國科研院所項(xiàng)目107項(xiàng)，有效提升了我國可信軟件研究的國際競爭力和我國重大工業(yè)裝備控制領(lǐng)域核心控制軟件的安全可信保障水平。
去年5月，公司申報(bào)的項(xiàng)目(“大型壓水堆核電站儀控設(shè)備與系統(tǒng)自主化關(guān)鍵技術(shù)及應(yīng)用”)獲2018年度上海市科學(xué)技術(shù)獎(jiǎng)獲一等獎(jiǎng)。今年再次斬獲上海市科學(xué)技術(shù)獎(jiǎng)，公司將為各個(gè)領(lǐng)域提供可信軟件，為這些領(lǐng)域的自主可控保駕護(hù)航。
