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