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

招標項目所在地區(qū)：陜西省西安市

1. 招標條件

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

2. 項目概況與招標范圍

2.1 招標編號：0701-244005060561

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

2.3 數(shù)量：壹套

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

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

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

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

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

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

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

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

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

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

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

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

2.5 交貨

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

3. 投標人資格要求

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

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

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

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

3.5 本項目不接受聯(lián)合體投標。

4.
未在中國電力招標采購網(wǎng)（）上注冊會員的單位應先點擊注冊。登錄成功后的在 招標會員 區(qū)根據(jù)招標公告的相應說明獲取招標文件！
咨詢電話：010-51957458
手 機：18811547188
聯(lián)系人：李楊
QQ:1211306049
微信：Li18811547188
郵箱：1211306049@qq.com
來源：中國電力招標采購網(wǎng)
備注：欲購買招標文件的潛在投標人,注冊網(wǎng)站并繳納因特網(wǎng)技術(shù)及商務信息服務費后，查看項目業(yè)主，招標公告并下載資格預審范圍，資質(zhì)要求，
招標清單，報名申請表等。為保證您能夠順利投標，具體要求及購買標書操作流程按會員區(qū)招標信息詳細內(nèi)容為準。
編輯：ebid.eavic