分区仿真测试平台项目公告招标公告

招标项目所在地区：(略)

1. 招标条件

本招标项目分区仿真测试平台（项目名称）的招标人为中国航空工业集团公司西安航空计算技术研究所，招标项目资金情况已落实。该项目已具备招标条件，现进行国内公开招标。

2. 项目概况与招标范围

2.1 招标编号：(略)

2.2 项目名称：(略)

2.3 数量：(略)

2.4 技术规格：

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

针对分区驻留应用的性能测试和特性分析主要包含两个方面：(略)

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

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

2.5 交货地点：(略)

2.6 交货期：(略)

3. 投标人资格要求

3.1 基本要求：(略)

3.2 财务要求：(略)

3.3 信誉要求：(略)

3.4 其他要求：(略)

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

4. 招标文件的获取

4.1招标文件购买时间：(略)

4.2招标文件购买地址：(略)

4.3招标文件价格：(略)

4.4 获取方法：

（1）凡有意参加投标者，请先在航空工业电子采购平台完成注册并及时了解该平台会员及CA等相关收费标准，如有疑问，请致电中航工业电子采购平台服务热线(略)-(略)-(略)。

（2）招标文件购买付款：(略)

（3）账户信息：

开户单位：(略)

开户银行：(略)

帐号：(略)

特别提示：(略)

提示2：(略)

5. 投标文件的递交

5.1投标文件递交截止时间：(略)

5.2投标文件递交地点（线下）：(略)

投标文件递交地点（线上）：(略)

5.3逾期送达的、未送达指定地点的或者不按照招标文件要求密封的投标文件，招标人将予以拒收。逾期送达的投标文件，电子招标投标交易平台将予以拒收。

特别说明：(略)

6.开标时间及地点

6.1开标时间：(略)

6.2开标地点：(略)

7.发布公告的媒介

本次招标公告在中国招标投标公共服务平台和中航工业电子采购平台同时发布。

8. 监督部门

本招标项目的监督部门为：(略)

9. 提出异议的渠道和方式

投标人如对招标文件有异议，请在招标文件规定的时间内提交书面盖章材料正本至招标代理机构（以收到时间为准）。

联系人：(略)

电话：(略)

邮箱：(略)

9. 联系方式

招标人：(略)

地址：(略)

联系人：(略)

电话：(略)

邮箱：(略)

招标代理机构：(略)

地址：(略)

联系人：(略)

电话：(略)

邮箱：(略)

提出异议的渠道和方式： 如有异议以书面形式递交代理机构 异议投诉联系信息：

• 联系人： 王尊、牛晓琳、朴毅、杨辰帅
• 联系方式： (略)
• 邮箱： niuxiaolin@xhtc.com.cn