機(jī)載操作系統(tǒng)開發(fā)支持庫招標(biāo)公告

招標(biāo)項(xiàng)目所在地區(qū)：陜西省西安市

1. 招標(biāo)條件

本招標(biāo)項(xiàng)目機(jī)載操作系統(tǒng)開發(fā)支持庫（項(xiàng)目名稱）的招標(biāo)人為中國航空工業(yè)集團(tuán)公司西安航空計(jì)算技術(shù)研究所，招標(biāo)項(xiàng)目資金來自國撥資金（資金來源）。該項(xiàng)目已具備招標(biāo)條件，現(xiàn)進(jìn)行國內(nèi)公開招標(biāo)。

2. 項(xiàng)目概況與招標(biāo)范圍

2.1 招標(biāo)編號(hào)：0701-244005060561

2.2 項(xiàng)目名稱：機(jī)載操作系統(tǒng)開發(fā)支持庫

2.3 數(shù)量：壹套

2.4 技術(shù)規(guī)格：

機(jī)載操作系統(tǒng)開發(fā)支持庫用于基于模型的操作系統(tǒng)開發(fā)，由新增的操作系統(tǒng)模型、典型應(yīng)用模型、典型激勵(lì)模型和新增算法組成，支持多核/眾核/安全操作系統(tǒng)和動(dòng)態(tài)重構(gòu)中間件完成基于行為級(jí)模型的需求與設(shè)計(jì)驗(yàn)證，以及基于功能級(jí)模型的典型模態(tài)集成驗(yàn)證。支持模型組件存儲(chǔ)、檢索和更新，提供模型總線以支持異構(gòu)模型的組裝。由以下四部分組成：

1)面向多核操作系統(tǒng)的模型庫

2)面向眾核操作系統(tǒng)的模型庫

3)面向多級(jí)安全操作系統(tǒng)的模型庫

4)面向多核、眾核、多級(jí)安全的操作系統(tǒng)算法庫

機(jī)載操作系統(tǒng)開發(fā)支持庫需建立以下幾類模型：

1)操作系統(tǒng)行為級(jí)模型：基于SYSML、UML或者其他形式化模型語言構(gòu)建，能夠開展邏輯級(jí)的正確性和其他目標(biāo)特性驗(yàn)證。

2)操作系統(tǒng)功能級(jí)模型：基于代碼生成工具由行為級(jí)模型生成，能夠與典型應(yīng)用模型、典型激勵(lì)模型、數(shù)字樣機(jī)平臺(tái)集成，支持功能級(jí)綜合驗(yàn)證。

3)典型應(yīng)用模型：能夠模擬典型機(jī)載應(yīng)用行為和輸入、輸出，能夠與操作系統(tǒng)源碼進(jìn)行集成，支持功能級(jí)的綜合驗(yàn)證。

典型激勵(lì)模型：能夠模擬典型應(yīng)用所需的各類數(shù)據(jù)激勵(lì)，能夠支持功能級(jí)的綜合驗(yàn)證。

具體功能需求詳見“第五章供貨要求”。

2.5 交貨地點(diǎn)：西安用戶現(xiàn)場交貨。

2.6 交貨期：合同簽訂生效之日起30個(gè)自然日內(nèi)完成詳細(xì)設(shè)計(jì)方案并通過招標(biāo)方評(píng)審。合同簽訂生效之日起，12個(gè)月內(nèi)完成機(jī)載操作系統(tǒng)開發(fā)支持庫設(shè)備的安裝、調(diào)試和交付驗(yàn)收。

3. 投標(biāo)人資格要求

3.1 基本要求：投標(biāo)人在中華人民共和國境內(nèi)注冊，具備獨(dú)立法人資格和有效的營業(yè)執(zhí)照或事業(yè)單位法人證書。

3.2 財(cái)務(wù)要求：投標(biāo)人提供2023年度經(jīng)審計(jì)的財(cái)務(wù)會(huì)計(jì)報(bào)告；若投標(biāo)人為依法允許經(jīng)營的事業(yè)單位，可提供內(nèi)部財(cái)務(wù)狀況表。

3.3 信譽(yù)要求：未被“信用中國”網(wǎng)站（www.creditchina.gov.cn）列入失信被執(zhí)行人名單。

3.4 其他要求：沒有處于被責(zé)令停業(yè)，投標(biāo)資格被取消，財(cái)產(chǎn)被接管、凍結(jié)，破產(chǎn)狀態(tài)；單位負(fù)責(zé)人為同一人或者存在控股、管理關(guān)系的不同單位，不得參加同一標(biāo)段投標(biāo)或者未劃分標(biāo)段的同一招標(biāo)項(xiàng)目投標(biāo)。

3.5 本項(xiàng)目不接受聯(lián)合體投標(biāo)。

4. 招標(biāo)文件的獲取

4.1 招標(biāo)文件購買時(shí)間：2024年11月1日09:00至2024年11月8日17:00

4.2 招標(biāo)文件購買地址：航空工業(yè)電子采購平臺(tái)（ebid.eavic.com）。

4.3 招標(biāo)文件價(jià)格：1000元，售后不退（未領(lǐng)購招標(biāo)文件不得參加投標(biāo)）。

4.4 獲取方法：在航空工業(yè)電子采購平臺(tái)下單購買招標(biāo)文件時(shí)，支付方式請(qǐng)選擇電匯，電匯成功后請(qǐng)將匯款截圖上傳到訂單中，審核通過后可自行下載招標(biāo)文件。購買標(biāo)書付款方式如下：凡有意參加投標(biāo)者，投標(biāo)人應(yīng)先在中國通用招標(biāo)網(wǎng)www.china-tender.com.cn免費(fèi)注冊。注冊完成后，投標(biāo)人先在通用招標(biāo)網(wǎng)招標(biāo)文件獲取一欄中對(duì)應(yīng)的項(xiàng)目（標(biāo)）下填寫招標(biāo)文件購買申請(qǐng)，并按照系統(tǒng)提供的賬號(hào)進(jìn)行匯款。標(biāo)書款支付成功后，即可返回“航空工業(yè)電子采購平臺(tái)電子招投標(biāo)專區(qū) http://ebid.eavic.com/cms/index.htm”對(duì)應(yīng)的項(xiàng)目下按流程下載招標(biāo)文件；

招標(biāo)文件發(fā)票領(lǐng)取方式：網(wǎng)上支付時(shí)申請(qǐng)領(lǐng)取電子發(fā)票或在北京市豐臺(tái)區(qū)西三環(huán)南路14號(hào)院首科大廈A座4層405號(hào)中技國際招標(biāo)有限公司會(huì)議中心標(biāo)書室現(xiàn)場領(lǐng)取紙質(zhì)發(fā)票。領(lǐng)取發(fā)票聯(lián)系標(biāo)書室，工作時(shí)間：上午9:00－11:00、下午2:00－4:00（周六、日及法定節(jié)假日除外）。聯(lián)系電話：010-81168281。

特別提示：提示1：每次購買標(biāo)書申請(qǐng)系統(tǒng)生成的賬號(hào)不同，請(qǐng)按照系統(tǒng)生成的賬號(hào)進(jìn)行付款，不要重復(fù)支付；

提示2：匯款金額必須與系統(tǒng)提示金額相同，否則將會(huì)被退回；

提示3：請(qǐng)?jiān)陔妳R時(shí)備注招標(biāo)編號(hào)。

5. 投標(biāo)文件的遞交

5.1 投標(biāo)文件遞交截止時(shí)間：2024年11月27日上午09:00

5.2 投標(biāo)文件遞交地點(diǎn)（線下）：陜西省西安市雁塔區(qū)高新區(qū)錦業(yè)一路16號(hào)亞丁灣羽安酒店三層會(huì)議室，具體見指示牌。

投標(biāo)文件遞交地點(diǎn)（線上）：航空工業(yè)電子采購平臺(tái)電子招投標(biāo)專區(qū)。

5.3 逾期送達(dá)的、未送達(dá)指定地點(diǎn)的或者不按照招標(biāo)文件要求密封的投標(biāo)文件，招標(biāo)人將予以拒收。逾期送達(dá)的投標(biāo)文件，電子招標(biāo)投標(biāo)交易平臺(tái)將予以拒收。

特別說明：除遞交紙質(zhì)投標(biāo)文件外，本項(xiàng)目必須同時(shí)使用航空工業(yè)電子采購平臺(tái)進(jìn)行全流程電子招投標(biāo)，招標(biāo)文件購買、線上投標(biāo)、開標(biāo)、評(píng)標(biāo)以及公示等工作均同時(shí)在航空工業(yè)電子采購平臺(tái)電子招投標(biāo)專區(qū)進(jìn)行。請(qǐng)投標(biāo)人及時(shí)在航空工業(yè)電子采購平臺(tái)購買CA數(shù)字認(rèn)證證書，否則無法進(jìn)行線上投標(biāo)。具體請(qǐng)參看航空工業(yè)電子采購平臺(tái)電子招投標(biāo)專區(qū)發(fā)布的相關(guān)指南，有關(guān)事項(xiàng)請(qǐng)與航空工業(yè)電子采購平臺(tái)招投標(biāo)專區(qū)客服聯(lián)系（400 890 0880）。

6. 開標(biāo)時(shí)間及地點(diǎn)

6.1 開標(biāo)時(shí)間：同投標(biāo)文件遞交截止時(shí)間。

6.2 開標(biāo)地點(diǎn)：同投標(biāo)文件遞交地點(diǎn)。

7.發(fā)布公告的媒介

本次招標(biāo)公告在中國招標(biāo)投標(biāo)公共服務(wù)平臺(tái)和航空工業(yè)電子采購平臺(tái)同時(shí)發(fā)布。

8. 監(jiān)督部門

本招標(biāo)項(xiàng)目的監(jiān)督部門為：紀(jì)檢審計(jì)法律部。

9. 聯(lián)系方式

招標(biāo)人：中國航空工業(yè)集團(tuán)公司西安航空計(jì)算技術(shù)研究所

地址：陜西省西安市雁塔區(qū)錦業(yè)二路15號(hào)

聯(lián)系人：劉磊

電話：029-81167166

郵箱：986071947@qq.com

招標(biāo)代理機(jī)構(gòu)：中技國際招標(biāo)有限公司

地址：北京豐臺(tái)區(qū)西營街1號(hào)通用時(shí)代中心C座807室

聯(lián)系人：劉晉超、賈逸瑄、李嘉、吳羽

電話：010-81168575、18210616597

郵箱：liujinchao@cgci.gt.cn