機(jī)載操作系統(tǒng)開發(fā)支持庫招標(biāo)公告 招標(biāo)項(xiàng)目所在地區(qū)：陜西省西安市 . 招標(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)。 . 項(xiàng)目概況與招標(biāo)范圍 . 招標(biāo)編號(hào)：- . 項(xiàng)目名稱：機(jī)載操作系統(tǒng)開發(fā)支持庫 . 數(shù)量：壹套 . 技術(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)模型的組裝。由以下四部分組成： )面向多核操作系統(tǒng)的模型庫 )面向眾核操作系統(tǒng)的模型庫 )面向多級(jí)安全操作系統(tǒng)的模型庫 )面向多核、眾核、多級(jí)安全的操作系統(tǒng)算法庫 機(jī)載操作系統(tǒng)開發(fā)支持庫需建立以下幾類模型： )操作系統(tǒng)行為級(jí)模型：基于、或者其他形式化模型語言構(gòu)建，能夠開展邏輯級(jí)的正確性和其他目標(biāo)特性驗(yàn)證。 )操作系統(tǒng)功能級(jí)模型：基于代碼生成工具由行為級(jí)模型生成，能夠與典型應(yīng)用模型、典型激勵(lì)模型、數(shù)字樣機(jī)平臺(tái)集成，支持功能級(jí)綜合驗(yàn)證。 )典型應(yīng)用模型：能夠模擬典型機(jī)載應(yīng)用行為和輸入、輸出，能夠與操作系統(tǒng)源碼進(jìn)行集成，支持功能級(jí)的綜合驗(yàn)證。 典型激勵(lì)模型：能夠模擬典型應(yīng)用所需的各類數(shù)據(jù)激勵(lì)，能夠支持功能級(jí)的綜合驗(yàn)證。 具體功能需求詳見“第五章供貨要求”。 . 交貨地點(diǎn)：西安用戶現(xiàn)場交貨。 . 交貨期：合同簽訂生效之日起個(gè)自然日內(nèi)完成詳細(xì)設(shè)計(jì)方案并通過招標(biāo)方評(píng)審。合同簽訂生效之日起，個(gè)月內(nèi)完成機(jī)載操作系統(tǒng)開發(fā)支持庫設(shè)備的安裝、調(diào)試和交付驗(yàn)收。 . 投標(biāo)人資格要求 . 基本要求：投標(biāo)人在中華人民共和國境內(nèi)注冊(cè)，具備獨(dú)立法人資格和有效的營業(yè)執(zhí)照或事業(yè)單位法人證書。 . 財(cái)務(wù)要求：投標(biāo)人提供年度經(jīng)審計(jì)的財(cái)務(wù)會(huì)計(jì)報(bào)告；若投標(biāo)人為依法允許經(jīng)營的事業(yè)單位，可提供內(nèi)部財(cái)務(wù)狀況表。 . 信譽(yù)要求：未被“信用中國”網(wǎng)站（...）列入失信被執(zhí)行人名單。 . 其他要求：沒有處于被責(zé)令停業(yè)....