航空全产业链：整机、机载配套、软件工具、适航及研制服务等公开招采信息
十年回溯 · 2016-11-01 至 2026-11-01
共 219 条公告 · 按发布时间倒序
第 6 / 8 页软件需求形式化及形式化验证工具-结果公告 (招标编号： 0613-266025222068 ) 本 软件需求形式化及形式化验证工具 （招标项目编号： 0613-266025222068 ），确定 001 软件需求形式化及形式化验证工具： 的中标人如下： 一、中标人信息： 001软件需求形式化及形式化验证工具 中标人 中标价格 南京理工大学 282万元(人民币) 二、其他公告内容 / 三、监督部门 本招标项目的监督部门为 / 。
分享到 C929飞机航电软件编码与测试外协项目【重新招标】-公开招标公告 发布时间：2026-06-16 18:25:59 打印 已有账户，直接登录 没有账户，立即注册 C929飞机航电软件编码与测试外协项目【重新招标】-公开招标公告 (招标编号： ZC26G240035/2 ) 招标项目所在地区： 上海市 一、招标条件 本 C929飞机航电软件编码与测试外协项目【重新招标】 （招标项目编号： ZC26G240035/2 ），已由项目审批/核准/备案机关批准，项目资金来源为 国有资金 ，招标人为 中国商用飞机有限责任公司上海飞机设计研究院 。本项目已具备招标条件，现进行 公开招标 。 二、项目概况和招标范围 项目规模： 详见其他内容 。
C929飞机航电软件编码与测试外协项目-结果公告 (招标编号： ZC26G240035/2 ) 一、更正内容： / 二、其他公告内容 飞行管理软件测试包件投标单位不足3家，未开标 三、监督部门 本招标项目的监督部门为 中国商用飞机有限责任公司 。
招标公告 招标项目所在地区：陕西省西安市 1. 招标条件 本招标项目 综合处理机平台软件维护验证环境 （项目名称）的招标人为 中国航空工业集团公司西安航空计算技术研究所 ，招标项目资金 情况已落实 。该项目已具备招标条件，现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号：XHTC-HW-2026-0240 2.2 项目名称：综合处理机平台软件维护验证环境 2.3 数量：壹 套 2.4 技术规格： 综合处理机平台软件维护验证环境用于综合处理机配套的软件（引导、板级、操作系统、驱动软件、应用软件等）的综合维护，提供软件升级维护、设备管理、系统监控和智能维护等功能。 具体功能需求详见 “第五章供货要求”。 2.5 交货地点 ：西安航空计算技术研究所（用户现场指定地点）。
目标代码覆盖分析工具 中标候选人公示 （招标编号： 0730- 2611080360 /01 ） 公示结束 时间： 2026 年 6 月 22 日 一、评标情况 1 、中标候选人基本情况 中标候选人第 1 名： 西安中朗智控科技有限公司 ，投标报价：买方现场价（包含一切税费） 101.00 万元；交货期： 合同签订生效后 1 个月内交付基础版本 ；得分： 93.50 分；质量：满足招标文件要求；评标情况：合格；项目负责人： // ；资格能力条件：满足招标文件要求； 中标候选人第 2 名： 上海工业控制安全创新科技有限公司 ，投标报价：买方现场价（包含一切税费） 135.00 万元；交货期： 合同签订生效后 1 个月内交付基础版本 ；得分： 89.98 分；质量：满足招标文件要求；评标情况：合格；项目负责人： // ；资格能力条件：满足招标文件要求； 中标候选人第 3 名： 上海旋极智能科…
招标公告 招标项目所在地区：陕西省西安市 1. 招标条件 本招标项目 基于 UVM 的 TSN 交换逻辑仿真模型 （项目名称）的招标人为 中国航空工业集团公司西安航空计算技术研究所 ，招标项目资金 情况已落实 。该项目已具备招标条件，现进行国内公开招标。 2. 项目概况与招标范围 2.
招标公告 项目所在地区： 江苏 省， 扬州 市 1.招标条件 本招标项目 基于模型的代码生成工具（控制类） （项目名称） （项目编号： 0730-2611080547/02 ） 招标人为 中航机载系统共性技术有限公司 ，招标项目资金 已落实 。 本项目已具备招标条件，现对 基于模型的代码生成工具（控制类） （设备名称） 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 基于模型的代码生成工具（控制类） 。 2.2 设备名称： 基于模型的代码生成工具（控制类） 。 2.3 数量： 1套 。 2.4 招标文件简要 技术规格 ： 基于模型的代码生成工具 (控制类) 包含经过鉴定的代码生成器及工具鉴定包 ,支持从软件详细设计模型自动生成为产品代码，同时可满足软件适航审定中对于工具鉴定的要求。 控制类 软件详细设计模型包括基于数据流和状态机的行为逻辑模型。
招标公告 项目所在地区： 江苏 省， 扬州 市 1.招标条件 本招标项目 基于模型的验证工具（控制类） （项目名称） （项目编号： 0730-2611080547/03 ） 招标人为 中航机载系统共性技术有限公司 ，招标项目资金 已落实 。 本项目已具备招标条件，现对 基于模型的验证工具（控制类） （设备名称） 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 基于模型的验证工具（控制类） 。 2.2 设备名称： 基于模型的验证工具（控制类） 。 2.3 数量： 1套 。 2.4 招标文件简要 技术规格 ： 基于模型的验证工具（ 控制类 ）主要支持基于模型机载软件开发过程中的模型验证，为 DO-178C认证提供支持。
招标公告 项目所在地区： 江苏 省， 扬州 市 1. 招标条件 本招标项目 运行时错误检查工具 （项目名称）（项目编号： 0747-2660SCCZE267 ）招标人为 中航机载系统共性技术有限公司 ，招标项目资金已落实。本项目已具备招标条件，现对 运行时错误检查工具 （设备名称）采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 运行时错误检查工具 。 2.2 设备名称： 运行时错误检查工具 。 2.3 数量： 1 套 。 2.4 招标文件简要技术规格： 运行时错误检查工具是一个基于抽象解释的静态验证工具，通过语义分析技术对程序进行分析，以数学证明级别的可靠性（无漏报），自动验证软件中是否存在除零、溢出、空指针解引用、数组越界等运行时错误，并可通过参数化配置实现零误报。 2.5 交货期： 合同签订生效后 1 个月内 交付基础版本 。
招标公告 项目所在地区： 江苏 省， 扬州 市 1.招标条件 本招标项目 基于模型的验证工具（显示类） （项目名称） （项目编号： 0730-2611080548/03 ） 招标人为 中航机载系统共性技术有限公司 ，招标项目资金 已落实 。 本项目已具备招标条件，现对 基于模型的验证工具（显示类） （设备名称） 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 基于模型的验证工具（显示类） 。 2.2 设备名称： 基于模型的验证工具（显示类） 。 2.3 数量： 1套 。 2.4 招标文件简要 技术规格 ： 基于模型的验证工具（ 显示类 ）主要支持基于模型机载软件开发过程中的模型验证，为 DO-178C认证提供支持。
招标公告 项目所在地区： 江苏 省， 扬州 市 1.招标条件 本招标项目 基于模型的代码生成工具（显示类） （项目名称） （项目编号： 0730-2611080548/02 ） 招标人为 中航机载系统共性技术有限公司 ，招标项目资金 已落实 。 本项目已具备招标条件，现对 基于模型的代码生成工具（显示类） （设备名称） 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 基于模型的代码生成工具（显示类） 。 2.2 设备名称： 基于模型的代码生成工具（显示类） 。 2.3 数量： 1套 。 2.4 招标文件简要 技术规格 ： 基于模型的代码生成工具（ 显示类 ）包含经过鉴定的代码生成器及工具鉴定包 ,支持从软件详细设计模型自动生成为产品代码和配置文件，同时可满足软件适航审定中对于工具鉴定的要求。
招标公告 项目所在地区： 江苏 省， 扬州 市 1.招标条件 本招标项目 FPGA设计仿真分析工具 （项目名称） （项目编号： 0730-2611080542/01 ） 招标人为 中航机载系统共性技术有限公司 ，招标项目资金 已落实 。 本项目已具备招标条件，现对 FPGA设计仿真分析工具 （设备名称） 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： FPGA设计仿真分析工具 。 2.2 设备名称： FPGA设计仿真分析工具 。 2.3 数量： 1套 。 2.4 招标文件简要 技术规格 ： 形成 FPGA集成电路全流程设计验证能力，满足机载提升计划专用组件的先期研发、早期验证、预先评估验证的总体要求 。 （ 1）代码规则检查工具： 可用于对 FPGA设计做语法和语义的检查;包含HDL代码及设计规则检查工具，包含DO-254规范的规则集、RMM规则集等。。
软件需求形式化及形式化验证工具-中标候选人公示 (招标编号： 0613-266025222068 ) 公示开始时间： 2026年05月29日21时00分00秒 公示结束时间： 2026年06月01日23时59分59秒 本 软件需求形式化及形式化验证工具 （招标项目编号： 0613-266025222068 ）经评标委员会评审，确定 001 软件需求形式化及形式化验证工具 的中标候选人，现公示如下： 一、评标情况 001软件需求形式化及形式化验证工具 1、中标候选人基本情况 排序 中标候选人名称 投标报价 质量 工期/交货期 1 南京理工大学 282万元(人民币) 合格 项目合同签订15天内完成方案评审，1个月内完成 工具到货验收，3个月内 完成工具安装调试，12个 月内完成项目交付验收。
项目所在地区：江苏省，无锡市 1. 招标条件 本招标项目 基于DO-331的综合监视嵌入式软件MBD工具集 （项目编号：5492-2660H01JS011/01）招标人为 中国航空工业集团公司雷华电子技术研究所 ，招标项目资金已落实。本项目已具备招标条件，现对 基于DO-331的综合监视嵌入式软件MBD工具集 进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 基于DO-331的综合监视嵌入式软件MBD工具集 。 2.2 系统名称： 基于DO-331的综合监视嵌入式软件MBD工具集 。 2.3 数量： 1套 。 2.4 招标文件简要技术规格： （1）提供不少于10个浮动Licence，在甲方提供的专用机器上部署licence服务 （2）支持C/C++代码的编译和运行 更多要求详见招标文件。
招标公告 招标项目所在地区：陕西省西安市 1. 招标条件 本招标项目 任务供电管理子系统集成验证平台 （项目名称）的招标人为 中国航空工业集团公司西安航空计算技术研究所 ，招标项目资金 情况已落实 。该项目已具备招标条件，现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号： XHTC-HW-2026-0560 2.2 项目名称：任务供电管理子系统集成验证平台 2.3 数量：壹套 2.4 技术规格： 建立机载能量管理网络及任务供电管理子系统集成验证平台，建立分级多层控制系统，实现分布供配电管理。实现复杂飞行环境、高动态负载下子系统任务供配电与能量综合管理优化控制策略验证，支持自动化测试与报告生成功能。为机载任务供电管理系统、供配电单元的研制提供支撑。 验证平台支持被测件的调试、试验、验证、仿真和软件测试工作。 具体功能需求详见 “第五章供货要求”。
分享到 C929飞机航电软件编码与测试外协项目-公开招标公告 发布时间：2026-05-22 18:15:51 打印 已有账户，直接登录 没有账户，立即注册 C929飞机航电软件编码与测试外协项目-公开招标公告 (招标编号： ZC26G240035/4 ) 招标项目所在地区： 上海市 一、招标条件 本 C929飞机航电软件编码与测试外协项目 （招标项目编号： ZC26G240035/4 ），已由项目审批/核准/备案机关批准，项目资金来源为 国有资金 ，招标人为 中国商用飞机有限责任公司上海飞机设计研究院 。本项目已具备招标条件，现进行 公开招标 。 二、项目概况和招标范围 项目规模： 详见其他内容 。
分享到 C929飞机航电软件编码与测试外协项目-公开招标公告 发布时间：2026-05-22 18:15:13 打印 已有账户，直接登录 没有账户，立即注册 C929飞机航电软件编码与测试外协项目-公开招标公告 (招标编号： ZC26G240035/1 ) 招标项目所在地区： 上海市 一、招标条件 本 C929飞机航电软件编码与测试外协项目 （招标项目编号： ZC26G240035/1 ），已由项目审批/核准/备案机关批准，项目资金来源为 国有资金 ，招标人为 中国商用飞机有限责任公司上海飞机设计研究院 。本项目已具备招标条件，现进行 公开招标 。 二、项目概况和招标范围 项目规模： 详见其他内容 。
分享到 C929飞机航电软件编码与测试外协项目-公开招标公告 发布时间：2026-05-22 18:14:36 打印 已有账户，直接登录 没有账户，立即注册 C929飞机航电软件编码与测试外协项目-公开招标公告 (招标编号： ZC26G240035/3 ) 招标项目所在地区： 上海市 一、招标条件 本 C929飞机航电软件编码与测试外协项目 （招标项目编号： ZC26G240035/3 ），已由项目审批/核准/备案机关批准，项目资金来源为 国有资金 ，招标人为 中国商用飞机有限责任公司上海飞机设计研究院 。本项目已具备招标条件，现进行 公开招标 。 二、项目概况和招标范围 项目规模： 详见其他内容 。
分享到 C929飞机航电软件编码与测试外协项目-公开招标公告 发布时间：2026-05-22 18:13:50 打印 已有账户，直接登录 没有账户，立即注册 C929飞机航电软件编码与测试外协项目-公开招标公告 (招标编号： ZC26G240035/2 ) 招标项目所在地区： 上海市 一、招标条件 本 C929飞机航电软件编码与测试外协项目 （招标项目编号： ZC26G240035/2 ），已由项目审批/核准/备案机关批准，项目资金来源为 国有资金 ，招标人为 中国商用飞机有限责任公司上海飞机设计研究院 。本项目已具备招标条件，现进行 公开招标 。 二、项目概况和招标范围 项目规模： 详见其他内容 。
招标公告 项目所在地区： 江苏 省， 扬州 市 1.招标条件 本招标项目 目标代码覆盖分析工具 （项目名称） （项目编号： 0730-2611080360/01 ） 招标人为 中航机载系统共性技术有限公司 ，招标项目资金 已落实 。 本项目已具备招标条件，现对 目标代码覆盖分析工具 （设备名称） 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 目标代码覆盖分析工具 。 2.2 设备名称： 目标代码覆盖分析工具 。 2.3 数量： 1套 。
需求管理系统项目招标公告 需求管理系统项目 已具备招标条件，现对本项目进行国内公开招标。 1.招标 项目简介 1.1项目名称： 需求管理系统项目 1.2项目编号： 0701-264704260133 1.3招标人： 中航飞机起落架有限责任公司 1. 4 招标代理机构： 中技国际招标有限公司 1.5资金落实 情况 ： 国拨资金 1. 6 采购方式： 公开招标 2.招标范围及合作期限 2.1招标范围： 需求管理系统项目 2.2分包情况、最高投标限价及其他要求： 包号 包名称 数量 最高投标限价（万元） 交货期 交货地点 质保期 01 需求管理系统 1套 53.65万元 合同签订后 1.5个月 湖南长沙望城经济开发区航空路 1号 17个月 备注 若投标 报价 高于最高限价，投标文件将被否决。 3.投标人资格要求 3.1 资质要求： 在中华人民共和国境内注册，为独立法人或其他组织。
嵌入式软件测试套件 中标 结果 公示 （招标编号： 0730-2611080302/01 ） 一、中标人信息 中标人： 上海创景信息科技股份有限公司 中标价格： 420.00 万元 二、其他： / 三、监督部门 本招标项目的监督部门为中国航空工业集团有限公司。 四、联系方式（含异议受理人） 招标人：中航机载系统共性技术有限公司 地址：扬州市广陵区广陵新城江苏信息服务产业基地内 28号楼11层 联系人：陈经理 电话： 18662369269 邮箱： chenyl123@avic.com 招标代理机构：中航招采科技（北京）有限公司 地址：北京市朝阳区慧忠路 5号远大中心B座14/20层 联系人：李先生、周先生 电话： 010-84892593、13870402923 邮箱： liw154@avic.com
1. 招标条件 本招标项目 飞控系统软件多级别综合验证设备 的招标人为 中国航空工业集团公司西安飞行自动控制研究所 。该项目已具备招标条件，现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号： ZC26G280082 2 .2 项目名称：飞控系统软件多级别综合验证设备 2.3 数量： 1 套 2.4 技术规格：飞控系统软件多级别综合验证设备用于多余度非相似飞控系统软件的功能与安全性测试验证。设备提供多余度非相似硬件系统，支持跨通道的时间同步与交叉传输，部署神机（ TTOS ）嵌入式实时操作系统，支撑飞控系统软件运行，实现部件级、配置项级软件测试用例注入与结果观测、飞控系统外围设备仿真、飞控系统软件内部故障激励等功能 。 2.5 交货地点：中国航空工业集团公司西安飞行自动控制研究所。 2.6 交货期：合同签订后 4 个月内完成项目交付。 3.
需求管理系统适配改造招标公告 1. 招标条件 需求管理系统适配改造（招标编号：0613-266025281474） 采购的招标人为 中国商用飞机有限责任公司上海飞机设计研究院 （以下简称“招标人”），资金来源为 自筹， 出资比例为 100% ，目前已具备招标条件。 上海机电设备招标有限公司 （以下称“招标代理机构”）受招标人委托，现对本项目进行公开招标，在此欢迎中华人民共和国境内的合格投标人参加投标。 招标采购内容 本次采购内容，详见下表。 序号 名称 数量 简要技术参数 1 需求管理系统适配改造 1套 详见招标文件第六章 项目规模：投标人应根据招标人提出的技术要求，完成需求管理系统适配改造的开发、测试、安装、试运行及运维工作，配合招标人按规定完成其验收工作，并最终交予招标人使用； 招标范围：需求管理系统适配改造； 交货地点：上海飞机设计研究院（上海市浦东新区金科路5188号）。
1. 招标条件 本招标项目 飞控系统软件多级别综合验证设备 的招标人为 中国航空工业集团公司西安飞行自动控制研究所 。该项目已具备招标条件，现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号： ZC26G280082 2 .2 项目名称： 飞控系统软件多级别综合验证设备 2.3 数量： 1 套 2.4 技术规格：飞控系统软件多级别综合验证设备用于多余度非相似飞控系统软件的功能与安全性测试验证。 设备提供多余度非相似硬件系统，支持跨通道的时间同步与交叉传输，部署神机（ TTOS ）嵌入式实时操作系统，支撑飞控系统软件运行，实现部件级、配置项级软件测试用例注入与结果观测、飞控系统外围设备仿真、飞控系统软件内部故障激励等功能 。 2.5 交货地点：中国航空工业集团公司西安飞行自动控制研究所。 2.6 交货期：合同签订后 4 个月内完成项目交付。 3.
嵌入式软件测试套件 中标候选人公示 （招标编号： 0730-2611080302/01 ） 公示结束时间： 202 6 年 5 月 15 日 一、评标情况 1、中标候选人基本情况 中标候选人第 1名： 上海创景信息科技股份有限公司 ，投标报价： 买方现场价（包含一切税费） 420.00 万元 ；交货期： 合同签订生效后 1个月内交付 ；得分： 96.70 分；质量：满足招标文件要求；评标情况：合格；项目负责人： //；资格能力条件：满足招标文件要求； 中标候选人第 2名： 湖南泛联新安信息科技有限公司 ， 投标报价： 买方现场价（包含一切税费） 456.00 万元 ；交货期： 合同签订生效后 1个月内交付 ； 得分： 95.47 分；质量：满足招标文件要求；评标情况：合格；项目负责人： //；资格能力条件：满足招标文件要求； 中标候选人第 3 名： 上海工业控制安全创新科技有限公司 ，…
一、中标人信息： 标段 (包)[ 001 ]结构覆盖率测试工具: 中标人：上海工业控制安全创新科技有限公司 中标价格： 138.0000 万元 二、其他： 结构覆盖率测试工具中标候选人公示期已结束。 三、监督部门 本招标项目的监督部门为太原航空仪表有限公司 。
软件需求形式化及形式化验证工具招标公告 1. 招标条件 软件需求形式化及形式化验证工具（招标编号：0613-266025222068） 采购的招标人为 中国商用飞机有限责任公司上海飞机设计研究院 （以下简称“招标人”），资金来源为 自筹， 出资比例为 100% ，目前已具备招标条件。 上海机电设备招标有限公司 （以下称“招标代理机构”）受招标人委托，现对本项目进行公开招标，在此欢迎中华人民共和国境内的合格投标人参加投标。 招标采购内容 本次采购内容，详见下表。
软件需求形式化及形式化验证工具招标公告 1. 招标条件 软件需求形式化及形式化验证工具（招标编号：0613-266025222068） 采购的招标人为 中国商用飞机有限责任公司上海飞机设计研究院 （以下简称“招标人”），资金来源为 自筹， 出资比例为 100% ，目前已具备招标条件。 上海机电设备招标有限公司 （以下称“招标代理机构”）受招标人委托，现对本项目进行公开招标，在此欢迎中华人民共和国境内的合格投标人参加投标。 招标采购内容 本次采购内容，详见下表。
工程数据与构型管理软件升级-结果公告 (招标编号： 0613-266025281112 ) 本 工程数据与构型管理软件升级 （招标项目编号： 0613-266025281112 ），确定 001 工程数据与构型管理软件升级： 的中标人如下： 一、中标人信息： 001工程数据与构型管理软件升级 中标人 中标价格 上海航空工业（集团）有限公司 980万元(人民币) 二、其他公告内容 / 三、监督部门 本招标项目的监督部门为 / 。
汇总航空技术采购，覆盖整机研制、机载配套、发动机、材料工艺、软件仿真、试验验证、适航服务及航空维修技术。按采购标的和技术要求筛选，排除食品餐饮、保洁物业、办公福利和纯土建；政府采购、公共资源交易、阳光采购、企业和高校院所公告持续补档。
十年窗口内保留历史公告，公示结束不自动移除。候选人公示与最终中标分别列示；采购意向不代表已招标，中标不代表已签约或交付。排名按正文中明确识别的单位名和公告数量统计。截止时间、预算、资格及更正以原公告为准；暂不代表全网完整覆盖。