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

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

1. 招標(biāo)條件

本招標(biāo)項(xiàng)目機(jī)載操作系統(tǒng)開(kāi)發(fā)支持庫(kù)（項(xiàng)目名稱）的 該項(xiàng)目已具備招標(biāo)條件，現(xiàn)進(jìn)行國(guó)內(nèi)公開(kāi)招標(biāo)。

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

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

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

2.3 數(shù)量：壹套

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

機(jī)載操作系統(tǒng)開(kāi)發(fā)支持庫(kù)用于基于模型的操作系統(tǒng)開(kāi)發(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)的模型庫(kù)

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

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

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

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

1)操作系統(tǒng)行為級(jí)模型：基于SYSML、UML或者其他形式化模型語(yǔ)言構(gòu)建，能夠開(kāi)展邏輯級(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)證。

具體功能需求詳見(jiàn)“第五章供貨要求”。

2.5 交貨

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

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

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

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

3.3 信譽(yù)要求：未被“信用中國(guó)”網(wǎng)站 列入失信被執(zhí)行人名單。

3.4 其他要求：沒(méi)有處于被責(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.
未在中國(guó)電力招標(biāo)采購(gòu)網(wǎng)（www.alertpay.cn）上注冊(cè)會(huì)員的單位應(yīng)先點(diǎn)擊注冊(cè)。登錄成功后的在 招標(biāo)會(huì)員 區(qū)根據(jù)招標(biāo)公告的相應(yīng)說(shuō)明獲取招標(biāo)文件！
咨詢電話：010-51957458
手 機(jī)：18811547188
聯(lián)系人：李楊
QQ:1211306049
微信：Li18811547188
郵箱：1211306049@qq.com
來(lái)源：中國(guó)電力招標(biāo)采購(gòu)網(wǎng)
備注：欲購(gòu)買(mǎi)招標(biāo)文件的潛在投標(biāo)人,注冊(cè)網(wǎng)站并繳納因特網(wǎng)技術(shù)及商務(wù)信息服務(wù)費(fèi)后，查看項(xiàng)目業(yè)主，招標(biāo)公告并下載資格預(yù)審范圍，資質(zhì)要求，
招標(biāo)清單，報(bào)名申請(qǐng)表等。為保證您能夠順利投標(biāo)，具體要求及購(gòu)買(mǎi)標(biāo)書(shū)操作流程按會(huì)員區(qū)招標(biāo)信息詳細(xì)內(nèi)容為準(zhǔn)。
編輯：ebid.eavic