机载操作系统开发支持库项目招标公告

机载操作系统开发支持库招标公告

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

*. 招标条件

本招标项目机载操作系统开发支持库（项目名称）的 该项目已具备招标条件，现进行国内公开招标。

*. 项目概况与招标范围

*.* 招标编号：****-************

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

*.* 数量：*套

*.* 技术规格：

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

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

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

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

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

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

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

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

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

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

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

*.* 交货

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

*. 投标人资格要求

*.* 基本要求：投标人在中华人民共和国境内注册，具备独立法人资格和有效的营业执照或事业单位法人证书。

*.* 财务要求：投标人提供****年度经审计的财务会计报告；若投标人为依法允许经营的事业单位，可提供内部财务状况表。

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

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

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

*. 未在中国电力招标采购网（***.*****.***）上注册会员的单位应先点击注册。登录成功后的在 招标会员 区根据招标公告的相应说明获取！咨询***-********手 机：***********李杨**:**********微信：*************：**********@**.***来源：中国电力招标采购网备注：欲购买招标文件的潜在投标人,注册网站并缴纳因特网技术及商务信息服务费后，查看项目业主，招标公告并资格预审范围，资质要求，招标清单，报名申请表等。为保证您能够顺利投标，具体要求及购买标书操作流程按会员区招标信息详细内容为准。编辑：****.**/***