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