项目编号	A05-2023-J019
项目名称	航天测发领域可重构高可信工业控制系统关键技术与工程应用
候选单位	北京特种工程设计研究院 中电智能科技有限公司 北京北特圣迪科技发展有限公司 中国电子信息产业集团有限公司第六研究所 中国电子信息产业集团有限公司 浙江中控研究院有限公司 浙江大学
候选人	肖力田 张尼 丰大军 施一明 董强 赵德政 俞志群 袁启平 陈海 刘基顺 侯科文 王天林 陈强 黄科 刘国安
项目简介	“震网”等事件爆发时，我国工控系统为国外品牌所垄断，安全底数不清，危及工控系统安全可信运行和国家安全。尤其在航天测试发射领域，对进入太空资产构成重大威胁，急需工控系统自主可控核心技术创新突破。另外，仅2022年全球工控超过2500亿美元商业市场需求，对我国科技企业发展效益潜力巨大。 2012年以来，在国家重大项目支持下，联合技术优势单位，以航天测发领域为突破口，开展自主工控科技重大工程联合攻关。主要创新如下： （1）航天测发领域工控系统可重构高可信体系构建技术。针对航天工控系统的可重构、高可信和自主知识产权产品缺乏的体系性重大问题，创建了航天可信双体系的物理层、链路层、逻辑层、行为层等四层架构的可重构工控系统方法，填补了可重构工控系统可信体系空白。 （2）工控系统正确性多层次组合检测验证技术。针对高实时核心控制器资源受限难以进行可信计算、可信无法完整验证的难题，提出了PLC代码、模型、规约和运行的统一形式化语义语法，以及组合检测方法，研发了轻量化可信验证技术，实现了高可信PLC系统正确性完整检测验证的重大突破。 （3）“可重构、互操作、自适应”的航天测发领域工控产业链技术。针对国内自主知识产权工控系统软硬件产业链缺失的核心问题，创建了工控产业链构建工程方法，建立了航天跨域控制中间件系统平台，解决了工控产品全产业链存在的断链和孤链问题，首次实现了全自主可控工控产品产业链有效贯通。 研制成功可重构高可信“超御”和“ZC/PCS”工控软硬件产品。获专利157项、软著269项、论文189篇、标准20项、专著1部、行业荣誉23项，受到IEEE工业电子技术委员会主席和领域内院士高度评价。航天系统部组织鉴定认为“该项目系统十分复杂，技术难度很大，整体技术水平居国内领先、国际先进。”经第三方权威评测，符合国产自主可控和国军标要求，与同类国外主流产品相比，在高可信、电磁兼容和环境适应性等技术指标具有显著优势。 该成果已在载人航天、北斗、探月、深空探测等重大航天工程中实现工控系统国产化替代，已连续可信运行5年。在国家和国防等十余个重点领域得到工程应用，解决了关键基础设施、重大装备的工控国产化替代“卡脖子”问题。该成果培育了中电智科、北特圣迪等成为国家和北京市专精特新“小巨人”企业，代表了北京国家创新中心组织国家工控领域科技工程建设跨区域、跨领域、产学研用技术协同创新的高度和方向，产生了重大的军事、社会、经济效益，影响深远。
关 闭