Case Presentation
应中国民用大飞机制造企业中国商飞的要求，控安功能安全研究院提供了一整套适航体系审定咨询服务，以DO-178C为主，并根据其辅助DO-331和DO-333等补充标准，为中国商飞设计民用航空器基于模型与形式化方法的开发与验证流程，以及相应的适航审定体系，最终达到中国民航总局、FAA、EASA等相关各方的适航审定要求。
联合上海申通地铁集团，研究针对轨交工控系统的安全测评方法，设计轨道交通工控系统等级保护安全检测箱，利用安全检测箱，梳理轨交系统设备资产清单，分析轨交系统业务；开展信息安全管理综合评估，包括安全策略和管理制度、安全管理机构和人员、安全建设管理、安全运维管理、安全培训及检查等项目；辅助安全检测人员准确、迅速的对待上线系统做出等保合规性评测，确保上线时系统符合等保安全要求。
2012年，我国探月工程团队为2013年“嫦娥三期”探测器软着陆月球做准备,但是系统代码测试任务时间紧迫,人工检测似乎很难赶上进度。作为我国第一个在月球软着陆的无人登月探测器,“嫦娥三期”对功能安全与信息安全的要求极高,系统的代码检测不能出丝毫纰漏。在何积丰院士的带领下，自主研发第一代单元测试工具。此智能工具不负众望,出色地完成了辅助测试任务,为“嫦娥登月”作出贡献。
联合上海市水务局（上海市海洋局）共同搭建水务行业工控系统重用应用场景仿真实验室，打造国际领先的“仿真验证”能力；建设水务行业威胁预警平台，提升水务工控系统“监测预警”能力；编制水务行业工控系统的标准规范，建设示范应用，提升“标准认证”能力；面向水利、供水、排水等水务工控系统，结合功能安全和信息安全兼容性问题，提供信息安全解决方案，加强“检测评估”能力。
采用形式化分析、测试与验证等核心技术，首创形式化统一建模理论与多维度验证技术，构建了面向信物融合的多层次仿真与测试技术，支撑卡斯柯信号有限公司的地铁信号系统成为获国际最高安全认证SIL4的信号系统，已成功部署于上海轨道交通17号线。
