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

1. 招标条件

本招标项目机载操作系统开发支持库（项目名称）的招标人为中国航空工业集团公司西安航空计算技术研究所，招标项目资金来自国拨资金（资金来源）。该项目已具备招标条件，现进行国内公开招标。

2. 项目概况与招标范围

2.1 招标编号：0701-244005060633

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.creditchina.gov.cn）列入失信被执行人名单。

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

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

4. 招标文件的获取

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

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

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

4.4 获取方法：在航空工业电子采购平台下单购买招标文件时，支付方式请选择电汇，电汇成功后请将汇款截图上传到订单中，审核通过后可自行下载招标文件。购买标书付款方式如下：凡有意参加投标者，投标人