国家工程中心

“国家可信嵌入式软件工程技术研究中心”简称“国家工程中心”是以国家科技部、上海市科委为支持单位,中国电科32所和华东师范大学为依托单位,中国电科32所二级单位自主可控计算研究院为建设主体,并与华东师范大学软件学院联合共建的以可信嵌入式软件平台建设与工程应用为使命的国家级研究中心。

总体目标

      围绕国家科技发展战略与产业振兴规划的需求,结合长三角区域高新技术产业,形成能够指导行业的可信嵌入式软件行业规范与标准体系,实施面向可信嵌入式系统的形式化建模分析技术、系统设计与可信集成环境技术、可信度量体系与分析技术、仿真测试与验证评估技术等共性技术研究和平台开发,形成符合完整性等级SIL3要求的可信嵌入式基础软件产品体系,并研制面向轨道交通、汽车电子、核电控制、工业自动化、航空航天、军事电子装备等多项典型电子设备的解决方案,实施技术转让与推广、委托开发、技术咨询、产品测试与认证、人才培训与资格认证、企业资质认证等开放服务,以促进国家可信嵌入式软件技术成果共享与转化,为经济结构调整和产业升级提供工程技术支撑,提高重大装备自主可控率,推动高端装备行业全面发展。

主要建设内容

      行业标准及规范制定:针对可信嵌入式系统的特点,开发具有完备描述能力和抽象能力的可信嵌入式软件的设计、开发、集成与验证行业标准及规范体系;

      共性技术攻关:针对可信嵌入式的特点,研制嵌入式操作系统、通信协议、数据存储、运行监控管理及开发环境的可信设计、开发、集成与验证相关技术;

      体系化产品研制:研制和产品化系列可信嵌入式实时操作系统、可信通信协议栈和可信支撑工具:嵌入式系统建模工具、代码测试用例自动生成工具和软件可信度量评估工具;

      行业解决方案研发与应用:“国家工程中心”将与中国一汽、航天五院、中船重工、上海电气、中国电信、中国电科等企业及研究所进行紧密合作,形成行业解决方案,并进行成果的应用辐射。主要应用领域有:

(1)轨道交通运控系统

(2)汽车电子与新能源汽车领域

(3)核电控制及工业自动化控制系统

(4)航天控制系统

(5)军事电子装备

      开放服务提供:服务领域和内容包括技术转让与推广、技术咨询、产品测试与认证、人才培训与资格认证、企业资质认证等。