机载操作系统开发支持库招标公告
招标项目所在地区：陕西省西安市
. 招标条件
本招标项目机载操作系统开发支持库（项目名称）的招标人为中国航空工业集团公司西安航空计算技术研究所，招标项目资金来自国拨资金（资金来源）。该项目已具备招标条件，现进行国内公开招标。
. 项目概况与招标范围
. 招标编号：-
. 项目名称：机载操作系统开发支持库
. 数量：壹套
. 技术规格：
机载操作系统开发支持库用于基于模型的操作系统开发，由新增的操作系统模型、典型应用模型、典型激励模型和新增算法组成，支持多核/众核/安全操作系统和动态重构中间件完成基于行为级模型的需求与设计验证，以及基于功能级模型的典型模态集成验证。支持模型组件存储、检索和更新，提供模型总线以支持异构模型的组装。由以下四部分组成：
)面向多核操作系统的模型库
)面向众核操作系统的模型库
)面向多级安全操作系统的模型库
)面向多核、众核、多级安全的操作系统算法库
机载操作系统开发支持库需建立以下几类模型：
)操作系统行为级模型：基于、或者其他形式化模型语言构建，能够开展逻辑级的正确性和其他目标特性验证。
)操作系统功能级模型：基于代码生成工具由行为级模型生成，能够与典型应用模型、典型激励模型、数字样机平台集成，支持功能级综合验证。
)典型应用模型：能够模拟典型机载应用行为和输入、输出，能够与操作系统源码进行集成，支持功能级的综合验证。
典型激励模型：能够模拟典型应用所需的各类数据激励，能够支持功能级的综合验证。
具体功能需求详见“第五章供货要求”。
. 交货地点：西安用户现场交货。
. 交货期：合同签订生效之日起个自然日内完成详细设计方案并通过招标方评审。合同签订生效之日起，个月内完成机载操作系统开发支持库设备的安装、调试和交付验收。
. 投标人资格要求
. 基本要求：投标人在中华人民共和国境内注册，具备独立法人资格和有效的营业执照或事业单位法人证书。
. 财务要求：投标人提供年度经审计的财务会计报告；若投标人为依法允许经营的事业单位，可提供内部财务状况表。
. 信誉要求：未被“信用中国”网站（...）列入失信被执行人名单。
. 其他要求：没有处于被责令停业....
发布媒体:
快捷阅读
