招标项目所在地区：**省**市

1. 招标条件

本招标项目机载操作系统开发支持库（项目名称）的招标人为****，招标项目资金来自国拨资金（资金来源）。该项目已具备招标条件，现进行国内公开招标。

2. 项目概况与招标范围

2.1 招标编号：****

2.2 项目名称：机载操作系统开发支持库

2.3 数量：壹套

2.4 技术规格：

机载操作系统开发支持库用于基于模型的操作系统开发，由新增的操作系统模型、典型应用模型、典型激励模型和新增算法组成，支持多核/众核/安全操作系统和动态重构中间件完成基于行为级模型的需求与设计验证，以及基于功能级模型的典型模态集成验证。支持模型组件存储、检索和更新，提供模型总线以支持异构模型的组装。由以下四部分组成：

1)面向多核操作系统的模型库

2)面向众核操作系统的模型库

3)面向多级安全操作系统的模型库

4)面向多核、众核、多级安全的操作系统算**

机载操作系统开发支持库需建立以下几类模型：

1)操作系统行为级模型：基于SYSML、UML或者其他形式化模型语言构建，能够开展逻辑级的正确性和其他目标特性验证。

2)操作系统功能级模型：基于代码生成工具由行为级模型生成，能够与典型应用模型、典型激励模型、数字样机平台集成，支持功能级综合验证。

3)典型应用模型：能够模拟典型机载应用行为和输入、输出，能够与操作系统源码进行集成，支持功能级的综合验证。

典型激励模型：能够模拟典型应用所需的各类数据激励，能够支持功能级的综合验证。

具体功能需求详见“第五章供货要求”。

2.5 交货地点：**用户现场交货。

2.6 交货期：合同签订生效之日起30个自然日内完成详细设计方案并通过招标方评审。合同签订生效之日起，12个月内完成机载操作系统开发支持库设备的安装、调试和交付验收。

3. 投标人资格要求

3.1 基本要求：投标人在中华人民**国境内注册，具备独立法人资格和****事业单位法人证书。

3.2 财务要求：投标人提供2023年度经审计的财务会计报告；若投标人****事业单位，可提供内部财务状况表。

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

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

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

4. 招标文件的获取

4.1 招标文件购买时间：2024年11月1日09:00至2024年11月8日17:00

4.2 招标文件购买地址：航空工业电子采购平台（ebid.****.com）。

4.3 招标文件价格：1000元，售后不退（未领购招标文件不得参加投标）。

4.4 获取方法：在航空工业电子采购平台下单购买招标文件时，支付方式请选择电汇，电汇成功后请将汇款截图上传到订单中，审核通过后可自行下载招标文件。购买标书付款方式如下：凡有意参加投标者，投标人应先在中国通用招标网www.china-tender.****.cn免费注册。注册完成后，投标人先在通用招标网招标文件获取一栏中对应的项目（标）下填写招标文件购买申请，并按照系统提供的账号进行汇款。标书款支付成功后，即可返回“航空工业电子采购平台电子招投标专区 http://ebid.****.com/cms/index.htm”对应的项目下按流程下载招标文件；

招标文件发票领取方式：网上支付时申请领取电子发票或在**市**区西三环南路14号院首科大厦A座4层405号****会议中心标书室现场领取纸质发票。领取发票联系标书室，工作时间：上午9:00－11:00、下午2:00－4:00（周六、日及法定节假日除外）。联系电话：010-****8281。

特别提示：提示1：每次购买标书申请系统生成的账号不同，请按照系统生成的账号进行付款，不要重复支付；

提示2：汇款金额必须与系统提示金额相同，否则将会被退回；

提示3：请在电汇时备注招标编号。

5. 投标文件的递交

5.1 投标文件递交截止时间：2024年11月27日上午09:00

5.2 投标文件递交地点（线下）：**省**市**区高新区锦业一路16****酒店三层会议室，具体见指示牌。

投标文件递交地点（线上）：航空工业电子采购平台电子招投标专区。

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

特别说明：除递交纸质投标文件外，本项目必须同时使用航空工业电子采购平台进行全流程电子招投标，招标文件购买、线上投标、开标、评标以及公示等工作均同时在航空工业电子采购平台电子招投标专区进行。请投标人及时在航空工业电子采购平台购买CA数字认证证书，否则无法进行线上投标。具体请参看航空工业电子采购平台电子招投标专区发布的相关指南，有关事项请与航空工业电子采购平台招投标专区客服联系（400 890 0880）。

6. 开标时间及地点

6.1 开标时间：同投标文件递交截止时间。

6.2 开标地点：同投标文件递交地点。

7.发布公告的媒介

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

8. 监督部门

本招标项目的监督部门为：纪检审计法律部。

9. 联系方式

招标人：****

地址：**省**市**区锦业二路15号

联系人：刘磊

电话：029-****7166

邮箱：****@qq.com

招标代理机构：****

地址：****区西营街1****中心C座807室

联系人：刘晋超、贾逸瑄、李嘉、吴羽

电话：010-****8575、182****6597

邮箱：liujinchao@cgci.****.cn