中国航空工业集团公司机载操作系统开发支持库项目招标公告

首页 > 招标频道 > 正文

日期：2024-11-01 收藏项目

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个月内完成机载操作系统开发支持库设备的安装、调试和交付验收。