跳到正文

招投标信息汇总

航空全产业链:整机、机载配套、软件工具、适航及研制服务等公开招采信息

十年回溯 · 2016-10-31 至 2026-10-31

重置筛选

共 445 条公告 · 按发布时间倒序

第 3 / 15 页
招标采购www.eavic.com

深圳市南航电子工业有限公司Y/XYJ-71C备份飞行显示器综合处理软件SOI#3软件测试验证招标公告

1. 招标条件 本招标项目 Y/XYJ-71C备份飞行显示器综合处理软件SOI#3软件测试验证 招标人为 深圳市南航电子工业有限公司 。该项目已具备招标 条件,现对 Y/XYJ-71C备份飞行显示器综合处理软件SOI#3软件测试验证 项目进行国内公开招标。 2. 项目概况与招标范围 2.1项目名称:Y/XYJ-71C备份飞行显示器综合处理软件SOI#3软件测试验证 2.2数量:1项 2.3主要要求: 某型号 Y/XYJ-71C备份飞行显示器适航软件验证工作和工具鉴定工作。 更多指标详见第五章服务要求。 2.4服务地点: 深圳市南航电子工业有限公司。 2.5服务期限:自合同签订生效之日起130天。 3.

适航及适航服务验证工具机载系统与配套软件与工程工具
招标采购www.365trade.com.cn

FPGA高速实时并行处理验证设备-公开招标公告

FPGA 高速实时并行处理验证设备项目 招标公告 1.招标条件 本招标项目 FPGA高速实时并行处理验证设备项目 (项目名称)招标人为 北京航天长征飞行器研究所 ,招标项目资金来自 国拨和自筹资金 (资金来源),出资比例为 100% 。该项目已具备招标条件,现对 FPGA高速实时并行处理验证设备项目 (项目名称)进行公开招标。 2.项目概况与招标范围 2.1 项目名称:FPGA高速实时并行处理验证设备项目 2.2 招标编号:ZC26G220348 2.3 数量:1套 2.4主要用途: 本项目以大规模 FPGA 软件快速原型验证为需求,研制 FPGA 软件高速实时并行处理验证设备。建立完善的 FPGA 软件仿真加速能力,包含仿真加速硬件平台与相关配套软件,实现被仿真模型的 HDL 代码自动生成、激励信号的动态输入与修改以及仿真数据波形实时观测等功能,最终提高算法模型验证效率。

测试仿真台验证工具软件与工程工具研制设计与技术服务
招标采购www.eavic.com

基于模型的OHMS显示软件逻辑开发验证工具招标公告

基于模型的 OHMS 显示软件逻辑开发验证工具招标公告 (项目编号: 0730-2611010469/01 ) 项目所在地区:陕西省,西安市 1. 招标条件 本招标项目 基于模型的OHMS显示软件逻辑开发验证工具 (项目名称) (项目编号: 0730-2611010469/01 ) 招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金已落实。本项目已具备招标条件,现对 基于模型的OHMS显示软件逻辑开发验证工具 (设备名称)采购进行公开招标。 2.

测试仿真台验证工具软件与工程工具研制设计与技术服务
招标采购www.eavic.com

第三方软件检测和驻留平台验证环境招标公告

第三方软件检测和驻留平台验证环境招标公告 (项目编号: 0730-2611010466/01 ) 项目所在地区:陕西省,西安市 1. 招标条件 本招标项目 第三方软件检测和驻留平台验证环境 (项目名称) (项目编号: 0730-2611010466/01 ) 招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金已落实。本项目已具备招标条件,现对 第三方软件检测和驻留平台验证环境 (设备名称)采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 第三方软件检测和驻留平台验证环境 2.2 设备名称: 第三方软件检测和驻留平台验证环境 2.3 数量: 壹套 2.4 招标文件简要技术规格: 组成:第三方软件检测和驻留平台验证环境由第三方软件检测工具、第三方软件地面管理软件、驻留平台负载仿真软件、驻留平台功能验证工具、驻留平台性能和安全验证工具、测试可视化显示设备组成。

测试仿真台验证工具软件与工程工具
招标采购www.eavic.com

工艺设计和管理平台项目招标公告

招标公告 项目所在地区: 江苏 省, 扬州 市 1.招标条件 本招标项目 工艺设计和管理平台 (项目名称) (项目编 号: 0730-2611080749/01 ) 招标 人为 中航机载系统共性技术有限公司 ,招标项目资金 已落实 。 本项目已具备招标条件,现对 工艺设计和管理平台 (设备名称) 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 工艺设计和管理平台 。 2.2 设备名称: 工艺设计和管理平台 。 2.3 数量: 1套 。 2.4 招标文件简要 技术规格 : 工艺设计及管理平台包括 8个功能模块,分别为: ( 1)工艺设计软件; ( 2)产品设计和工艺设计协同组件; ( 3)材料消耗定额管理组件; ( 4)工时定额管理组件; ( 5)现场单据协同组件; ( 6)工艺构型管理组件; ( 7)基于知识的智能工艺审查工具; ( 8)工艺设计和管理平台集成接口。 2.

验证工具机载系统与配套软件与工程工具
招标采购www.eavic.com

需求构型管理、系统管理、系统集成模块招标公告

需求构型管理、系统管理、系统集成模块招标公告 (项目编号: 0730-2611010480/01 ) 项目所在地区:陕西省,西安市 1. 招标条件 本招标项目 需求构型管理、系统管理、系统集成模块 (项目编号: 0730-2611010480/01 ) 招标人为 中国航空工业集团公司西安飞行自动控制研究所 ,招标项目资金已落实。本项目已具备招标条件,现对 需求构型管理、系统管理、系统集成模块 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 需求构型管理、系统管理、系统集成模块 2.2 设备名称: 需求构型管理、系统管理、系统集成模块 2.3 数量: 壹套 2.4 招标文件简要技术规格: 1) 需求构型管理:支持需求模块版本及基线功能、条目化需求变更管理、需求版本基线与构型管理相集成及需求条目化评审能力。

验证工具研制设计与技术服务
招标采购www.aecc-mall.com

高速信号系统仿真验证工具项目公告

中国航发控制系统研究所高速信号系统仿真验证工 具招标公告 (招标编号: GKHF-0126BH265 ) 项目所在地区: 江苏省 一、招标条件 本 高速信号系统仿真验证工具 已由项目审批 /核准/备案机关批准,项目资金来源为 其他资金国拨,出资比例为 100%, 招标人为 中国航发控制系统研究所 。本项目已备招标条件, 现招标方式为 公开招标 。 二、项目概况和招标范围 规模: 高速信号系统仿真验证工具 范围:本招标项目划分为 1 个标段,本次招标为其中的: (001)高速信号系统仿真验证工具; 三、投标人资格要求 (001 高速信号系统仿真验证工具 )的投标人资格能力要求: 3.1 投标人须具备以下资格条件,并具有与本招标项目相应的供货能力。

测试仿真台验证工具发动机与推进能源软件与工程工具
招标采购www.eavic.com

工具链集成协同系统项目公告

1. 招标条件 本招标项目工具链集成协同系统招标人为中航机载系统有限公司。该项目已具备招标条件,现对工具链集成协同系统项目进行国内公开招标。 2. 项目概况与招标范围 2.1项目名称:工具链集成协同系统 2.2数量:1套 2.3主要要求: 工具链集成协同系统是完成机载系统一体化智能设计平台集成与应用验证的重要支撑环境,是机载系统一体化正向研发的数据中枢。通过与需求管理工具、架构设计工具(M-Design)、通质设计工具(SEMERIA)、体系仿真工具(AFSIM)、系统仿真工具(MWorks)和试验规划系统的集成,工具链集成协同系统打通了从需求、设计、分析到验证的全过程数字链路,实现跨系统的数据自动、准确流转,确保全生命周期数据的可追溯性;实现需求驱动的设计任务分发、设计变更的影响分析与推送以及验证结果的反馈与迭代、实现基于领域知识库、公共组件库、智能算法服务的协同研发能力提升。

采购人/招标人
中航机载系统有限公司
测试仿真台验证工具机载系统与配套软件与工程工具研制设计与技术服务
招标采购csbidding.csair.cn

珠海翔翼2026年计算机软件著作权代理及软件测试服务采购项目询比采购公告

中国南航集团进出口贸易有限公司(以下简称 “ 采购 代理机构 ”)受 珠海翔翼航空技术有限公司 (以下简称 “采购人”)的委托, 现对珠海翔翼 2026年计算机软件著作权代理及软件测试服务采购项目进行 询比 采购。 1、项目简介 1.1 项目名称: 珠海翔翼 2026年计算机软件著作权代理及软件测试服务采购项目 。 1.2 项目 编号: CZ2025010185。 1.3 项目类别: 服务类 。 1.4 资金来源:企业自筹资金; 1.5 项目 内容、数量、限价或预算: 序号 采购内容 预估 采购数量 (单位: 项 ) 单价限价 (单位: 元 ,人民币 ) 总价限价 (单位: 元 ,人民币 ) 备注 1 计算机软件著作权代理咨询服务 118 400.00 47,200.00 协助 采购人 进行计算机软件著作权申请材料的修订、整理和全流程申请,直至获得授权证书。

验证工具试验验证服务软件与工程工具机场空管与基础设施
招标采购caigou.ceair.com

江苏同轴电缆测试工具

询比公告 1. 采购内容 1.1 采购项目名称: 江苏同轴电缆测试工具 1.2 采购范围与说明: 1、同轴电缆测试工具,详见采购文件,符合项目要求的,报价最低的供应商为拟成交供应商。 2、中标方不能以任何理由拒绝正常订单配送,若发生则取消其下次竞价资格。情况恶劣,则将列入我司黑名单。 3、如参加报名供应商少于3家,此次询价无效,为保证各供应商商业秘密,本公司不会解密各供应商报价,直接终止询价。 4、若多家供应商以同等价格中标,则取响应文件递交时间第一位的为最终且唯一中标供应商。 5、单位负责人为同一人或者存在控股、管理关系的不同单位,不得同时参加本项目投标。 6、交货地点:东方航空技术有限公司江苏分公司/交货期限2026年9月30。

验证工具
招标采购www.eavic.com

招标公告

招标公告 项目所在地区:上海市 1. 招标条件 本招标项目 飞行管理系统红标装机件 AS3.3 版性能计算管理、轨迹预测与垂直引导软件测试 (项目名称) (项目编号: 0730-2611080709/01) 招标人为 中国航空无线电电子研究所 , 招标项目资金已落实, 该项目已具备招标条件,现对 飞行管理系统红标装机件 AS3.3 版性能计算管理、轨迹预测与垂直引导软件测试 (设备名称)进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 飞行管理系统红标装机件 AS3.3 版性能计算管理、轨迹预测与垂直引导软件测试 。 2.2 设备名称: 飞行管理系统红标装机件 AS3.3 版性能计算管理、轨迹预测与垂直引导软件测试 。 2.3 数量: 1 套 2. 4 招标文件简要 技术规格 : 用于飞行管理系统红标装机件 AS3.3版性能计算管理、轨迹预测与垂直引导软件测试 。

验证工具软件与工程工具
招标采购www.365trade.com.cn

飞控专用高完整性总线模块验证环境-公开招标公告

招标公告 1. 招标条件 本招标项目飞控专用高完整性总线模块验证环境招标人为中国航空工业集团公司西安飞行自动控制研究所,招标项 目资金 已落实 。 该 项目 已 具 备 招 标 条件,现对飞控专用高完整性总线模块验证环境采购进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号:ZKX20260341A048 2.2 招标 项目 名 称:飞控专用高完整性总线模块验证环境 2.3 数 量: 壹套 2.4 设备用途及系统组成: 设备用途:该环境用于飞控系统对外或飞控系统内高完整性数据交互需求,其中ARINC664网络用于系统对外设备通信、ISB/OAB总线用于系统间通信,该验证环境为验证ARINC664网络、ISB/OAB总线通信中的功能和性能以及在故障情况下数据通信的情况。

验证工具机载系统与配套
招标采购www.365trade.com.cn

适航管理系统-公开招标公告

招标公告 1. 招标条件 本招标项目 适航管理系统 招标人为 中电科西北集团有限公司 ,招标项目资金已落实。该项目已具备招标条件 ,现对 适航管理系统 进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号:ZKX20260455A004 2.2 招标 项目 名 称: 适航管理系统 。

适航及适航服务验证工具研制设计与技术服务
招标采购www.eavic.com

飞控专用高完整性总线模块验证环境项目公告

1. 招标条件 本招标项目飞控专用高完整性总线模块验证环境招标人为中国航空工业集团公司西安飞行自动控制研究所,招标项 目资金 已落实 。 该 项目 已 具 备 招 标 条件,现对飞控专用高完整性总线模块验证环境采购进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号: ZKX20260341A048 2.2 招标 项目 名 称:飞控专用高完整性总线模块验证环境 2.3 数 量: 壹套 2.4 设备用途及系统组成: 设备用途:该环境用于飞控系统对外或飞控系统内高完整性数据交互需求,其中 ARINC664网络用于系统对外设备通信、ISB/OAB总线用于系统间通信,该验证环境为验证ARINC664网络、ISB/OAB总线通信中的功能和性能以及在故障情况下数据通信的情况。

验证工具机载系统与配套
招标采购www.eavic.com

运行时错误检查工具招标公告

招标公告 项目所在地区: 江苏 省, 扬州 市 1. 招标条件 本招标项目 运行时错误检查工具 (项目名称)(项目编号: 0747-2660SCCZE331 )招标人为 中航机载系统共性技术有限公司 ,招标项目资金已落实。本项目已具备招标条件,现对 运行时错误检查工具 (设备名称)采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 运行时错误检查工具 。 2.2 设备名称: 运行时错误检查工具 。 2.3 数量: 1 套 。 2.4 招标文件简要技术规格: 运行时错误检查工具是一个基于抽象解释的静态验证工具,通过语义分析技术对程序进行分析,以数学证明级别的可靠性(无漏报),自动验证软件中是否存在除零、溢出、空指针解引用、数组越界等运行时错误,并可通过参数化配置实现零误报。 2.5 交货期: 合同签订生效后 1 个月内 交付基础版本 。

验证工具机载系统与配套软件与工程工具
招标采购www.365trade.com.cn

系统半物理集成开发装置升级优化-公开招标公告

系统半物理集成开发装置升级优化 招标公告 日 期:2026年07月15日 招标编号:ZC26GSH0067 中招工业发展(北京)有限公司受招标人委托,就系统半物理集成开发装置升级优化项目组织国内公开招标。现邀请合格投标人就下述招标内容提交密封的投标。 招标项目名称、数量:系统半物理集成开发装置升级优化,1套。 供货和服务范围: 对现有的两台半物理装置进行升级优化,包括对装置硬件设备进行优化设计、选型、制造和接口测试,对配套的测试验证工具进行开发和优化升级,对随设备的文件材料进行交付,对装置进行组装和调试。详见 第四章服务需求及技术规格 。

测试仿真台验证工具航空整机与机体
招标采购www.eavic.com

基于模型的代码生成工具(显示类)项目招标公告

招标公告 1.招标条件 本招标项目 基于模型的代码生成工具(显示类) (项目名称) (项目编号: 0730-2611080681/02 ) 招标人为 中航机载系统共性技术有限公司 ,招标项目资金 已落实 。 本项目已具备招标条件,现对 基于模型的代码生成工具(显示类) (设备名称) 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 基于模型的代码生成工具(显示类) 。 2.2 设备名称: 基于模型的代码生成工具(显示类) 。 2.3 数量: 1套 。 2.4 招标文件简要 技术规格 : 基于模型的代码生成工具( 显示类 )包含经过鉴定的代码生成器及工具鉴定包 ,支持从软件详细设计模型自动生成为产品代码和配置文件,同时可满足软件适航审定中对于工具鉴定的要求。

适航及适航服务验证工具机载系统与配套软件与工程工具
招标采购www.eavic.com

基于模型的验证工具(显示类)项目招标公告

招标公告 项目所在地区: 江苏 省, 扬州 市 1.招标条件 本招标项目 基于模型的验证工具(显示类) (项目名称) (项目编号: 0730-2611080681/03 ) 招标人为 中航机载系统共性技术有限公司 ,招标项目资金 已落实 。 本项目已具备招标条件,现对 基于模型的验证工具(显示类) (设备名称) 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 基于模型的验证工具(显示类) 。 2.2 设备名称: 基于模型的验证工具(显示类) 。 2.3 数量: 1套 。 2.4 招标文件简要 技术规格 : 基于模型的验证工具( 显示类 )主要支持基于模型机载软件开发过程中的模型验证,为 DO-178C认证提供支持。

适航及适航服务验证工具机载系统与配套软件与工程工具
招标采购www.eavic.com

招标公告

招标公告 招标项目所在地区:陕西省西安市 1. 招标条件 本招标项目 航电处理资源软件测试验证环境 (项目名称)的招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金 情况已落实 。该项目已具备招标条件,现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号:XHTC-HW-2026-0749 2.2 项目名称:航电处理资源软件测试验证环境 2.3 数量:壹套 2.4 技术规格: 航电核心处理资源软件测试验证环境用于 IMA 平台红标件验证阶段,针对航电处理资源软件开展功能性测试,用于健康管理、网络时间管理、支持维护等软件的高层需求验证,支撑软件及适航符合性验证活动。

适航及适航服务测试仿真台验证工具试验验证服务机载系统与配套软件与工程工具
招标采购www.shbid.com

工具软件适航技术咨询-公开招标公告

工具软件适航技术咨询招标公告 1. 招标条件 工具软件适航技术咨询(招标编号: 0613-266035283363 ) 采购的招标人为 中国商用飞机有限责任公司上海飞机设计研究院 (以下简称 “ 招标人 ” ),资金来源为 国拨, 出资比例为 100% ,目前已具备招标条件。 上海机电设备招标有限公司 (以下称 “ 招标代理机构 ” )受招标人委托,现对本项目进行公开招标,在此欢迎中华人民共和国境内的合格投标人参加投标。 招标采购内容 本次采购内容,详见下表。

适航及适航服务验证工具试验验证服务航空整机与机体软件与工程工具研制设计与技术服务
招标采购www.eavic.com

招标公告

招标公告 招标项目所在地区:陕西省西安市 1. 招标条件 本招标项目 民机机载计算机软件验证过程监控分析工具 (项目名称)的招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金 情况已落实 。该项目已具备招标条件,现进行国内公开招标。 2.

验证工具机载系统与配套软件与工程工具
招标采购www.eavic.com

招标公告

招标公告 招标项目所在地区:陕西省西安市 1. 招标条件 本招标项目 信息系统软件测试验证环境 (项目名称)的招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金 情况已落实 。该项目已具备招标条件,现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号: XHTC-HW-2026-0752 2.2 项目名称:信息系统软件测试验证环境 2.3 数量:壹套 2.4 技术规格: 信息系统软件测试验证环境用于对驻留在 GIPC 内各组成模块上的软件进行测试验证,为单模块软硬件集成测试提供测试环境,用于支持软件级高层需求、低层需求测试,提供适航符合性证据。 具体功能需求详见 “第五章供货要求”。 2.5 交货地点 :西安航空计算技术研究所(用户现场指定地点)。

适航及适航服务验证工具试验验证服务软件与工程工具
招标采购www.eavic.com

招标公告

招标公告 招标项目所在地区:陕西省西安市 1. 招标条件 本招标项目 信息系统专用软件内存性能分析工具 (项目名称)的招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金 情况已落实 。该项目已具备招标条件,现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号: XHTC-HW-2026-0753 2.2 项目名称:信息系统专用软件内存性能分析工具 2.3 数量:壹套 2.4 技术规格: 信息系统专用软件内存性能分析工具用于信息系统红标试验验证阶段软件验证活动中的内存性能分析,安全性评估,以及适航符合性验证活动中的堆栈分析,提供满足 DO-178C 和 DO-356A 的软件验证适航符合性证据。

适航及适航服务验证工具试验验证服务软件与工程工具
招标采购www.365trade.com.cn

C929飞机航电软件编码与测试外协项目【重新招标】-公开招标公告

分享到 C929飞机航电软件编码与测试外协项目【重新招标】-公开招标公告 发布时间:2026-06-16 18:25:59 打印 已有账户,直接登录 没有账户,立即注册 C929飞机航电软件编码与测试外协项目【重新招标】-公开招标公告 (招标编号: ZC26G240035/2 ) 招标项目所在地区: 上海市 一、招标条件 本 C929飞机航电软件编码与测试外协项目【重新招标】 (招标项目编号: ZC26G240035/2 ),已由项目审批/核准/备案机关批准,项目资金来源为 国有资金 ,招标人为 中国商用飞机有限责任公司上海飞机设计研究院 。本项目已具备招标条件,现进行 公开招标 。 二、项目概况和招标范围 项目规模: 详见其他内容 。

适航及适航服务验证工具航空整机与机体机载系统与配套软件与工程工具
招标采购www.eavic.com

招标公告

招标公告 招标项目所在地区:陕西省西安市 1. 招标条件 本招标项目 综合处理机平台软件维护验证环境 (项目名称)的招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金 情况已落实 。该项目已具备招标条件,现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号:XHTC-HW-2026-0240 2.2 项目名称:综合处理机平台软件维护验证环境 2.3 数量:壹 套 2.4 技术规格: 综合处理机平台软件维护验证环境用于综合处理机配套的软件(引导、板级、操作系统、驱动软件、应用软件等)的综合维护,提供软件升级维护、设备管理、系统监控和智能维护等功能。 具体功能需求详见 “第五章供货要求”。 2.5 交货地点 :西安航空计算技术研究所(用户现场指定地点)。

验证工具软件与工程工具
招标采购www.eavic.com

招标公告

招标公告 招标项目所在地区:陕西省西安市 1. 招标条件 本招标项目 基于 UVM 的 TSN 交换逻辑仿真模型 (项目名称)的招标人为 中国航空工业集团公司西安航空计算技术研究所 ,招标项目资金 情况已落实 。该项目已具备招标条件,现进行国内公开招标。 2. 项目概况与招标范围 2.

测试仿真台验证工具
招标采购www.eavic.com

基于模型的代码生成工具(控制类)项目招标公告

招标公告 项目所在地区: 江苏 省, 扬州 市 1.招标条件 本招标项目 基于模型的代码生成工具(控制类) (项目名称) (项目编号: 0730-2611080547/02 ) 招标人为 中航机载系统共性技术有限公司 ,招标项目资金 已落实 。 本项目已具备招标条件,现对 基于模型的代码生成工具(控制类) (设备名称) 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 基于模型的代码生成工具(控制类) 。 2.2 设备名称: 基于模型的代码生成工具(控制类) 。 2.3 数量: 1套 。 2.4 招标文件简要 技术规格 : 基于模型的代码生成工具 (控制类) 包含经过鉴定的代码生成器及工具鉴定包 ,支持从软件详细设计模型自动生成为产品代码,同时可满足软件适航审定中对于工具鉴定的要求。 控制类 软件详细设计模型包括基于数据流和状态机的行为逻辑模型。

适航及适航服务验证工具机载系统与配套软件与工程工具
招标采购www.eavic.com

基于模型的验证工具(控制类)项目招标公告

招标公告 项目所在地区: 江苏 省, 扬州 市 1.招标条件 本招标项目 基于模型的验证工具(控制类) (项目名称) (项目编号: 0730-2611080547/03 ) 招标人为 中航机载系统共性技术有限公司 ,招标项目资金 已落实 。 本项目已具备招标条件,现对 基于模型的验证工具(控制类) (设备名称) 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 基于模型的验证工具(控制类) 。 2.2 设备名称: 基于模型的验证工具(控制类) 。 2.3 数量: 1套 。 2.4 招标文件简要 技术规格 : 基于模型的验证工具( 控制类 )主要支持基于模型机载软件开发过程中的模型验证,为 DO-178C认证提供支持。

适航及适航服务验证工具机载系统与配套软件与工程工具
招标采购www.eavic.com

运行时错误检查工具招标公告

招标公告 项目所在地区: 江苏 省, 扬州 市 1. 招标条件 本招标项目 运行时错误检查工具 (项目名称)(项目编号: 0747-2660SCCZE267 )招标人为 中航机载系统共性技术有限公司 ,招标项目资金已落实。本项目已具备招标条件,现对 运行时错误检查工具 (设备名称)采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 运行时错误检查工具 。 2.2 设备名称: 运行时错误检查工具 。 2.3 数量: 1 套 。 2.4 招标文件简要技术规格: 运行时错误检查工具是一个基于抽象解释的静态验证工具,通过语义分析技术对程序进行分析,以数学证明级别的可靠性(无漏报),自动验证软件中是否存在除零、溢出、空指针解引用、数组越界等运行时错误,并可通过参数化配置实现零误报。 2.5 交货期: 合同签订生效后 1 个月内 交付基础版本 。

验证工具机载系统与配套软件与工程工具
招标采购www.eavic.com

基于模型的验证工具(显示类)项目招标公告

招标公告 项目所在地区: 江苏 省, 扬州 市 1.招标条件 本招标项目 基于模型的验证工具(显示类) (项目名称) (项目编号: 0730-2611080548/03 ) 招标人为 中航机载系统共性技术有限公司 ,招标项目资金 已落实 。 本项目已具备招标条件,现对 基于模型的验证工具(显示类) (设备名称) 采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称: 基于模型的验证工具(显示类) 。 2.2 设备名称: 基于模型的验证工具(显示类) 。 2.3 数量: 1套 。 2.4 招标文件简要 技术规格 : 基于模型的验证工具( 显示类 )主要支持基于模型机载软件开发过程中的模型验证,为 DO-178C认证提供支持。

适航及适航服务验证工具机载系统与配套软件与工程工具
收录范围与统计说明

汇总航空技术采购,覆盖整机研制、机载配套、发动机、材料工艺、软件仿真、试验验证、适航服务及航空维修技术。按采购标的和技术要求筛选,排除食品餐饮、保洁物业、办公福利和纯土建;政府采购、公共资源交易、阳光采购、企业和高校院所公告持续补档。

十年窗口内保留历史公告,公示结束不自动移除。候选人公示与最终中标分别列示;采购意向不代表已招标,中标不代表已签约或交付。排名按正文中明确识别的单位名和公告数量统计。截止时间、预算、资格及更正以原公告为准;暂不代表全网完整覆盖。