Case Presentation
應中國民用大飛機制造企業(yè)中國商飛的要求，控安功能安全研究院提供了一整套適航體系審定咨詢服務，以DO-178C為主，并根據(jù)其輔助DO-331和DO-333等補充標準，為中國商飛設計民用航空器基于模型與形式化方法的開發(fā)與驗證流程，以及相應的適航審定體系，最終達到中國民航總局、FAA、EASA等相關(guān)各方的適航審定要求。
聯(lián)合上海申通地鐵集團，研究針對軌交工控系統(tǒng)的安全測評方法，設計軌道交通工控系統(tǒng)等級保護安全檢測箱，利用安全檢測箱，梳理軌交系統(tǒng)設備資產(chǎn)清單，分析軌交系統(tǒng)業(yè)務；開展信息安全管理綜合評估，包括安全策略和管理制度、安全管理機構(gòu)和人員、安全建設管理、安全運維管理、安全培訓及檢查等項目；輔助安全檢測人員準確、迅速的對待上線系統(tǒng)做出等保合規(guī)性評測，確保上線時系統(tǒng)符合等保安全要求。
2012年，我國探月工程團隊為2013年“嫦娥三期”探測器軟著陸月球做準備,但是系統(tǒng)代碼測試任務時間緊迫,人工檢測似乎很難趕上進度。作為我國第一個在月球軟著陸的無人登月探測器,“嫦娥三期”對功能安全與信息安全的要求極高,系統(tǒng)的代碼檢測不能出絲毫紕漏。在何積豐院士的帶領(lǐng)下，自主研發(fā)第一代單元測試工具。此智能工具不負眾望,出色地完成了輔助測試任務,為“嫦娥登月”作出貢獻。
聯(lián)合上海市水務局（上海市海洋局）共同搭建水務行業(yè)工控系統(tǒng)重用應用場景仿真實驗室，打造國際領(lǐng)先的“仿真驗證”能力；建設水務行業(yè)威脅預警平臺，提升水務工控系統(tǒng)“監(jiān)測預警”能力；編制水務行業(yè)工控系統(tǒng)的標準規(guī)范，建設示范應用，提升“標準認證”能力；面向水利、供水、排水等水務工控系統(tǒng)，結(jié)合功能安全和信息安全兼容性問題，提供信息安全解決方案，加強“檢測評估”能力。
采用形式化分析、測試與驗證等核心技術(shù)，首創(chuàng)形式化統(tǒng)一建模理論與多維度驗證技術(shù)，構(gòu)建了面向信物融合的多層次仿真與測試技術(shù)，支撐卡斯柯信號有限公司的地鐵信號系統(tǒng)成為獲國際最高安全認證SIL4的信號系統(tǒng)，已成功部署于上海軌道交通17號線。
