招标公告

招标项目所在地区：陕西省西安市

1. 招标条件

本招标项目分区仿真测试平台（项目名称）的 该项目已具备招标条件，现进行国内公开招标。

2. 项目概况与招标范围

2.1 招标编号：XHTC-HW-2026-0653

2.2 项目名称：分区仿真测试平台

2.3 数量：壹套

2.4 技术规格：

分区仿真测试平台支持对驻留应用的隔离状态的仿真和特性分析，用于测试驻留在不同分区的支持功能是否满足分区隔离的要求。

针对分区驻留应用的性能测试和特性分析主要包含两个方面：分区驻留应用的时间性能分析和内存性能分析，分别通过最怀运行时间分析模块和堆栈分析模块构成：

1）最坏运行时间分析模块集静态分析与动态测量于一体，可精确获取嵌入式C语言软件在目标硬件平台上的最坏情况执行时间，为安全关键系统的时序验证提供可靠数据支撑。基于“静态分析与动态相结合”的混合式原理进行设计。首计算出既符合代码逻辑约束又反映真实硬件性能的理论最坏执行时间也可通过仿真预估的方式获取任务的最差执行路径。

2）堆栈分析模块提供专业化的二进制可执行文件分析，专门用于对IMA平台支持功能软件的堆栈使用情况进行深度分析，基于静态程序分析理论，通过静态分析技术，对ELF或OUT格式的可执行文件进行解析，解析二进制可执行文件的指令序列和数据结构，采用深度优先搜索算法遍历函数调用路径，结合堆栈操作指令分析，计算各函数及整个调用链的堆栈使用情况。提供全面的堆栈使用评估和可视化展示。具体功能需求详见“第五章供货要求”。

2.5 交货地点：西安航空计算技术研究所（用户现场指定地点）。

2.6 交货期：合同签订生效之日起30个自然日内完成详细设计方案编制和评审，合同签订生效之日起90个自然日内完成全部软件交付试用，合同签订生效之日起180个自然日内完成全部模块验收交付。

3. 投标人资格要求

3.1 基本要求：投标人在中华人民共和国境内注册，具备独立法人资格和有效的营业执照或事业单位法人证书。

3.2 财务要求：投标人提供2025年度经审计的财务会计报告；若投标人为依法允许经营的事业单位，可提供内部财务状况表。

3.3 信誉要求：未被“信用中国”网站 列入失信被执行人名单。

3.4 其他要求：没有处于被责令停业，投标资格被取消，财产被接管、冻结，破产状态；单位负责人为同一人或者存在控股、管理关系的不同单位，不得参加同一标段投标或者未划分标段的同一招标项目投标。

3.5 本项目不接受联合体投标。

4.
未在中国电力招标采购网（www.dlztb.com）上注册会员的单位应先点击注册。登录成功后的在 招标会员 区根据招标公告的相应说明获取招标文件！
咨询电话：010-51957458
手 机：18811547188
联系人：李杨
QQ:1211306049
微信：Li18811547188
邮箱：1211306049@qq.com
来源：中国电力招标采购网
备注：欲购买招标文件的潜在投标人,注册网站并缴纳因特网技术及商务信息服务费后，查看项目业主，招标公告并下载资格预审范围，资质要求，
招标清单，报名申请表等。为保证您能够顺利投标，具体要求及购买标书操作流程按会员区招标信息详细内容为准。
编辑：ebid.eavic